Add stepVerification to JSON output

Kripner · web-flow · commit 4192820be303 · 2025-12-17T18:10:55.000+01:00
diff --git a/REPL/JSON.lean b/REPL/JSON.lean
@@ -162,7 +162,8 @@ instance : ToJson ProofStepResponse where
     Json.nonemptyList "messages" r.messages,
     Json.nonemptyList "sorries" r.sorries,
     Json.nonemptyList "traces" r.traces,
-    [("proofStatus", r.proofStatus)]
+    [("proofStatus", r.proofStatus)],
+    [("stepVerification", r.stepVerification)]
   ]
 
 /-- Json wrapper for an error. -/

Original file line number	Diff line number	Diff line change
`@@ -162,7 +162,8 @@ instance : ToJson ProofStepResponse where`
`162`	`162`	`Json.nonemptyList "messages" r.messages,`
`163`	`163`	`Json.nonemptyList "sorries" r.sorries,`
`164`	`164`	`Json.nonemptyList "traces" r.traces,`
`165`		`- [("proofStatus", r.proofStatus)]`
	`165`	`+ [("proofStatus", r.proofStatus)],`
	`166`	`+ [("stepVerification", r.stepVerification)]`
`166`	`167`	`]`
`167`	`168`
`168`	`169`	`/-- Json wrapper for an error. -/`