diff --git a/README.md b/README.md index dfb6811..ac8d28d 100644 --- a/README.md +++ b/README.md @@ -10,7 +10,7 @@ Agents generate code. Humans own specifications. The chain of custody for intent That's the old framing. Here's the better one: -**SpeckDL is the narrow waist that both humans and AI can work in.** +**SpeckDL is the shared space 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. diff --git a/landing/index.html b/landing/index.html index 0643453..ee89674 100644 --- a/landing/index.html +++ b/landing/index.html @@ -265,7 +265,7 @@
SpeckDL is the narrow waist humans and AI both work in — human-judgeable, AI-writable, and compiler-enforced to the binary.
+SpeckDL is the shared space humans and AI both work in — human-judgeable, AI-writable, and compiler-enforced to the binary.