Verification gate: syntax checking #21

New issue

Open

opened 2026-04-07 20:24:05 +00:00 by austin · 0 comments

austin commented

2026-04-07 20:24:05 +00:00

Owner

Implement the first verification layer: AST syntax validation.

After applying a candidate edit to the target file (in memory, not on disk), parse the result with tree-sitter
If the parse tree contains ERROR nodes, the candidate fails
Extract a structured error message: line number, surrounding context, nature of the error
This check is sub-millisecond and catches the most common 3B failure mode (malformed code)

This is the cheapest and highest-value verification step. It should run on every candidate before any more expensive checks.

Implement the first verification layer: AST syntax validation. - After applying a candidate edit to the target file (in memory, not on disk), parse the result with tree-sitter - If the parse tree contains ERROR nodes, the candidate fails - Extract a structured error message: line number, surrounding context, nature of the error - This check is sub-millisecond and catches the most common 3B failure mode (malformed code) This is the cheapest and highest-value verification step. It should run on every candidate before any more expensive checks.