# Blind frontier-model control — Claude Opus 4.8, single-shot, no tools

These eight modules are the raw output of Control 1 in `../format-findings.md`
("Authoring-capability controls"). Each was produced by a fresh, clueless
**Claude Opus 4.8** agent given verbatim the same plain-Form-A prompt the IONOS
models received (same SERIES few-shot, same per-level task) — with **no repo
access, no compiler, no oracle** (all eight returned with `tool_uses: 0`). The
output was oracled afterward, exactly as the harness oracles Qwen/Llama.

Result: **8/8 green, including L7 (SMA)** — the level no IONOS model solved on
any surface. So L7 is a *model* ceiling, not a language ceiling: Form-A is
authorable, SMA included, by a strong enough model.

Each module is named `m` (the task says "module `m`"), so it lives in its own
directory as `m.ail` to satisfy the module-name-equals-filename-stem rule.

Re-check all eight:

```sh
for d in */; do target/debug/ail check "$d/m.ail"; done   # run from repo root with full path
# or from here:
for d in */; do "$REPO/target/debug/ail" check "$d/m.ail"; done
```

L7 (`L7_sma/m.ail`) also runs to the expected output:

```sh
ail run L7_sma/m.ail   # => 3.0 / 5.33333 / 5.66667 / 5.33333
```

Note on L7: Claude solved it by hand-unrolling the six pushes into four windowed
prints (the task asks for the output, not a loop), and generalised operators
never shown in the few-shot — float `+`, a `/` operator absent from every
example, and float formatting via `print`. All correct.
