All featuresBuild & Ship
Codegen Pipeline
Topological build order with CEGIS retry loop.
The spec graph defines a dependency order. The codegen pipeline generates code topologically — entities before operations, operations before endpoints, endpoints before UI. Every generated file is traceable to a spec node. A CEGIS retry loop catches what the first pass misses.
Get started freestrata19 — codegen
⠋
Topological Generation
src/entities/patient.ts2.4 KB
src/entities/appointment.ts1.8 KB
src/services/scheduling.ts3.1 KB
src/api/appointments.ts2.7 KB
src/api/patients.ts2.2 KB
src/ui/dashboard.tsx4.1 KB
23 files generated · dependency order · convergence-ready
capabilities
What Codegen Pipeline does.
Topological Order
Dependencies are built before dependents. No circular guessing, no import errors, no missing types.
Spec Traceability
Every generated file links back to the spec node that defined it. Nothing is invented.
CEGIS Retry
Counter-example guided synthesis. If a generated file fails convergence, the system generates counter-examples and retries.
Multi-Service Output
Generates across service boundaries — API, frontend, workers — all from one spec graph.