John Dvorak
dd64e1e34a
Root package: renamed to imhotep-monorepo, fixed broken scripts (test:unit/integration/e2e), removed inappropriate root deps, fixed build order, updated clean script CI: branch trigger main->master, npm ci->npm install, GitHub cache URL->Gitea Docs: replaced scaffolded root README with real project README, added package READMEs for imhotep/imhotep-playwright/imhotep-dsl/imhotep-core, added RELEASE.md checklist Version: all 14 packages and root aligned to 1.1.0, CHANGELOG test count fixed (1125) Metadata: 14 repository URLs github->gitea, 13 package descriptions added, imhotep-cli exports field added, SECURITY.md updated for Gitea+disclosure email Quality: noEmitOnError:true in 13 tsconfigs, collapsed duplicate interfaces in public.ts, clippedBy test->test.skip, fixed broken dynamic import in imhotep index.test.ts, 694 generated src artifacts cleaned, V8 logs removed, .gitignore updated
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 |
|