# imhotep-dsl

Domain-specific language for [Imhotep](https://gitea.com/anomalyco/imhotep) assertions. Provides a fluent assertion API, a dense string-based DSL parser, FOL compilation/validation, canonical lowering, and property-run builders.

## Key Exports

| Export | Description |
|---|---|
| `expect(subject)` | Fluent assertion builder |
| `spec(src)` | Dense DSL parser (`parseSpec` alias) |
| `compile(source)` | Compile DSL to assertion nodes |
| `compileDenseFOLToFormula(src)` | Compile dense FOL to solver-ready AST |
| `validateAssertion(node)` | Pre-flight validation without extraction |
| `lowerToCanonical(nodes)` | Canonical lowering for IR equivalence |
| `component`, `enumerate` | Property-run fluent builders |
| `forAll`, `exists`, `predicate`, `domain` | FOL fluent builders |