feat: replace ASCII art diagrams with SVG
- README: SpeckDL pipeline and architecture diagrams - docs/strategy.md: Plan D→C→A→B flow diagram - docs/consulting-packages.md: consulting pipeline flow diagram - New: docs/diagrams/ with 4 static SVGs (dark-mode compatible, responsive viewBox)
This commit is contained in:
parent
75aed78a43
commit
f59488a197
7 changed files with 190 additions and 80 deletions
26
README.md
26
README.md
|
|
@ -27,35 +27,13 @@ speck RetryHandler {
|
|||
|
||||
SpeckDL compiles through a deterministic pipeline:
|
||||
|
||||
```
|
||||
SpeckDL ──► Z3 (SMT solver) ──► DST (decision structures) ──► WASM
|
||||
│ │ │ │
|
||||
│ verify constraints compile to decision deploy verified
|
||||
│ catch contradictions trees artifacts
|
||||
│
|
||||
└── Provenance graph grows automatically at each stage
|
||||
```
|
||||

|
||||
|
||||
No LLMs in the compilation path. No non-determinism. Same input, same output — every time.
|
||||
|
||||
## Architecture
|
||||
|
||||
```
|
||||
┌─────────────────────────────────────────────────┐
|
||||
│ Orchestrator │
|
||||
│ Accepts Specks, decomposes tasks │
|
||||
└───────────┬─────────────────┬───────────────────┘
|
||||
│ │
|
||||
┌───────▼───────┐ ┌───────▼───────┐
|
||||
│ Team Lead │ │ Team Lead │
|
||||
│ Verification │ │ Codegen │
|
||||
└───────┬───────┘ └───────┬───────┘
|
||||
│ │
|
||||
┌───────▼───────┐ ┌───────▼───────┐
|
||||
│ Z3 SME │ │ TypeScript │
|
||||
│ (verify) │ │ SME (emit) │
|
||||
└───────────────┘ └───────────────┘
|
||||
```
|
||||

|
||||
|
||||
- **Orchestrator** — client entry point, task decomposition
|
||||
- **Team Leads** — manage specialized agents, elastic scaling
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue