tryassay 0.33.1 → 0.34.0

package/dist/realtime/types.d.ts

@@ -0,0 +1,99 @@
+/**
+ * Shared types for the real-time verification pipeline.
+ *
+ * Phase 2 of the 10x roadmap: verify code as it streams from the LLM,
+ * not after generation completes.
+ */
+export type CodeUnitKind = 'statement' | 'function' | 'block' | 'line';
+export interface CodeUnit {
+    /** The complete code text for this unit */
+    text: string;
+    /** What kind of code structure completed */
+    kind: CodeUnitKind;
+    /** Byte offset in the full buffer where this unit starts */
+    startOffset: number;
+    /** Byte offset in the full buffer where this unit ends */
+    endOffset: number;
+    /** Detected or configured language */
+    language: string;
+}
+export type CheckSeverity = 'critical' | 'high' | 'medium' | 'low';
+export interface StreamingCheck {
+    /** Unique identifier (e.g. 'sql_parameterized', 'learned_rule_42') */
+    id: string;
+    /** Human-readable name */
+    name: string;
+    /** Languages this check applies to (empty = all) */
+    languages: string[];
+    /** Pre-compiled regex pattern */
+    pattern: RegExp;
+    /** What a match means */
+    verdict: 'FAIL' | 'PASS';
+    /** Severity when this check triggers a FAIL */
+    severity: CheckSeverity;
+    /** Human-readable evidence template (may include $1, $2 for captures) */
+    evidenceTemplate: string;
+    /** Optional fix suggestion */
+    suggestion?: string;
+    /** Source: 'formal' (hand-crafted) or 'learned' (from rule catalog) */
+    source: 'formal' | 'learned';
+    /**
+     * Optional context keywords for relevance filtering.
+     * If set, this check only runs when at least one keyword appears
+     * in the code unit text (case-insensitive). If unset, the check
+     * runs against all code units (no filtering).
+     */
+    contextKeywords?: string[];
+}
+export interface CompiledCheckSet {
+    /** All checks, pre-filtered by language and pre-compiled */
+    checks: StreamingCheck[];
+    /** Language these checks are filtered for */
+    language: string;
+    /** Time taken to compile (ms) */
+    compileTimeMs: number;
+}
+export interface VerificationEvent {
+    /** Finding or pass */
+    type: 'finding' | 'pass';
+    /** The code unit that was checked */
+    codeUnit: CodeUnit;
+    /** Which check produced this event */
+    checkId: string;
+    /** Check name */
+    checkName: string;
+    /** Pass or fail */
+    verdict: 'PASS' | 'FAIL';
+    /** Evidence string explaining the verdict */
+    evidence: string;
+    /** Severity (only meaningful for FAIL) */
+    severity: CheckSeverity;
+    /** Fix suggestion if available */
+    suggestion?: string;
+    /** How long this check took (ms) */
+    latencyMs: number;
+}
+export interface StreamingVerifierStats {
+    /** Total code units processed */
+    unitsProcessed: number;
+    /** Total individual checks run */
+    checksRun: number;
+    /** Total findings (FAIL verdicts) */
+    findings: number;
+    /** Average latency per code unit (ms) */
+    avgLatencyMs: number;
+    /** Max latency for any single code unit (ms) */
+    maxLatencyMs: number;
+    /** Total elapsed time (ms) */
+    totalTimeMs: number;
+}
+export interface CorrectionResult {
+    /** The re-generated segment after correction */
+    correctedText: string;
+    /** The original text that was wrong */
+    originalText: string;
+    /** The finding that triggered correction */
+    finding: VerificationEvent;
+    /** Tokens consumed for the correction */
+    tokensUsed: number;
+}

package/dist/realtime/types.js

@@ -0,0 +1,8 @@
+/**
+ * Shared types for the real-time verification pipeline.
+ *
+ * Phase 2 of the 10x roadmap: verify code as it streams from the LLM,
+ * not after generation completes.
+ */
+export {};
+//# sourceMappingURL=types.js.map

package/dist/realtime/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/realtime/types.ts"],"names":[],"mappings":"AAAA;;;;;GAKG"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "tryassay",
-  "version": "0.33.1",
+  "version": "0.34.0",
   "description": "AI code verification CLI — find bugs that tests miss, linters ignore, and code review overlooks",
   "type": "module",
   "main": "./dist/index.js",
@@ -45,6 +45,7 @@
   ],
   "dependencies": {
     "@anthropic-ai/sdk": "^0.39.0",
+    "@modelcontextprotocol/sdk": "^1.27.1",
     "@supabase/supabase-js": "^2.95.3",
     "@upstash/ratelimit": "^2.0.8",
     "@upstash/redis": "^1.36.2",