From 60e5c8d2ca992e197b640c58a5ba276bb6299bf4 Mon Sep 17 00:00:00 2001 From: Anonymous Authors Date: Sat, 25 Jul 2026 13:42:41 -0500 Subject: Remove non-paper judge keyword checks --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'README.md') diff --git a/README.md b/README.md index d27b600..3e57d5a 100644 --- a/README.md +++ b/README.md @@ -59,7 +59,7 @@ separately auditable. known dependencies, acyclicity, and terminal connectivity. Replacement plans record the exact old/new value, source node, guard condition, and guard justification. Diffusion must preserve every node ID, dependency, and method -label. Judges must cover every proof-node ID before their verdict counts. +label. The five LLM judges' structured verdicts drive acceptance and repair. ## Install and test -- cgit v1.2.3