Pruning My Pothos
Test the idea

Current Work

Where the ideas in Systems get built and find out whether they hold. Each excerpt below is read from its repository at a named commit, so what you see is what was there, not a description of it.

v1.3.0 · ActiveRepository Sourced

DAX: Governed Execution Workstation

Deterministic runtime contract around stochastic model execution. Sits between the operator and model providers to provide policy checks, replay, and audit logs.

1# DAX Rust Crates
2
3DAX uses Rust only for deterministic proof surfaces around stochastic model execution.
4
5| Crate | Purpose |
6| ----- | ------- |
7| `dax-core` | Replays canonical run events to reconstruct run state; generates deterministic proof reports |
8| `dax-policy` | Evaluates proposed actions against policy context into `allow / ask / deny` decisions |
9| `dax-audit` | Evaluates trust posture from six structured run signals |
10| `dax-ledger` | Builds and verifies tamper-evident append-only ledger chains |
11| `dax-indexer` | Builds deterministic local repo structure indexes for context selection |
12
13TypeScript orchestrates. Rust decides deterministic facts.
Inspect source: crates/README.md at 9acb5dc

The excerpt above is source material. The summary and boundary are editorial interpretation.

Boundary: Pure proof library crates in Rust with no I/O, accompanied by JSON stdio sidecar binaries. TypeScript orchestrates; Rust decides deterministic facts.
Creator · Runtime WorkstationInspect Repository→
Developer PreviewRepository Sourced

Verb: Control Layer for Coding Agents

The control layer around coding agents. The agents generate; Verb owns the environment they run in, the record of what actually happened, and the way back when something breaks.

1* **Sessions that survive process death.** A session keeps its identity across an agent exiting, the
2  app being force-stopped, and the machine losing the process entirely - then resumes by the agent's
3  *own* conversation id. Proven end to end on a physical Android device for Claude and Codex.
4* **Two hosts, one contract.** Android (proot + PTY) and desktop (native Unix PTY) implement the same
5  session semantics and the same durable record shape.
6* **Structural memory, not surveillance.** Durable records hold identity, context and state. Never a
7  PID, process handle, command text, terminal bytes, prompts, transcripts or credentials.
8* **One session lifecycle, three recovery-capable agents.** `LIVE -> INTERRUPTED -> RECOVERABLE ->
9  ENDED` is implemented for Claude Code, Codex CLI and OpenCode.
Inspect source: README.md at 77cc07f

The excerpt above is source material. The summary and boundary are editorial interpretation.

Boundary: Structural memory, not surveillance. Durable records hold identity, context and state. Never command text, terminal bytes, prompts, transcripts or credentials.
Creator · Agent Control LayerInspect Repository→
v0.1.0 · Developer PreviewRepository Sourced

PaneTera: Workspace Control Plane

Local-first developer control plane designed to govern, inspect, and explore workspaces using the Model Context Protocol (MCP).

1## System Diagram
2[Portal UI (Browser)]
3       │ (Fetch API + SSE / Bearer token auth)
4       ▼
5[Express Backend Server (Port 4000)]
6       │
7       ├─► [Host Policy Engine (myai-policy.json)] (Authoritative check)
8       ├─► [Workspace Catalog (myai-workspaces.json)] (State check)
9       ├─► [Append-only Logger (server/audit.log)]
10       │
11       ▼ (stdio spawn / tsx server/mcpWorkspaceServer.ts)
12[Workspace stdio MCP Process] (Bound to selected workspace directory)
Inspect source: ARCHITECTURE.md at 4b9f5d7

The excerpt above is source material. The summary and boundary are editorial interpretation.

Boundary: Version 0.1.0 freezes a read-only local execution environment. Guarantees the agent and portal can explore file structures without writing files, modifying code, or executing shell commands.
Creator · Developer Control PlaneInspect Repository→

The browser utilities built alongside this work live in Tools, and earlier professional work is in the portfolio.