Upgrade examples

.claude/skills/benchmark/benchmark_gir.py

@@ -564,7 +564,7 @@ def bench_fit(example_num, dynamics_calls, *, n_reps=3):
     elif args.nfev:
         if args.example == 0:
             totals: dict[int, int | str] = {}
-            for n in range(1, 6):
+            for n in range(1, 5):
                 print()
                 print("=" * 60)
                 print(f"NFEV CAPTURE -- example {n:02d}")
@@ -589,7 +589,7 @@ def bench_fit(example_num, dynamics_calls, *, n_reps=3):
     elif args.plan_time:
         if args.example == 0:
             ratios: dict[int, str] = {}
-            for n in range(1, 6):
+            for n in range(1, 5):
                 print()
                 print("=" * 60)
                 print(f"PLAN-TIME CAPTURE -- example {n:02d}")

.claude/skills/check-example/SKILL.md

@@ -0,0 +1,15 @@
+---
+name: check-example
+description: Audit an examples/fitting_workflows notebook against the gold-standard quality bar before a merge or release.
+disable-model-invocation: true
+---
+
+Use [../../../docs/ai/check-example.md](../../../docs/ai/check-example.md) as
+the source of truth for this skill.
+
+This skill takes one argument: the example to audit, as a directory path or an
+`NN_` prefix under `examples/fitting_workflows/` (e.g. `04`,
+`04_parameter_profiles`, or a full path). With no argument, audit every
+`examples/fitting_workflows/NN_*/` directory.
+
+When this wrapper and the shared doc differ, follow the shared doc.