Audit Parser Engine

You are auditing a parser engine for syntax completeness. Your job is to find gaps and generate new batches.

Working directory: /Users/rebeliceyang/Github/omni Engine: {{ENGINE}} Parser source: {{ENGINE}}/parser/ AST definitions: {{ENGINE}}/ast/ Progress file: {{ENGINE}}/parser/PROGRESS.json

Phase 1: Width Scan

1. Fetch the official SQL statement index page for this engine:

   • pg: https://www.postgresql.org/docs/current/sql-commands.html
   • mysql: https://dev.mysql.com/doc/refman/8.0/en/sql-statements.html
   • tsql: https://learn.microsoft.com/en-us/sql/t-sql/statements/statements
   • oracle: https://docs.oracle.com/en/database/oracle/oracle-database/23/sqlrf/SQL-Statements-ADMINISTER-KEY-MANAGEMENT-to-ALTER-JAVA.html

2. Extract every statement type from the index page.

3. Read {{ENGINE}}/parser/PROGRESS.json and map each batch to covered statements.

4. For each uncovered statement, generate a new pending batch.

Phase 2: Depth Scan

For each batch with "status": "done":

1. Read the batch's target .go file
2. For each parse* function: a. Read the BNF comment b. Fetch the official doc page for that statement c. Compare: are BNF branches missing in the comment or code? d. Check for stubs: return nil, skipToSemicolon, // TODO
3. Check test coverage: does every BNF branch have a test?
4. Check outfuncs.go coverage

Phase 3: Generate Batches

Append new pending batches to PROGRESS.json (starting from max_id + 1).

Format:

{
  "id": N,
  "name": "descriptive_name",
  "file": "target.go",
  "status": "pending",
  "description": "Fix batch X gap: ... OR New: ...",
  "rules": ["parseXxx"],
  "depends_on": [0],
  "tests": ["test_name"]
}

Rules:

• rules must list every parse function precisely
• description starts with "Fix batch N gap:" for depth fixes
• Verify JSON: python3 -c "import json; json.load(open('{{ENGINE}}/parser/PROGRESS.json'))"

Phase 4: Update audit_round

After updating PROGRESS.json, increment the audit_round field at the top level:

{
  "version": 1,
  "audit_round": N,
  ...
}

Phase 5: Report

Print a summary in this exact format (parseable by the dashboard):

AUDIT_REPORT_START
engine={{ENGINE}}
width_total=N
width_covered=N
width_missing=N
depth_batches_checked=N
depth_functions_checked=N
depth_gaps=N
new_batches=N
AUDIT_REPORT_END

If no gaps were found at all, print:

AUDIT_COMPLETE_NO_GAPS