Celesto Jev PR Review Lab
Runnable PR-review lab that compares Jev and an LLM on candidate code-review findings.
Runnable PR-review lab that compares Jev and an LLM on candidate code-review findings.
Celesto's PR-review example sends a structured packet of pull-request metadata, candidate findings, test results, review recipe, and evidence to Jev. For each finding, it asks separate typed Choice questions about whether the patch introduced it, whether evidence supports it, and whether it is actionable, with `yes`, `no`, and `unknown` options.
Judge whether the proposed patch introduced this finding, using the PR packet and cited evidence.
The state packet has pr {url, base, head}, findings [{id, title, location, claim, evidence_ids}], test_results, recipe, and evidence. It creates three questions per finding, keyed by finding ID plus introduced, supported, or actionable.
Judge whether the supplied evidence supports the finding claim.
The state packet has pr {url, base, head}, findings [{id, title, location, claim, evidence_ids}], test_results, recipe, and evidence. It creates three questions per finding, keyed by finding ID plus introduced, supported, or actionable.
Judge whether the finding warrants an actionable review comment.
The state packet has pr {url, base, head}, findings [{id, title, location, claim, evidence_ids}], test_results, recipe, and evidence. It creates three questions per finding, keyed by finding ID plus introduced, supported, or actionable.
The example gathers PR metadata, runs its review investigation and checks, then packages findings with their evidence and the review recipe.
The Jev evaluator submits the shared packet and dynamically generated questions to TypeSafe System One using the `jev-latest` model.
The example combines the judgment results with the review output and saves a result artifact for inspection.
It applies Jev as an evidence-checking layer beside a code-review pipeline. The explicit `unknown` option preserves uncertainty when a finding is not established, and the example can compare typed judgments against a review run without claiming that the judgments prove correctness.