Skip to content

sysspec demo

Commercecom.hungovercoders

A small commerce system specified end to end: orders accepted over HTTP, order lifecycle and payment settlement carried as events, and the historical record of both published as data contracts. Every toolkit change must keep it green, so what you read here is what the gates actually enforce.

The specs of record for sysspec demo, saying what it should be, rather than documentation of what exists. Implementations converge on them; they never bend to an implementation.

1Specify intent

Contracts and acceptance criteria, gated and versioned. Changing one is a deliberate, versioned act, and CI rejects anything else.

2Ask and build with context

Anyone can question these specs over MCP (thesysspec server), people in plain language and agents at implementation time, never from a remembered or vendored copy.

3Converge on gates

Implementations pin a release in contracts.lock, fetch it read-only, and prove conformance in CI: contract tests, strict-bound scenarios, the negative control, schema fuzz.

Ask these specs anything →Connect an MCP client (https://demo.sysspec.dev/mcp) and ask about this system in plain language, from what a service is for to what an event carries, how something should behave, and who breaks if it changes. Same answers for people as for the agents building against it.
2 services8 binding specs3 channels2026-09-15 last release

Services

Commerce

Orders

Owns the Order aggregate. Accepts order placement over HTTP, emits lifecycle events, and consumes payment settlement to close orders out.

v3.4.0team-commerce
Commerce

Payments

Authorises and settles payments against orders. Publishes settlement events and a daily reconciliation dataset.

v3.2.0team-payments

Message flow

Producer → channel → consumer, left to right down the page; colour follows the domain. Click a node to trace its connections, double-click a service to open it.

ServiceChannelData productClientsHTTP operationsNo consumer yet