diff options
| author | Anonymous Authors <anonymous@invalid.example> | 2026-07-25 13:42:41 -0500 |
|---|---|---|
| committer | Anonymous Authors <anonymous@invalid.example> | 2026-07-25 13:42:41 -0500 |
| commit | 60e5c8d2ca992e197b640c58a5ba276bb6299bf4 (patch) | |
| tree | dd714f98a535a0682818704f8222fd79e52ad3cb /README.md | |
| parent | 84fab096b3a2500755fea3f538933dbed0e8c72c (diff) | |
Diffstat (limited to 'README.md')
| -rw-r--r-- | README.md | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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 |