<!-- markdownlint-disable MD013 MD033 MD041 -->
<p align="center">
<picture>
<source media="(prefers-color-scheme: dark)" srcset="docs/faceto-logo/faceto-wordmark-white.svg">
<img src="docs/faceto-logo/faceto-wordmark-ink.svg" alt="faceto" width="220">
</picture>
</p>
# faceto
[](https://github.com/bastien-gallay/faceto/actions/workflows/ci.yml)
[](#why-zero-dependencies)
[](https://bastien-gallay.github.io/faceto/)
**A simple typed file โ a visual workshop board you think through with an LLM.**
Point it at a model; get an interactive HTML+SVG board you can read at a glance and
**click any element โ write a short note โ have your next session adjust the model**.
Event storming is the first board format; the direction is the rest of the workshop path โ
**context map** (boundaries), **bounded context canvas** (one context in depth), **core domain
chart** (where to invest). Pure Rust standard library โ **zero dependencies, offline, one fast
install**.
<p align="center">
<img src="docs/sample-board.svg" alt="A faceto event-storming board: actor, command, aggregate, event, policy, read-model and hotspot stickies laid out left-to-right along a shared timeline." width="100%">
</p>
The name reads two ways, both true: **face-to**(-face โ the thing you discuss *with* the model)
and **facet-o** (many facets cut from one typed source).
**๐ [Full documentation](https://bastien-gallay.github.io/faceto/)** โ the board guide, the CLI
reference, and how to wire a board into a coding agent. This README is the tour; the book is the
manual.
*Jump to* โ [install](#install) ยท [the model file](#the-model-file) ยท [event log](#the-event-log-is-the-source-of-truth) ยท [the eight lanes](#the-eight-lanes) ยท [why zero deps](#why-zero-dependencies)
## Install
```bash
cargo install --path . # puts `faceto` on your PATH (~/.cargo/bin)
```
No network, no crates to download โ it builds from the standard library alone.
## 30-second tour
```bash
faceto render examples/sample.model.json # writes sample.svg + sample.html next to the model
open examples/sample.html # the board above, straight from that render
faceto lint examples/sample.model.json # event-storming grammar findings (warn-only, exits 0)
faceto serve examples/sample.model.json # live board โ http://127.0.0.1:8753
# click a sticky โ modal โ pick a kind โ type a note โ Save
```
## The model file
You author a board as one typed JSON file โ a slice of [`examples/sample.model.json`](examples/sample.model.json):
```json
{
"title": "faceto โ sample board",
"phases": [{ "label": "work", "fromCol": 2, "toCol": 4 }],
"elements": [
{ "id": "C2", "type": "command", "label": "add an item", "col": 2 },
{ "id": "E2", "type": "event", "label": "ItemAdded", "col": 2 },
{ "id": "P1", "type": "policy", "label": "when ItemAdded, project forward", "col": 3 },
{ "id": "H1", "type": "hotspot", "label": "TopicCreated (item added to a non-existent topic)", "col": 3 }
],
"edges": [["C2", "E2"], ["E2", "P1"], ["H1", "E2"]]
}
```
- **`type`** is the colour grammar / lane โ one of the [eight lanes](#the-eight-lanes).
- **`col`** is a *global* timeline coordinate shared across all lanes (leftโright = time). Order
within a lane is just `sort by col`. Missing `col` auto-assigns in file order.
- **`id`** is the stable identity โ the comment join key and the diff key. Never renumber; only add.
- A trailing `(parenthetical)` or an explicit **`detail`** field becomes the sticky's smaller
second line. A hotspot with **`"resolved": true`** goes quiet (grey + check) instead of loud red.
- An element may carry **`links`** (a list of reference URLs โ tickets, docs, ADRs), surfaced as
clickable chips when you click it. An edge may carry a **`label`** via its object form
(`{ "src": "C2", "dst": "E2", "label": "emits" }`), drawn quietly at the connection's midpoint.
A machine-readable [**JSON Schema**](docs/schema/) pins the exact shape of both `model.json` and a
single event-log line โ hand it to an LLM to generate a valid file first try, or validate one
locally.
## The event log is the source of truth
```mermaid
flowchart LR
H([author / LLM]) -->|writes & edits| A[model.json<br/>source]
A -->|genesis| B[(event-log.jsonl<br/>the one truth)]
B -->|replay| C[render / serve]
B -.->|export ยท planned| A
```
`model.json` is the **source** you author โ by hand or with an LLM. The durable record is a
separate, **append-only event log** (`event-log.jsonl`); the board you see is a *projection*
replayed from that log, and comments are **first-class events**. `faceto genesis` imports a source
model into its founding log:
```bash
faceto genesis examples/sample.model.json # โ examples/sample.event-log.jsonl (one-time)
faceto render examples/sample.event-log.jsonl # render/serve also accept a log (by extension)
faceto compact examples/sample.event-log.jsonl # fold history to a snapshot, bounding replay
```
Each line is one event โ a slice of the generated [`examples/sample.event-log.jsonl`](examples/sample.event-log.jsonl):
```jsonl
{"event":"BoardTitled","title":"faceto โ sample board"}
{"event":"ElementAdded","id":"C2","type":"command","label":"add an item","col":2}
{"event":"ElementAdded","id":"E2","type":"event","label":"ItemAdded","col":2}
{"event":"EdgeAdded","src":"C2","dst":"E2"}
{"event":"HotspotResolved","id":"H2","resolution":""}
{"event":"ElementMoved","id":"H1","col":3}
```
`replay` is pure and deterministic: same log โ same board. The schema evolves *additively* (new
optional fields, new event kinds) so old and new logs stay mutually replayable. The
`<name>.event-log.jsonl` is **tracked** in git; the rendered `<name>.svg` / `<name>.html` are
derived (and gitignored where this repo renders them, under `examples/`). The full
rationale โ compaction, forward/backward compatibility, the locked decisions โ lives in
[`docs/event-sourcing-status.md`](docs/event-sourcing-status.md).
## Click โ note โ event
With `serve` running, click a sticky โ a modal opens โ pick a kind (`comment`, `split`,
`open question`, or `resolve a hotspot` โ gated to hotspots and elements carrying an open
question) โ type a short note โ **Save**.
Structural edits are **gestures, not modal options**: rename is double-click or <kbd>F2</kbd>,
remove is the `ร` glyph or <kbd>Delete</kbd>, move is a drag or <kbd>โ</kbd>/<kbd>โ</kbd>, add is
the hover `+`. Connect is its own affordance โ drag the wire from the **dot on a selected box's
right edge** onto another box (dropping on a box it already points at cuts that edge instead), or
press <kbd>e</kbd>, focus the target, <kbd>Enter</kbd>. A plain drag *between* two stickies moves
and stacks them; it does not draw an edge. The
[keyboard reference](https://bastien-gallay.github.io/faceto/board/keyboard.html) has the full
sheet, mirrored in the in-app `?` dialog.
The note is appended to the log as the matching event โ `add` mints a server-side, type-prefixed
id (`E5`, `C3`, โฆ), one past the highest ever used under that lane, computed under a lock so
concurrent adds can't collide. (Point `serve` at a bare `model.json` and it auto-migrates to a
sibling `event-log.jsonl` first, so the server only ever writes the log.) The page also works
offline โ comments queue in `localStorage`, and **Export comments** keeps anything not yet applied.
## Reload shows what changed
<p align="center"><img src="docs/diff-loop.gif" alt="Annotating a sticky, then hitting Reload to see the diff overlay highlight the added, changed and moved stickies." width="100%"></p>
**Reload** re-pulls the log and, when it has grown under you, redraws the board with a **diff
overlay against the version you were just looking at** โ no git, no page reload. Joined on `id`: a
reworded or relocated sticky reads as **changed** / **moved**, not drop-plus-add. **Plain** clears
the overlay and re-baselines.
## Extract the part that concerns you
A 147-sticky board is the whole system; the app you are about to change is a corner of it.
`extract` carves that corner out โ by **meaning**, not by geometry. A whiteboard can only crop a
rectangle.
```bash
faceto extract orders.event-log.jsonl --region K2 # one bounded context
faceto extract orders.event-log.jsonl --focus E4 --hops 2 # the flow around one event
faceto extract orders.event-log.jsonl --type hotspot # every open question
# โ orders-K2.event-log.jsonl โ a real board: render it, serve it, edit it
```
Ids and columns are **preserved**, so the sub-board is a legitimate baseline for a diff against
the board it came from:
```bash
faceto render orders-K2.event-log.jsonl --base orders.event-log.jsonl
# 0 added, 7 removed, 0 moved, 0 changed โ nothing drifted; the cut is the only difference
```
Extract โ try a variant โ diff is the "what if" loop, and it runs on files you own, offline.
Edges that leave the cut are dropped on purpose: `faceto lint` then reports the holes, which is
how you find out your cut ran through the middle of a flow.
## Context pack for a coding agent
The board you built in the workshop *is* the domain model โ so hand it to your coding agent
instead of re-explaining it every session. `export --format context` prints a structured markdown
pack: the ubiquitous language (every sticky grouped by lane), the flows, the bounded contexts, the
open questions (unresolved hotspots + grammar findings), and the board diagram embedded as Mermaid.
```bash
faceto export orders.event-log.jsonl --format context > docs/DOMAIN.md
```
Then reference it from your repo's `AGENTS.md` (the convention every agent already reads):
```markdown
## Domain model
The event-storming model for this system lives in [`docs/DOMAIN.md`](docs/DOMAIN.md) โ the
ubiquitous language, flows and open questions. Regenerate it with
`faceto export <board>.event-log.jsonl --format context > docs/DOMAIN.md`.
```
Unlike a frozen prose spec, the pack is regenerated from a living, event-sourced model โ diffable,
lintable, and one the agent can propose changes to while you decide. (`--format mermaid` emits just
the diagram; run `faceto export --help` for the full list.)
## The eight lanes
`type` selects both the lane (a fixed top-to-bottom order) and the colour:
| Lane | Means | Colour |
| --- | --- | --- |
| `actor` | a person / role that acts | `#FCEFA1` |
| `command` | an intent / request | `#1A6FAE` |
| `aggregate` | the consistency boundary it lands on | `#FFD23F` |
| `event` | something that happened (past tense) | `#FF9F1C` |
| `policy` | a reaction: *when X, do Y* | `#C39BD3` |
| `readmodel` | a view the actor reads | `#6FCF97` |
| `system` | a software system this board does not decompose | `#F2A0C9` |
| `hotspot` | an open question / risk (loud red until resolved) | `#C0392B` |
## Why zero dependencies
`faceto` is a working instrument you reach for mid-thought, so install has to be trivial and
offline. The shipped binary carries **zero runtime dependencies** โ pure Rust std: JSON is parsed
by a small hand-written module (`src/json.rs`), the server is `std::net` only. Nothing to download,
nothing to audit at install time. Two CI jobs guard it: a `zero dependencies` firewall on the
runtime (`cargo tree -e normal`) dependency tree, and a **binary-size budget** on the shipped
binary. Test-only **dev-dependencies don't count** โ they never enter the binary or the install, so
`proptest` (which powers the property-based tests) is free.
## Development
```bash
cargo test --all-targets # unit tests
cargo fmt --all --check # formatting
cargo clippy --all-targets -- -D warnings # lints
```
These mirror CI, which runs clippy + tests on Linux for every pull request and adds macOS on
`main`. Also gated there: markdownlint, actionlint, a justfile lint, the book build, the
client-logic tests, a keyboard-sheet drift check, and the two runtime-promise jobs (`zero
dependencies` + `binary size budget`) โ [docs/ci.md](docs/ci.md) is the canonical list. See
[CONTRIBUTING.md](CONTRIBUTING.md) for the (one) hard rule and [AGENTS.md](AGENTS.md) for the
architecture and domain invariants.
## Status
Extracted from the daily-ops inception event-storm harness. The event-sourced spine is the current
shape: the log is truth, the model is a projection, comments are events.
The **conversational AI loop** is complete as of 2026-08-03: **extract** (carve a semantic
sub-board out of a big one, above), **variants** (render or serve a board against a sibling log as
a diff) and the **context pack** (`export --format context`, above). Extract โ try a variant โ
diff, on files you own, offline.
The **kernel/format split** that lets a second board format exist at all is under way. Its first
piece shipped: a **Scene IR** (2026-07-26) โ the board is built as geometry and one serializer
turns that into SVG, so a second format will not have to re-implement the drawing. Still in flight:
a format tag on the log, and event storming moved behind a thin seam. Two throwaway spikes run
alongside to find the seam rather than guess it: the **bounded context canvas has reported**
(2026-07-26) โ no coordinate concept leaked into the kernel, and the format tag turned out to be a
correctness precondition rather than a later step โ and a **Wardley map** is still to come. Also
planned: a `model.json`
**export** (project the log back to a source file). Full narrative in [ROADMAP.md](ROADMAP.md).