feat: add warnings and specifically unused variable warnings

run_examples.ps1

@@ -0,0 +1,33 @@
+$ErrorActionPreference = "Stop"
+
+function Invoke-Cargo {
+    & cargo run -- @args
+    if ($LASTEXITCODE -ne 0) { exit $LASTEXITCODE }
+}
+
+$examplesDir = Join-Path $PSScriptRoot "examples"
+$simfFiles = Get-ChildItem -Path $examplesDir -Filter "*.simf" | Sort-Object Name
+
+foreach ($simf in $simfFiles) {
+    $base = $simf.BaseName
+    $argsFile = Join-Path $examplesDir "$base.args"
+    $witFiles = Get-ChildItem -Path $examplesDir -Filter "*.wit" |
+        Where-Object { $_.Name -like "$base.*" } |
+        Sort-Object Name
+
+    $baseArgs = @($simf.FullName, "--deny-warnings")
+    if (Test-Path $argsFile) {
+        $baseArgs += "-a", $argsFile
+    }
+
+    # Run without witness
+    Write-Host "`n=== $base (no witness) ===" -ForegroundColor Cyan
+    Invoke-Cargo @baseArgs
+
+    # Run once per .wit file
+    foreach ($wit in $witFiles) {
+        Write-Host "`n=== $base + $($wit.Name) ===" -ForegroundColor Cyan
+        $witArgs = $baseArgs + @("-w", $wit.FullName)
+        Invoke-Cargo @witArgs
+    }
+}

run_examples.sh

@@ -0,0 +1,27 @@
+#!/usr/bin/env bash
+set -euo pipefail
+
+examples_dir="$(dirname "$0")/examples"
+
+for simf in "$examples_dir"/*.simf; do
+    base=$(basename "$simf" .simf)
+    args_file="$examples_dir/$base.args"
+
+    base_args=("$simf" "--deny-warnings")
+    if [ -f "$args_file" ]; then
+        base_args+=("-a" "$args_file")
+    fi
+
+    # Run without witness
+    echo ""
+    echo "=== $base (no witness) ==="
+    cargo run -- "${base_args[@]}"
+
+    # Run once per .wit file
+    for wit in "$examples_dir/$base".*.wit "$examples_dir/$base".wit; do
+        [ -f "$wit" ] || continue
+        echo ""
+        echo "=== $base + $(basename "$wit") ==="
+        cargo run -- "${base_args[@]}" -w "$wit"
+    done
+done