@@ -121,8 +121,8 @@ jobs:
             echo "Changed files: all"
           fi
           start=$SECONDS
-          # SmolLM is the historical control with a reviewed native BF16 default.
-          tmic check --fixtures-only --lock "$LOCK" --contract SmolLM --variant default \
+          # This SmolLM fixture has a reviewed native BF16 default.
+          tmic check --fixtures-only --lock "$LOCK" --contract SmolLM --target mic-SmolLM-slim --variant default \
             "${selection[@]}" --output /tmp/results.jsonl 2> /tmp/run.log | python -c '
           import json, sys
           for line in sys.stdin:
@@ -146,8 +146,8 @@ jobs:
           missing = required - seen
           assert not missing, f"Prototype cases did not execute: {sorted(missing)}"
           controls = [row for row in rows if row.get("contract_name") == "SmolLM"]
-          assert len(controls) == 2 and all(row.get("status") == "pass" for row in controls), controls
-          assert len(rows) == len(required) + 2, f"unexpected proof case count: {len(rows)}"
+          assert len(controls) == 1 and controls[0].get("status") == "pass", controls
+          assert len(rows) == len(required) + 1, f"unexpected proof case count: {len(rows)}"
           for row in rows:
               baseline = row.get("baseline")
               if row.get("status") == "xfail":