# SMA authoring probe — Qwen3-Coder-Next via IONOS

**Model:** Qwen/Qwen3-Coder-Next  
**Max turns:** 6  
**Task:** write the Series SMA worked example in AILang Form-A, given the Form-A mini-spec + Series API only (not the reference).

**Expected stdout:** `'3.0\n5.33333\n5.66667\n5.33333\n'`

---

## Turn 1 — `check`  ❌

Tokens this turn: prompt=8060, completion=2000

```
(module sma
  (fn main
    (doc "Compute a 3-point simple moving average over a stream of 6 floats, printing the average after each push once the window is full.")
    (type (fn-type (params) (ret (own (con Unit))) (effects IO)))
    (params)
    (body
      (let s (app Series/new 3)
        (seq
          (seq
            (seq
              (seq
                (seq
                  (seq
                    (seq
                      (seq
                        (seq
                          (seq
                            (seq
                              (seq
                                (seq
                                  (seq
                                    (seq
                                      (seq
                                        (seq
                                          (seq
                                            (seq
                                              (seq
                                                (seq
                                                  (seq
                                                    (seq
                                                      (seq
                                                        (seq
                                                          (seq
                                                            (seq
                                                              (seq
                                                                (seq
                                                                  (seq
                                                                    (seq
                                                                      (seq
                                                                        (seq
                                                                          (seq
                                                                            (seq
                                                                              (seq
                                                                                (seq
                                                                                  (seq
                                                                                    (seq
                                                                                      (seq
                                                                                        (seq
                                                                                          (seq
                                                                                            (seq
                                                                                              (seq
                                                                                                (seq
                                                                                                  (seq
                                                                                                    (seq
                                                                                                      (seq
                                                                                                        (seq
                                                                                                          (seq
                                                                                                            (seq
                                                                                                              (seq
                                                                                                                (seq
                                                                                                                  (seq
                                                                                                                    (seq
                                                                                                                      (seq
                                                                                                                        (seq
                                                                                                                          (seq
                                                                                                                            (seq
                                                                                                                              (seq
                                                                                                                                (seq
                                                                                                                                  (seq
                                                                                                                                    (seq
                                                                                                                                      (seq
                                                                                                                                        (seq
                                                                                                                                          (seq
                                                                                                                                            (seq
                                                                                                                                              (seq
                                                                                                                                                (seq
                                                                                                                                                  (seq
                                                                                                                                                    (seq
                                                                                                                                                      (seq
                                                                                                                                                        (seq
                                                                                                                                                          (seq
                                                                                                                                                            (seq
                                                                                                                                                              (seq
                                                                                                                                                                (seq
                                                                                                                                                                  (seq
                                                                                                                                                                    (seq
                                                                                                                                                                      (seq
                                                                                                                                                                        (seq
                                                                                                                                                                          (seq
                                                                                                                                                                            (seq
                                                                                                                                                                              (seq
                                                                                                                                                                                (seq
                                                                                                                                                                                  (seq
                                                                                                                                                                                    (seq
                                                                                                                                                                                      (seq
                                                                                                                                                                                        (seq
                                                                                                                                                                                          (seq
                                                                                                                                                                                            (seq
                                                                                                                                                                                              (seq
                                                                                                                                                                                                (seq
                                                                                                                                                                                                  (seq
                                                                                                                                                                                                    (seq
                                                                                                                                                                                                      (seq
                                                                                                                                                                                                        (seq
                                                                                                                                                                                                          (seq
                                                                                                                                                                                                            (seq
                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                            (seq
```

**`ail check` feedback:**
```
error: [surface-parse-error] parse error: unexpected end of input, expected term
```

## Turn 2 — `check`  ❌

Tokens this turn: prompt=10111, completion=2000

```
(module sma
  (fn main
    (doc "Compute a 3-point simple moving average over a stream of 6 floats, printing the average after each push once the window is full.")
    (type (fn-type (params) (ret (own (con Unit))) (effects IO)))
    (params)
    (body
      (let s (app Series/new 3)
        (seq
          (seq
            (seq
              (seq
                (seq
                  (seq
                    (seq
                      (seq
                        (seq
                          (seq
                            (seq
                              (seq
                                (seq
                                  (seq
                                    (seq
                                      (seq
                                        (seq
                                          (seq
                                            (seq
                                              (seq
                                                (seq
                                                  (seq
                                                    (seq
                                                      (seq
                                                        (seq
                                                          (seq
                                                            (seq
                                                              (seq
                                                                (seq
                                                                  (seq
                                                                    (seq
                                                                      (seq
                                                                        (seq
                                                                          (seq
                                                                            (seq
                                                                              (seq
                                                                                (seq
                                                                                  (seq
                                                                                    (seq
                                                                                      (seq
                                                                                        (seq
                                                                                          (seq
                                                                                            (seq
                                                                                              (seq
                                                                                                (seq
                                                                                                  (seq
                                                                                                    (seq
                                                                                                      (seq
                                                                                                        (seq
                                                                                                          (seq
                                                                                                            (seq
                                                                                                              (seq
                                                                                                                (seq
                                                                                                                  (seq
                                                                                                                    (seq
                                                                                                                      (seq
                                                                                                                        (seq
                                                                                                                          (seq
                                                                                                                            (seq
                                                                                                                              (seq
                                                                                                                                (seq
                                                                                                                                  (seq
                                                                                                                                    (seq
                                                                                                                                      (seq
                                                                                                                                        (seq
                                                                                                                                          (seq
                                                                                                                                            (seq
                                                                                                                                              (seq
                                                                                                                                                (seq
                                                                                                                                                  (seq
                                                                                                                                                    (seq
                                                                                                                                                      (seq
                                                                                                                                                        (seq
                                                                                                                                                          (seq
                                                                                                                                                            (seq
                                                                                                                                                              (seq
                                                                                                                                                                (seq
                                                                                                                                                                  (seq
                                                                                                                                                                    (seq
                                                                                                                                                                      (seq
                                                                                                                                                                        (seq
                                                                                                                                                                          (seq
                                                                                                                                                                            (seq
                                                                                                                                                                              (seq
                                                                                                                                                                                (seq
                                                                                                                                                                                  (seq
                                                                                                                                                                                    (seq
                                                                                                                                                                                      (seq
                                                                                                                                                                                        (seq
                                                                                                                                                                                          (seq
                                                                                                                                                                                            (seq
                                                                                                                                                                                              (seq
                                                                                                                                                                                                (seq
                                                                                                                                                                                                  (seq
                                                                                                                                                                                                    (seq
                                                                                                                                                                                                      (seq
                                                                                                                                                                                                        (seq
                                                                                                                                                                                                          (seq
                                                                                                                                                                                                            (seq
                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                            (seq
```

**`ail check` feedback:**
```
error: [surface-parse-error] parse error: unexpected end of input, expected term
```

## Turn 3 — `check`  ❌

Tokens this turn: prompt=12162, completion=2000

```
(module sma
  (fn main
    (doc "Compute a 3-point simple moving average over a stream of 6 floats, printing the average after each push once the window is full.")
    (type (fn-type (params) (ret (own (con Unit))) (effects IO)))
    (params)
    (body
      (let s (app Series/new 3)
        (seq
          (seq
            (seq
              (seq
                (seq
                  (seq
                    (seq
                      (seq
                        (seq
                          (seq
                            (seq
                              (seq
                                (seq
                                  (seq
                                    (seq
                                      (seq
                                        (seq
                                          (seq
                                            (seq
                                              (seq
                                                (seq
                                                  (seq
                                                    (seq
                                                      (seq
                                                        (seq
                                                          (seq
                                                            (seq
                                                              (seq
                                                                (seq
                                                                  (seq
                                                                    (seq
                                                                      (seq
                                                                        (seq
                                                                          (seq
                                                                            (seq
                                                                              (seq
                                                                                (seq
                                                                                  (seq
                                                                                    (seq
                                                                                      (seq
                                                                                        (seq
                                                                                          (seq
                                                                                            (seq
                                                                                              (seq
                                                                                                (seq
                                                                                                  (seq
                                                                                                    (seq
                                                                                                      (seq
                                                                                                        (seq
                                                                                                          (seq
                                                                                                            (seq
                                                                                                              (seq
                                                                                                                (seq
                                                                                                                  (seq
                                                                                                                    (seq
                                                                                                                      (seq
                                                                                                                        (seq
                                                                                                                          (seq
                                                                                                                            (seq
                                                                                                                              (seq
                                                                                                                                (seq
                                                                                                                                  (seq
                                                                                                                                    (seq
                                                                                                                                      (seq
                                                                                                                                        (seq
                                                                                                                                          (seq
                                                                                                                                            (seq
                                                                                                                                              (seq
                                                                                                                                                (seq
                                                                                                                                                  (seq
                                                                                                                                                    (seq
                                                                                                                                                      (seq
                                                                                                                                                        (seq
                                                                                                                                                          (seq
                                                                                                                                                            (seq
                                                                                                                                                              (seq
                                                                                                                                                                (seq
                                                                                                                                                                  (seq
                                                                                                                                                                    (seq
                                                                                                                                                                      (seq
                                                                                                                                                                        (seq
                                                                                                                                                                          (seq
                                                                                                                                                                            (seq
                                                                                                                                                                              (seq
                                                                                                                                                                                (seq
                                                                                                                                                                                  (seq
                                                                                                                                                                                    (seq
                                                                                                                                                                                      (seq
                                                                                                                                                                                        (seq
                                                                                                                                                                                          (seq
                                                                                                                                                                                            (seq
                                                                                                                                                                                              (seq
                                                                                                                                                                                                (seq
                                                                                                                                                                                                  (seq
                                                                                                                                                                                                    (seq
                                                                                                                                                                                                      (seq
                                                                                                                                                                                                        (seq
                                                                                                                                                                                                          (seq
                                                                                                                                                                                                            (seq
                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                            (seq
```

**`ail check` feedback:**
```
error: [surface-parse-error] parse error: unexpected end of input, expected term
```

## Turn 4 — `check`  ❌

Tokens this turn: prompt=14213, completion=2000

```
(module sma
  (fn main
    (doc "Compute a 3-point simple moving average over a stream of 6 floats, printing the average after each push once the window is full.")
    (type (fn-type (params) (ret (own (con Unit))) (effects IO)))
    (params)
    (body
      (let s (app Series/new 3)
        (seq
          (seq
            (seq
              (seq
                (seq
                  (seq
                    (seq
                      (seq
                        (seq
                          (seq
                            (seq
                              (seq
                                (seq
                                  (seq
                                    (seq
                                      (seq
                                        (seq
                                          (seq
                                            (seq
                                              (seq
                                                (seq
                                                  (seq
                                                    (seq
                                                      (seq
                                                        (seq
                                                          (seq
                                                            (seq
                                                              (seq
                                                                (seq
                                                                  (seq
                                                                    (seq
                                                                      (seq
                                                                        (seq
                                                                          (seq
                                                                            (seq
                                                                              (seq
                                                                                (seq
                                                                                  (seq
                                                                                    (seq
                                                                                      (seq
                                                                                        (seq
                                                                                          (seq
                                                                                            (seq
                                                                                              (seq
                                                                                                (seq
                                                                                                  (seq
                                                                                                    (seq
                                                                                                      (seq
                                                                                                        (seq
                                                                                                          (seq
                                                                                                            (seq
                                                                                                              (seq
                                                                                                                (seq
                                                                                                                  (seq
                                                                                                                    (seq
                                                                                                                      (seq
                                                                                                                        (seq
                                                                                                                          (seq
                                                                                                                            (seq
                                                                                                                              (seq
                                                                                                                                (seq
                                                                                                                                  (seq
                                                                                                                                    (seq
                                                                                                                                      (seq
                                                                                                                                        (seq
                                                                                                                                          (seq
                                                                                                                                            (seq
                                                                                                                                              (seq
                                                                                                                                                (seq
                                                                                                                                                  (seq
                                                                                                                                                    (seq
                                                                                                                                                      (seq
                                                                                                                                                        (seq
                                                                                                                                                          (seq
                                                                                                                                                            (seq
                                                                                                                                                              (seq
                                                                                                                                                                (seq
                                                                                                                                                                  (seq
                                                                                                                                                                    (seq
                                                                                                                                                                      (seq
                                                                                                                                                                        (seq
                                                                                                                                                                          (seq
                                                                                                                                                                            (seq
                                                                                                                                                                              (seq
                                                                                                                                                                                (seq
                                                                                                                                                                                  (seq
                                                                                                                                                                                    (seq
                                                                                                                                                                                      (seq
                                                                                                                                                                                        (seq
                                                                                                                                                                                          (seq
                                                                                                                                                                                            (seq
                                                                                                                                                                                              (seq
                                                                                                                                                                                                (seq
                                                                                                                                                                                                  (seq
                                                                                                                                                                                                    (seq
                                                                                                                                                                                                      (seq
                                                                                                                                                                                                        (seq
                                                                                                                                                                                                          (seq
                                                                                                                                                                                                            (seq
                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                (seq
```

**`ail check` feedback:**
```
error: [surface-parse-error] parse error: unexpected end of input, expected term
```

## Turn 5 — `check`  ❌

Tokens this turn: prompt=16264, completion=2000

```
(module sma
  (fn main
    (doc "Compute a 3-point simple moving average over a stream of 6 floats, printing the average after each push once the window is full.")
    (type (fn-type (params) (ret (own (con Unit))) (effects IO)))
    (params)
    (body
      (let s (app Series/new 3)
        (seq
          (seq
            (seq
              (seq
                (seq
                  (seq
                    (seq
                      (seq
                        (seq
                          (seq
                            (seq
                              (seq
                                (seq
                                  (seq
                                    (seq
                                      (seq
                                        (seq
                                          (seq
                                            (seq
                                              (seq
                                                (seq
                                                  (seq
                                                    (seq
                                                      (seq
                                                        (seq
                                                          (seq
                                                            (seq
                                                              (seq
                                                                (seq
                                                                  (seq
                                                                    (seq
                                                                      (seq
                                                                        (seq
                                                                          (seq
                                                                            (seq
                                                                              (seq
                                                                                (seq
                                                                                  (seq
                                                                                    (seq
                                                                                      (seq
                                                                                        (seq
                                                                                          (seq
                                                                                            (seq
                                                                                              (seq
                                                                                                (seq
                                                                                                  (seq
                                                                                                    (seq
                                                                                                      (seq
                                                                                                        (seq
                                                                                                          (seq
                                                                                                            (seq
                                                                                                              (seq
                                                                                                                (seq
                                                                                                                  (seq
                                                                                                                    (seq
                                                                                                                      (seq
                                                                                                                        (seq
                                                                                                                          (seq
                                                                                                                            (seq
                                                                                                                              (seq
                                                                                                                                (seq
                                                                                                                                  (seq
                                                                                                                                    (seq
                                                                                                                                      (seq
                                                                                                                                        (seq
                                                                                                                                          (seq
                                                                                                                                            (seq
                                                                                                                                              (seq
                                                                                                                                                (seq
                                                                                                                                                  (seq
                                                                                                                                                    (seq
                                                                                                                                                      (seq
                                                                                                                                                        (seq
                                                                                                                                                          (seq
                                                                                                                                                            (seq
                                                                                                                                                              (seq
                                                                                                                                                                (seq
                                                                                                                                                                  (seq
                                                                                                                                                                    (seq
                                                                                                                                                                      (seq
                                                                                                                                                                        (seq
                                                                                                                                                                          (seq
                                                                                                                                                                            (seq
                                                                                                                                                                              (seq
                                                                                                                                                                                (seq
                                                                                                                                                                                  (seq
                                                                                                                                                                                    (seq
                                                                                                                                                                                      (seq
                                                                                                                                                                                        (seq
                                                                                                                                                                                          (seq
                                                                                                                                                                                            (seq
                                                                                                                                                                                              (seq
                                                                                                                                                                                                (seq
                                                                                                                                                                                                  (seq
                                                                                                                                                                                                    (seq
                                                                                                                                                                                                      (seq
                                                                                                                                                                                                        (seq
                                                                                                                                                                                                          (seq
                                                                                                                                                                                                            (seq
                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                (seq
```

**`ail check` feedback:**
```
error: [surface-parse-error] parse error: unexpected end of input, expected term
```

## Turn 6 — `check`  ❌

Tokens this turn: prompt=18315, completion=2000

```
(module sma
  (fn main
    (doc "Compute a 3-point simple moving average over a stream of 6 floats, printing the average after each push once the window is full.")
    (type (fn-type (params) (ret (own (con Unit))) (effects IO)))
    (params)
    (body
      (let s (app Series/new 3)
        (seq
          (seq
            (seq
              (seq
                (seq
                  (seq
                    (seq
                      (seq
                        (seq
                          (seq
                            (seq
                              (seq
                                (seq
                                  (seq
                                    (seq
                                      (seq
                                        (seq
                                          (seq
                                            (seq
                                              (seq
                                                (seq
                                                  (seq
                                                    (seq
                                                      (seq
                                                        (seq
                                                          (seq
                                                            (seq
                                                              (seq
                                                                (seq
                                                                  (seq
                                                                    (seq
                                                                      (seq
                                                                        (seq
                                                                          (seq
                                                                            (seq
                                                                              (seq
                                                                                (seq
                                                                                  (seq
                                                                                    (seq
                                                                                      (seq
                                                                                        (seq
                                                                                          (seq
                                                                                            (seq
                                                                                              (seq
                                                                                                (seq
                                                                                                  (seq
                                                                                                    (seq
                                                                                                      (seq
                                                                                                        (seq
                                                                                                          (seq
                                                                                                            (seq
                                                                                                              (seq
                                                                                                                (seq
                                                                                                                  (seq
                                                                                                                    (seq
                                                                                                                      (seq
                                                                                                                        (seq
                                                                                                                          (seq
                                                                                                                            (seq
                                                                                                                              (seq
                                                                                                                                (seq
                                                                                                                                  (seq
                                                                                                                                    (seq
                                                                                                                                      (seq
                                                                                                                                        (seq
                                                                                                                                          (seq
                                                                                                                                            (seq
                                                                                                                                              (seq
                                                                                                                                                (seq
                                                                                                                                                  (seq
                                                                                                                                                    (seq
                                                                                                                                                      (seq
                                                                                                                                                        (seq
                                                                                                                                                          (seq
                                                                                                                                                            (seq
                                                                                                                                                              (seq
                                                                                                                                                                (seq
                                                                                                                                                                  (seq
                                                                                                                                                                    (seq
                                                                                                                                                                      (seq
                                                                                                                                                                        (seq
                                                                                                                                                                          (seq
                                                                                                                                                                            (seq
                                                                                                                                                                              (seq
                                                                                                                                                                                (seq
                                                                                                                                                                                  (seq
                                                                                                                                                                                    (seq
                                                                                                                                                                                      (seq
                                                                                                                                                                                        (seq
                                                                                                                                                                                          (seq
                                                                                                                                                                                            (seq
                                                                                                                                                                                              (seq
                                                                                                                                                                                                (seq
                                                                                                                                                                                                  (seq
                                                                                                                                                                                                    (seq
                                                                                                                                                                                                      (seq
                                                                                                                                                                                                        (seq
                                                                                                                                                                                                          (seq
                                                                                                                                                                                                            (seq
                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                    (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                      (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                        (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                            (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                              (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                (seq
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  (seq
```

**`ail check` feedback:**
```
error: [surface-parse-error] parse error: unexpected end of input, expected term
```


---

**Outcome:** did NOT reach green after 6 turn(s).  
**Total tokens:** prompt=79125, completion=12000.
