semgrep · emjin · Aug 8, 2025 · Aug 6, 2025 · Aug 7, 2025
diff --git a/semgrep_output_v1.atd b/semgrep_output_v1.atd
@@ -2761,7 +2761,7 @@ type function_return <python decorator="dataclass(frozen=True)"> = [
   | RetFormatter of string
   (* alt: reuse RetFormatter *)
   | RetSarifFormat of string
-  | RetValidate of bool
+  | RetValidate of (* rule validation error, if validation failed *) core_error option
   | RetResolveDependencies of (dependency_source * resolution_result) list
   | RetUploadSymbolAnalysis of (* success msg *) string
   | RetDumpRulePartitions of bool

diff --git a/semgrep_output_v1.jsonschema b/semgrep_output_v1.jsonschema
diff --git a/semgrep_output_v1.proto b/semgrep_output_v1.proto
diff --git a/semgrep_output_v1.py b/semgrep_output_v1.py
diff --git a/semgrep_output_v1.ts b/semgrep_output_v1.ts
diff --git a/semgrep_output_v1_j.ml b/semgrep_output_v1_j.ml