Readable by people
Intent and views before code details.
Software that remembers what you meant.
Verve is a general-purpose language for building with agents and reviewing the result through responsibilities, guarantees, and consequences.
Explore the languageEvery responsibility declares its intent. The map comes from code and shows where each decision lives.
Its realization can change. Purpose, limits, and evidence remain visible.
Charge an order only once.
Inputs, results, and guarantees.
Only the resources granted.
The code that fulfills the agreement.
A change is shown through what it alters for people, the system, and its guarantees.
The goal remains charging only once.
A new connection needs your decision.
Each guarantee says how it was checked.
Intent and views before code details.
Explicit roles; plausible mistakes should become visible.
Proved, tested, or unchecked: each word has a meaning.
Incremental checks and native performance as measurable goals.
The paradigm is defined. Edition 1.0 and the Rust compiler advance in stages; capabilities will be announced with evidence.