# StrictPath 90-Second Demo

Goal: show one coherent claim—StrictPath turns a domain model into synchronized backend artifacts and executable evidence. Do not tour every command.

## Preparation

```bash
pnpm install --frozen-lockfile
pnpm run build
clear
```

Use a 1280×720 or larger terminal, 18–22 px monospace text and no notifications. Record the command below in one take:

```bash
pnpm run demo:launch
```

## Shot list and narration

**0–8 seconds**

Show `examples/domain-specifications/orders.yaml` briefly.

> “Most backend generators create folders. StrictPath starts from a domain model and treats generated behavior as something that must be proved.”

**8–25 seconds**

The script lints and compiles the model.

> “One specification produces TypeScript domain code, Prisma and migration artifacts, OpenAPI, versioned event schemas and property tests.”

**25–42 seconds**

The digital twin runs `PlaceOrder,CancelOrder`.

> “Before starting a server, the aggregate state machine can be replayed and impossible transitions are rejected with an exact state and command.”

**42–55 seconds**

The counterexample engine finds `lines: []`.

> “Its invariant engine also searches for minimal counterexamples instead of merely generating happy-path tests.”

**55–75 seconds**

The complete NestJS/Fastify service is generated.

> “The service includes real CQRS wiring, PostgreSQL unit-of-work and outbox, inbox idempotency, contracts, Helm, observability and supply-chain controls.”

**75–90 seconds**

Hold on the final result and next-proof command.

> “Then `strictpath verify --full` proves runtime wiring against real PostgreSQL, Redis and Kafka-compatible Redpanda and emits a signed evidence report. The intelligence commands are experimental; the proof is reproducible.”

## Recording rules

- Do not claim universal production readiness.
- Do not quote a manual time saving without following the benchmark methodology.
- Keep the final `verify --full` result as a separate screenshot or longer technical video; it can take several minutes.
- Publish the exact commit SHA and raw JSON verification report with the demo.

## Short post caption

> An opinionated NestJS backend compiler that does not stop at scaffolding: model → code/contracts → real dependency verification → signed proof. Public beta; experimental intelligence features are labelled. Looking for hard technical feedback.