diff --git a/README.md b/README.md index a9d63b2..dfb6811 100644 --- a/README.md +++ b/README.md @@ -4,6 +4,21 @@ Speckl is a multi-agent software development system where the primary artifact is the *specification*, not the code. Every behavior traces back to its source of intent — automatically. +## The Chain of Custody for Intent + +Agents generate code. Humans own specifications. The chain of custody for intent stays intact. + +That's the old framing. Here's the better one: + +**SpeckDL is the narrow waist that both humans and AI can work in.** + +- **Human-judgeable** — SpeckDL is declarative enough that a person can inspect a spec and say "yes, this captures my intent." The compiled Wasm is opaque; the spec is not. That's the audit trail. Intent is encoded in the spec *because* it is verifiable by a person. +- **AI-writable** — SpeckDL's constrained grammar and declarative semantics make it tractable for LLMs to produce and reason about. Agents can draft, iterate, and refactor specs at machine speed — in the same language the human reviews. + +The two properties together are symmetric: humans and agents collaborate in the same medium. The human provides direction and judgment. The agent provides speed and iteration. Both operate on the same semantic layer. + +SpeckDL compiles directly to **Wasm** through a deterministic pipeline. The compiler isn't just a code generator — it's the enforcement point that guarantees what the human signed off on is what gets executed. If it compiles to valid Wasm, the binary is faithful to the spec by construction. + ## Dark Provenance Every function, every branch, every side effect in your system is linked to the specification that motivated it. The provenance graph accumulates behind the scenes — invisible until you need it, but always complete. When an auditor asks "why does this code exist?", you don't search Jira. You query the graph. @@ -25,7 +40,7 @@ speck RetryHandler { } ``` -SpeckDL compiles through a deterministic pipeline: +SpeckDL compiles through a deterministic pipeline directly to Wasm: ![SpeckDL compilation pipeline](docs/diagrams/speckdl-pipeline.svg) diff --git a/landing/index.html b/landing/index.html index fa38a1a..9f35ecd 100644 --- a/landing/index.html +++ b/landing/index.html @@ -195,7 +195,7 @@

Speckl

-

Spec-first development with dark provenance.
Write what your system should do. Prove it. Ship with full traceability.

+

Where humans and AI collaborate in the same language.
Spec-first development with dark provenance. Write what your system should do. Prove it. Ship with full traceability.

Source Code Read the Whitepaper @@ -264,8 +264,12 @@

If Speck→WASM compilation preserves semantics, human review at the spec boundary satisfies assurance requirements.

-

AI-Generated, Human-Owned

-

Agents generate code. Humans own specifications. The chain of custody for intent stays intact.

+

Two-Species Collaboration

+

SpeckDL is the narrow waist both species can work in. Human-judgeable and AI-writable. Intent is encoded in the spec because humans can verify it; agents can draft and iterate at machine speed.

+
+
+

Compiles to Wasm

+

SpeckDL compiles directly to Wasm through a deterministic pipeline. The compiler is the enforcement point: if it compiles, the binary is faithful to the spec by construction.