17 lines
802 B
Markdown
17 lines
802 B
Markdown
|
# 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 |
|