✨ feat(lens): graduate Spark Lens

benchmarks/lens/fault-injections.json

@@ -0,0 +1,37 @@
+{
+  "schemaVersion": 1,
+  "cases": [
+    {
+      "id": "stale-provider-result",
+      "expected": "stale result rejected and no Pass receipt"
+    },
+    {
+      "id": "provider-timeout",
+      "expected": "inconclusive verdict and no Pass receipt"
+    },
+    {
+      "id": "provider-silence",
+      "expected": "inconclusive verdict and no Pass receipt"
+    },
+    {
+      "id": "verifier-conflict",
+      "expected": "conflicting Observation and inconclusive verdict"
+    },
+    {
+      "id": "file-cas-race",
+      "expected": "promotion rejected without partial write"
+    },
+    {
+      "id": "daemon-restart",
+      "expected": "providers reaped and pre-restart results rejected"
+    },
+    {
+      "id": "orphan-provider",
+      "expected": "orphan process group recovered or terminated"
+    },
+    {
+      "id": "stale-receipt-gate",
+      "expected": "Ready and Task completion gates reject old receipt"
+    }
+  ]
+}

benchmarks/lens/fixtures/python/app.py

@@ -0,0 +1,5 @@
+from models import User, display_name
+
+
+def greeting(user: User) -> str:
+    return f"Hello, {display_name(user)}"

benchmarks/lens/fixtures/python/models.py

@@ -0,0 +1,11 @@
+from dataclasses import dataclass
+
+
+@dataclass(frozen=True)
+class User:
+    name: str
+    nickname: str | None = None
+
+
+def display_name(user: User) -> str:
+    return user.name

benchmarks/lens/fixtures/python/pyproject.toml

@@ -0,0 +1,7 @@
+[project]
+name = "spark-lens-python-fixture"
+version = "0.0.0"
+requires-python = ">=3.12"
+
+[tool.ruff]
+target-version = "py312"

benchmarks/lens/fixtures/rust/Cargo.toml

@@ -0,0 +1,7 @@
+[package]
+name = "spark-lens-rust-fixture"
+version = "0.0.0"
+edition = "2024"
+
+[lib]
+path = "src/lib.rs"

benchmarks/lens/fixtures/rust/src/lib.rs

@@ -0,0 +1,12 @@
+pub struct User {
+    pub name: String,
+    pub nickname: Option<String>,
+}
+
+pub fn display_name(user: &User) -> &str {
+    &user.name
+}
+
+pub fn greeting(user: &User) -> String {
+    format!("Hello, {}", display_name(user))
+}

benchmarks/lens/fixtures/typescript/package.json

@@ -0,0 +1,5 @@
+{
+  "name": "spark-lens-typescript-fixture",
+  "private": true,
+  "type": "module"
+}

benchmarks/lens/fixtures/typescript/src/index.ts

@@ -0,0 +1,5 @@
+import { displayName, type User } from "./model.js";
+
+export function greeting(user: User): string {
+  return `Hello, ${displayName(user)}`;
+}

benchmarks/lens/fixtures/typescript/src/model.ts

@@ -0,0 +1,8 @@
+export interface User {
+  name: string;
+  nickname?: string;
+}
+
+export function displayName(user: User): string {
+  return user.name;
+}

benchmarks/lens/fixtures/typescript/tsconfig.json

@@ -0,0 +1,10 @@
+{
+  "compilerOptions": {
+    "strict": true,
+    "target": "ES2022",
+    "module": "NodeNext",
+    "moduleResolution": "NodeNext",
+    "noEmit": true
+  },
+  "include": ["src"]
+}

benchmarks/lens/measurements.json

@@ -0,0 +1,61 @@
+{
+  "schemaVersion": 1,
+  "generatedAt": "2026-07-31T00:00:00.000Z",
+  "baseline": {
+    "package": "pi-lens",
+    "version": "3.8.73",
+    "commit": "dc4d6f4d5dfd0d5ddbc6a473efac9e9d1ea84d57"
+  },
+  "protocol": {
+    "sameMachine": null,
+    "fixedModel": null,
+    "fixedPrompt": null,
+    "repetitions": null
+  },
+  "correctness": {
+    "acceptedStaleResults": null,
+    "passesWithoutAffirmativeClean": null,
+    "staleReceiptBypasses": null
+  },
+  "capabilities": {
+    "typescript": {
+      "covered": [],
+      "independentDiagnosticProviders": null
+    },
+    "python": {
+      "covered": [],
+      "independentDiagnosticProviders": null
+    },
+    "rust": {
+      "covered": [],
+      "independentDiagnosticProviders": null
+    }
+  },
+  "concurrency": {
+    "maxProcessesPerProviderWorktree": null,
+    "fourSessionRssRatio": null,
+    "orphanProvidersAfterRestart": null,
+    "acceptedPreRestartResults": null
+  },
+  "performance": {
+    "warmP95Ratio": {
+      "typescript": null,
+      "python": null,
+      "rust": null
+    },
+    "warmGeomeanSpeedup": null,
+    "coldP95Ratio": null,
+    "discoveryHitRate": null,
+    "visibleTokenRatio": null
+  },
+  "agentEffect": {
+    "sparkCompletionRate": null,
+    "baselineCompletionRate": null,
+    "sparkDefectRecall": null,
+    "baselineDefectRecall": null,
+    "sparkFalsePositiveRate": null,
+    "baselineFalsePositiveRate": null,
+    "invalidWorkReduction": null
+  },
+  "evidenceRefs": []
+}