Skip to content
Taxon Docs

Task Graphs (DAG) & Contracts

Taxon serves as a structured Workflow Planner for external AI coding agents (such as Claude Code, Gemini CLI, Cursor, and Aider). Rather than embedding an internal language model runtime, Taxon provides deterministic Task Graphs, artifact boundaries, and local-first verification interfaces.

Directed Acyclic Graphs (DAG)

In Taxon, work within a sprint is modeled as a Directed Acyclic Graph:

flowchart TD
    subgraph Engine["Module Group: Core Engine"]
        A["TASK-db001<br/>SQLite Migrations"] --> B["TASK-ipc01<br/>Tauri IPC Bridge"]
    end
    subgraph UI["Module Group: Frontend UI"]
        B --> C["TASK-ui001<br/>Kanban View"]
        B --> D["TASK-ui002<br/>Diff Viewer Modal"]
    end
  • Nodes: Discrete Task Contracts with explicit deliverables.
  • Edges: Prerequisite dependencies (dependsOn). An agent may only execute a task when all upstream prerequisite nodes have reached Need to Test or Done.

Module Groups

Tasks are organized into coarse architectural clusters called Module Groups (e.g. Documentation Platform, Frontend UI, Core Engine).

Workflow Theater Mode

Click the Full-screen Pop-out button in the workflow toolbar to enter Theater Mode:

  • Expands the DAG canvas across the entire viewport.
  • Provides zooming, panning, and automatic topological bus layouts.
  • Clicking any node opens its contract details drawer without navigating away from the graph.

Local-First Vault Sync (.taxon/)

Taxon stores project tasks and sprint definitions as human- and agent-readable Markdown files with YAML frontmatter:

<VaultPath>/.taxon/
├── project.md           # Read-only project metadata & task index
├── tasks/
│   ├── TASK-a1b2c3-auth-flow.md
│   └── TASK-b4c5d6-ui-tokens.md
└── sprints/
    └── SPRINT-sp1234-sprint-14.md

Agent Sync Panel

Open the Agent Sync panel in the project sidebar:

  • Export to Agent: Serializes current SQLite database records to .taxon/ markdown files.
  • Scan for Changes: Detects edits made by agents or text editors on disk and presents a visual diff modal.
  • Confirm Import: Merges filesystem changes into the local SQLite database.
  • Install Git Hook: Configures .taxon/hooks/post-commit to automatically transition committed tasks to Need to Test.