Aspect

Aspect is a system of agents that builds software from a formal specification and then checks whether what it built achieves the goals the specification states. The specification declares the intent of the system and of every module, plus the goals the finished system must reach. Separate agents write the code, write the tests from the spec, run them for real, and judge, goal by goal and with cited evidence, whether the implementation honours the intent.

Documentation

• Spec language reference: every section, field, notation rule and validation rule of format version 1.
• Architecture: why the agents are separated, how a run flows, tiers, language profiles, and how an existing system is imported.
• Review agents: the subagents that keep the spec true, review and attack every change, and write docs, test data and videocast scripts; their shared conventions and how review gates run.

Where to start

go install github.com/eideroliveira/aspect/cmd/aspect@latest
aspect validate examples/inventory/aspect.yaml
aspect plan     examples/inventory/aspect.yaml
aspect run      examples/inventory/aspect.yaml -out ./out

Examples in the repository:

Example	Shows
monolith_minimal	the smallest spec that runs
inventory	goals, invariants, scenarios, contracts
warehouse_admin	a Postgres data model, a qor5 admin, an HTTP API
shop_two_tier	a Go backend and a Swift iOS app in two tiers
cloud_service_minimal	a Swift app over a hosted backend

Source and issues: github.com/eideroliveira/aspect.