Mac M4 K1.D smoke evidence

Co-authored-by: Cursor <cursoragent@cursor.com>

Author: 2 people

results/research/k1d_smoke_1780909208.json

@@ -0,0 +1,64 @@
+{
+  "schema_version": 1,
+  "kind": "k1d_dlm_restored_verifier_smoke",
+  "model": "google/gemma-3-1b-it",
+  "device": "mps",
+  "dtype": "torch.bfloat16",
+  "seq_len": 256,
+  "configs": [
+    {
+      "name": "oracle_full_attention",
+      "shape": [
+        1,
+        256,
+        262144
+      ],
+      "last_token_norm": 1232.609130859375,
+      "last_token_argmax": 52564,
+      "last_token_max": 10.875,
+      "last_token_min": -9.6875,
+      "any_nan": false,
+      "any_inf": false,
+      "elapsed_s": 0.3479745000367984
+    },
+    {
+      "name": "v04_sink_4_window_64",
+      "shape": [
+        1,
+        256,
+        262144
+      ],
+      "last_token_norm": 1232.609130859375,
+      "last_token_argmax": 52564,
+      "last_token_max": 10.875,
+      "last_token_min": -9.6875,
+      "any_nan": false,
+      "any_inf": false,
+      "elapsed_s": 0.5252928750123829,
+      "kl_vs_oracle": 0.0,
+      "argmax_matches_oracle": true
+    },
+    {
+      "name": "v04_no_eviction",
+      "shape": [
+        1,
+        256,
+        262144
+      ],
+      "last_token_norm": 1232.609130859375,
+      "last_token_argmax": 52564,
+      "last_token_max": 10.875,
+      "last_token_min": -9.6875,
+      "any_nan": false,
+      "any_inf": false,
+      "elapsed_s": 0.4693464580923319,
+      "kl_vs_oracle": 0.0,
+      "argmax_matches_oracle": true
+    }
+  ],
+  "smoke_gate": {
+    "pass": true,
+    "failures": [],
+    "no_eviction_kl_threshold": 0.001
+  }
+}

results/research/logs/k1d_smoke_1780909208.log

@@ -0,0 +1,13 @@
+==> PR-K1.D smoke test corrected runner
+    Report:       results/research/k1d_smoke_1780909208.json
+[k1d] device=mps
+[k1d] loading google/gemma-3-1b-it
+[k1d] input shape: (1, 256) dtype=torch.int64
+[k1d] (a) running standard model.forward (oracle)
+[k1d]     elapsed 0.35s, last argmax=52564
+[k1d] (b) running DLMRestoredVerifier sink=4 window=64
+[k1d]     elapsed 0.53s, last argmax=52564 (oracle argmax=52564), KL vs oracle=0.0000 nats
+[k1d] (c) running DLMRestoredVerifier sink=10000 window=10000 (no eviction)
+[k1d]     elapsed 0.47s, last argmax=52564, KL vs oracle=0.0000e+00 nats (should be ~0)
+[k1d] report -> results/research/k1d_smoke_1780909208.json
+[k1d] SMOKE GATE: PASS