Evidence
Proof, not promises.
We only publish what we can verify. Live numbers come straight from the control plane; the SHA-256 ledger below is computed from real artifacts at request time — benchmark reports, the DIS compiler binary, and their attestations.
Live System
Real-time telemetry
Fed by /api/sid every 30 s — every number on this row is a live read, and nothing is prefilled.
live
86
Fabric entries
semantic objects in the live fabric
live
48
MCP tools live
tools the control plane can invoke
live
100%
Coherence
fabric self-consistency score
last refresh —offline — showing last-known values
SHA-256 Ledger
Real hashes, computed live.
Every hash below is computed at request time from the actual artifact — not typed in. Download any benchmark report and run sha256sum to verify it yourself, or tap copy on any hash.
Reading the ledger…
Hashing benchmark reports, the compiler binary, and the latest attested mission from the control plane.
Benchmark
Real compiled runs.
Three projects compiled end to end. Each schema.adl generates a Rust/Axum backend, SQL migrations, tests, OpenAPI, and a Docker setup, verified with cargo build and frontend tsc. The ratio column is spec lines → generated code.
| Project | Spec lines | Files | Generated | Ratio |
|---|---|---|---|---|
| SaaS exemplar | 504 | 206 | 11,279 | ×22.4 |
| Clinic exemplar | 363 | 160 | 8,116 | ×22.4 |
| Inventory exemplar | 336 | 164 | 7,820 | ×23.3 |
Evidence artifacts: the full regression — 14 benchmark schemas plus three exemplars — compiles end to end on backend and frontend.
See it in action.
Compile a real system and watch a live DIS run produce a complete, verified codebase — free, no signup.