Write a specification
15 items
Verify conformance
7 items
Track specification change
Compare compiled specification revisions and explain which scenarios and generated artifacts need another check.
Generate contracts and documentation
Derive repository docs, static-site source, JSON Schema, OpenAPI and AsyncAPI from a specification, keep the committed output drift-checked, and know what a projection cannot carry.
Bind commands and views to HTTP routes
State the method and path a protocol fixes for a command or a view in an ess-http/1 binding beside the specification, check it, and publish it in the OpenAPI projection.
Commit what a reviewer reads, regenerate the rest
Which files an ESS adoption puts under version control, which it rebuilds, and how to keep the first diff small.
Synthesize code from a specification
What the specification fully determines is generated and what it cannot is an obligation — the synthesis plan, the four targets, the ports you provide, and how the generated code is proven against the generated suite.
Import and project Kubernetes infrastructure
Turn a sanitized Kubernetes observation into typed infrastructure IR, diagnose it, compare it, and project reviewed manifests without applying them.
Record a physical realization
Bind local, loopback, or hosted entrypoints to one exact ESS without changing EssIr.
Project a build and a Helm chart
Compile a component's build graph and runtime model, then project BuildKit inputs and a configuration-neutral Helm chart without running either.
Resolve a stack
Turn a product's release constraints into an exact stack lock from an offline release catalogue, and check that a stack resolves.
Deploy an environment
Bind a stack lock to an environment, compare two deployments, preview a reconcile, and reconcile under a recovery authority.