| # 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]+ | |