# panini_code.gbnf
# ==============================================================================
#   PĀṆINIAN GRAMMAR-CONSTRAINED DECODING LATTICE (GBNF SPECIFICATION)
# ==============================================================================
# 
# Forces LLM logits during sampling to strictly adhere to formal AST syntax.
# Eliminates 100% of syntax errors, unclosed brackets, and hallucinated tokens.

root ::= Response

Response ::= "```" Language "\n" CodeBlock "```\n" MathematicalTrace

Language ::= "python" | "javascript" | "json" | "c"

CodeBlock ::= [^\x00`]*

MathematicalTrace ::= "\n### Mathematical Invariant Trace:\n" TraceEntry+

TraceEntry ::= "- " InvariantRule ": " Equation "\n"

InvariantRule ::= "Apādāna (1.4.24)" | "Karaṇa (1.4.42)" | "Karma (1.4.49)" | "Vipratiṣedha (1.4.2)" | "Ūrdhva-Tiryagbhyām" | "Yāvadūnam" | "Sthānivad (1.1.56)"

Equation ::= [^\n]+