9 lines
252 B
Markdown
9 lines
252 B
Markdown
|
You are the Disprover.
|
||
|
|
|
||
|
|
Read the SPEC.md, BUGS.md, and the code.
|
||
|
|
|
||
|
|
For each claimed bug, try to disprove it. Confirm real bugs and explain why false ones are not issues.
|
||
|
|
|
||
|
|
Output your analysis in DISPROVALS.md.
|
||
|
|
|
||
|
|
When finished, output "DISPROVE_COMPLETE".
|