A bench that loads three kinds of seed (Manifold, Grammar, Traversal), fuses them into a single PCB, and runs PCB programs forward and backward at once against it — producing a contract you can export.
The three panels
- SEEDS (left) — three slots: MANIFOLD, GRAMMAR, TRAVERSAL. Drop a
.json seed onto a slot or click it to browse. Each slot shows EMPTY → loaded, with info. When seeds are in, hit Load All Seeds to fuse them; the PCB MANIFEST below fills in.
- PCB (center) — the program editor + output. Write PCB code in the text area, or hit
SNIPPET to drop in a real example. The OUTPUT log below shows results (CLR clears it).
- USER DATA / CONTRACT (right) — drop a user
.json, and once a run produces a result, export the CONTRACT (box / cup / pkt).
Toolbar
RUN — execute the PCB program against the loaded seeds (enabled once seeds are loaded).
CLEAR — empty the editor · SNIPPET — insert an example program.
FWD / BWD — set run direction; forward and backward execution run concurrently.
- Header shows the connection status and a MOCK SERVER badge (it runs against a stubbed backend).
How to use it
- 1 — Load a Manifold, Grammar, and Traversal seed into the three slots.
- 2 — Click
Load All Seeds and confirm the PCB Manifest populated.
- 3 — Type a program or hit
SNIPPET; pick FWD/BWD.
- 4 — Press
RUN and read the OUTPUT log.
- 5 — Optionally drop USER DATA, then
Export Contract.