add warnings

* changed api so that it's not breaking

* cut down unused warning to just the variable

* add unused warnings for match and functions

* add warning category deny and allow

* move warning to own file

* add json for warnings

Author: stringhandler

.gitignore

@@ -27,3 +27,5 @@ node_modules/
 
 # macOS
 .DS_Store
+
+.claude

examples/hash_loop.simf

@@ -1,5 +1,5 @@
 // Add counter to streaming hash and finalize when the loop exists
-fn hash_counter_8(ctx: Ctx8, unused: (), byte: u8) -> Either<u256, Ctx8> {
+fn hash_counter_8(ctx: Ctx8, _unused: (), byte: u8) -> Either<u256, Ctx8> {
     let new_ctx: Ctx8 = jet::sha_256_ctx_8_add_1(ctx, byte);
     match jet::all_8(byte) {
         true => Left(jet::sha_256_ctx_8_finalize(new_ctx)),
@@ -8,7 +8,7 @@ fn hash_counter_8(ctx: Ctx8, unused: (), byte: u8) -> Either<u256, Ctx8> {
 }
 
 // Add counter to streaming hash and finalize when the loop exists
-fn hash_counter_16(ctx: Ctx8, unused: (), bytes: u16) -> Either<u256, Ctx8> {
+fn hash_counter_16(ctx: Ctx8, _unused: (), bytes: u16) -> Either<u256, Ctx8> {
     let new_ctx: Ctx8 = jet::sha_256_ctx_8_add_2(ctx, bytes);
     match jet::all_16(bytes) {
         true => Left(jet::sha_256_ctx_8_finalize(new_ctx)),

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