Proof 01—06
Code · space · motion
Explore the tools through the interfaces they make possible. Six projects, built for direct inspection.
Selected work · proof in sequence
Six projects. One orbit.
Scroll to turn the sphere and explore each project.
Six selected projects
Explore six systems through the problems they solve, the way they work, and the evidence you can inspect here.
Exact next state
Keep long-running work recoverable. Actors contribute results; the declared machine owns the route, decisions, and replay.
Space. Composition. Interaction.
Layout resolves space. Score composes exact notation. Scroll navigates. Motion, Surface, Core, and Browser complete the family.
Make the structure explicit
A tiny symbolic content language for agents and software. Nested terms keep scope explicit; Python tools query, edit, and check the structure.
think(Bob, not(delete(Alice, File)))not(think(Bob, delete(Alice, File)))Symbolic Content IR · open vocabulary · unreleased
From voxels to worlds
Sparse voxel worlds and charted planet surfaces, built on deterministic simulation and parallel-plane Vulkan rendering. World data, detail levels, and the camera stay separate.
Private source · in development
Configuration owns effect
Declarative sections keep settings, actions, keymaps, and commands in one inspectable editor surface.
Private source · in development
Signal must stay scarce
True black ground, disciplined gray, and red reserved for focus, diagnostics, and state change.
Private / terminal dossier
Project 01 / Agent protocols + durable execution
Declared protocols for agents, tools, and people. Witloom admits external signals, normalizes the next state, and preserves execution for recovery and replay. Rust provides the local-first reference runtime.
The scribe receives a bounded release order and can
return only the declared drafted letter.
draft --drafted→ approve
The operator sees the declared decision packet and may
return proceed or
abort—nothing else.
approve --proceed→ review
The called council may emit vetoed. The
parent program routes it to a blocked terminal without a
model inventing recovery.
review --vetoed→ cancelled
The council closes on two admitted ayes. Once closed, late output cannot change the accepted result.
review --adopted→ shipped
The terminal revision, program basis, binding basis, and semantic journal survive the agent session. Replay never reinvokes effects.
shipped / revision 3 / replay exact
Protocol graph
flagship.witl · Rust reference runtime
program flagship@1 where
-- Composed release train: model draft, operator gate, reusable council.
require review := "review.witl"
schema order := shaped "release-order.v1" {"type":"object","required":["tag"],"properties":{"tag":{"type":"string"}},"additionalProperties":false}
schema note := shaped "release-note.v1" {"type":"object","required":["notes"],"properties":{"notes":{"type":"string"}},"additionalProperties":false}
adapter only-the-notes : note -> _ := pick "/notes"
authority operator
actor operator : authority operator
actor scribe : managed never
accepts order
starts draft
state draft where
notes <- scribe : drafted note
state approve where
go <- operator : proceed order | abort order
state review where
call review
state shipped := end released
@[blocked] state cancelled := end cancelled
next
| draft, drafted => approve using only-the-notes
| approve, proceed => review
| approve, abort => cancelled
| review, adopted => shipped
| review, vetoed => cancelled
program demo-review@1 where
actor alpha : managed idempotent
actor beta : managed idempotent
actor gamma : managed idempotent
starts vote
state vote where
alpha <- alpha : aye | vetoed
beta <- beta : aye | vetoed
gamma <- gamma : aye | vetoed
close any_of
| saying vetoed
| at_least_saying 2 aye
decide
| saying vetoed => rejected
| _ => approved
carry := {
ayes := count aye
dissent := documents vetoed
}
state adopted := end adopted
@[blocked] state refused := end vetoed
next
| vote, approved => adopted
| vote, rejected => refused
Illustrative execution of the current flagship. Program source and graph describe the same routes.
Tiger Libraries · spatial composition
One frame becomes many. Layout supplies the geometry; Score, Scroll, and Motion bring the composition through space.
Input / 01
Start with an explicit viewport. Size, content, and constraints drive geometry; scroll remains an explicit presentation input.
viewport + content + constraints
Resolve / 02
Flow, padding, clipping, and transforms resolve into one immutable snapshot with stable IDs.
same inputs → same snapshot
Signal / 03
The page does not chase the scrollbar. It samples progress and deterministically presents the matching state.
enter → hold → exit
Project / 04
DOM and Three.js consume the same geometry. A custom renderer can join without redefining layout.
DOM / Three.js / custom
VINCENT VAN GOGH · 1889
Stay a while. Scroll to continue.
When the painting is focused, Space pauses or plays; arrow keys explore the detail view. Escape scrolls to the whole painting and pauses.Tiger Libraries · interaction lab
Move a tile. Change the space. Every piece finds its place. Explore the same composition with a pointer or a keyboard.
Keyboard: focus a card, token, or divider; press Space, use arrow keys, then Enter to commit or Esc to cancel.