Deterministic Task Graph Architecture

The Local-First Task Graph for Developers & AI Agents.

Replace flat task lists with deterministic Directed Acyclic Graphs (DAGs). Execute multi-agent coding sessions with strict task contracts, artifact chaining, and bi-directional Obsidian sync.

Download Taxon v1.0

$ curl -sSL https://taxon.run/install.sh | bash

✓ 100% Local Markdown (`.taxon/`)

✓ Topological Cycle Prevention

✓ Claude & Antigravity Agent Protocol

WORKFLOW_DAG_CANVAS · SPRINT 8 (GRAPH ENGINEERING)

AUTONOMOUS AGENT ACTIVE

INTERACTIVE TOPOLOGICAL GRAPH (CLICK NODE TO INSPECT) 0 CYCLES DETECTED

│ ├──▶ [Prerequisite Satisfied]

│ └──▶ [Queued Execution Branch]

TASK CONTRACT INSPECTOR .taxon/tasks/TASK-grf002.md

Task ID: TASK-grf002

Module Group: Graph Engineering

Status: In Progress (Agent Active)

Prerequisites: [grf001] (Resolved ✓)

ARTIFACT CHAINING (`inputs` ──▶ `outputs`)

inputs:

- "src/types/task.ts" (From grf001)

- ".taxon/tasks/TASK-grf001.md"

outputs:

- "src/services/agentSync.ts"

- ".taxon/hooks/post-commit"

ACCEPTANCE CRITERIA & DELIVERABLES

[x] Parse `moduleGroup`, `inputs`, and `outputs` frontmatter

[x] Extract deliverables from completed parent nodes

[ ] Hook into post-commit to auto-mark `Need to Test`

100% Deterministic Contract Boundary Sync: Local FS

ARCHITECTURAL SHIFT

Why Traditional Kanban Fails Autonomous AI Coding Fleets.

When coding agents (Claude Code, Antigravity, Cursor) execute against amorphous tickets, context degrades over multi-turn interactions. Taxon solves this with mathematical DAG determinism.

TRADITIONAL FLAT KANBAN HIGH HALLUCINATION RISK

Amorphous Text Blobs

Tickets lack formal input/output contracts. Agents guess file boundaries and invent missing APIs.

Context Degradation

Conversation transcripts grow unbounded. Upstream schemas and architectural decisions get lost in context windows.

Cloud Vendor Lock-in

Data stored in proprietary cloud databases with recurring per-seat fees and telemetry tracking.

Merge Collisions

Multiple concurrent agents work blindly on overlapping files, causing painful branch conflicts.

TAXON TASK GRAPH ENGINE DETERMINISTIC & PROVABLE

✓

Formal Task Contracts

Every node specifies exact `inputs`, expected `outputs`, `linkedFiles`, and verifiable `Acceptance Criteria`.

✓

Artifact Chaining

Parent deliverables automatically feed into downstream child tasks. Zero context degradation across runs.

✓

100% Local-First (`.taxon/`)

Pure Markdown and YAML files stored in your git repo. Instant bi-directional sync with Obsidian and Neovim.

✓

Disjoint Boundary Protocol

Topological graph execution guarantees parallel agents operate strictly on disjoint file branches.

CORE SUBSYSTEMS

Engineered for Mathematical Discipline.

Explore the four foundational pillars powering Taxon's deterministic multi-agent execution.

SUBSYSTEM 01 DAG_TOPOLOGY_ENGINE

Topological Task Graph Solver

Construct Directed Acyclic Graphs (DAGs) with strict mathematical cycle prevention. Taxon calculates topological execution order across all sprint tasks in real time, guaranteeing that prerequisites are completed and verified before child tasks unlock.

DAG RESOLVER · TOPO_SORT(SPRINT_8) 0 CYCLES · TOPOLOGICAL DEPTH: 3

ROOT grf001: Schema RESOLVED ✓

──▶

NODE grf002: Parser ACTIVE [64%]

──▶

LEAF grf003: Sidebar LOCKED (0/1)

SUBSYSTEM 02 DATAFLOW

Artifact Chaining

Pass exact file deliverables between parent and child nodes. Declare explicit `inputs` and `outputs` contracts so executing agents never guess missing boundaries.

TASK-grf003.md [YAML FRONTMATTER]

inputs:
  - "src/types/task.ts"
  - ".taxon/tasks/TASK-grf001.md"
outputs:
  - "src/components/DAG.tsx"
dependsOn: [grf001]

SUBSYSTEM 03 STORAGE

Bi-Directional Obsidian Sync

Your tasks live as plain `.md` files in `.taxon/tasks/`. Edit them from Obsidian, Neovim, or VS Code. Changes reflect instantaneously with zero database drift.

📁 .taxon/

📄 project.md (Index)

📁 tasks/

📄 TASK-grf002.md

📁 sprints/

SUBSYSTEM 04 PARALLEL_EXECUTION

Multi-Agent Parallel Isolation Protocol

Dispatch concurrent AI agents (Claude Code, Antigravity, Cursor) across independent branches of the DAG without merge conflicts. Taxon guarantees disjoint file boundaries and locks active tasks.

CLAUDE CODE (SUBAGENT 1)

Branch: `Frontend UI` ──▶ Touching: `src/components/*`

● RUNNING

⇅ DISJOINT FILE BOUNDARY CHECK PASSED (0 CONFLICTS) ⇅

ANTIGRAVITY (SUBAGENT 2)

Branch: `Database Schema` ──▶ Touching: `src/db/*`

● RUNNING

DETERMINISTIC LIFECYCLE

The 4-Stage Multi-Agent Execution Pipeline.

How human developers and autonomous coding fleets coordinate through Taxon's Task Graph without hallucinations or state drift.

PHASE 01: CONTRACT DEFINITION

Declare Concrete Inputs & Outputs

Human plans sprint tasks in Obsidian or Taxon UI. Every task specifies architectural moduleGroup, prerequisite inputs, target outputs, and explicit acceptance criteria.

🔒 Rule: AI agents are barred from guessing file paths outside declared contracts.

.taxon/tasks/TASK-grf003.md

id: grf003
title: "Implement NodeDetailSidebar in Workflow DAG"
moduleGroup: "Workflow DAG"
dependsOn: [grf001]
inputs:
  - "src/types/task.ts"
  - ".taxon/tasks/TASK-grf001.md"
outputs:
  - "src/components/workflow/NodeDetailSidebar.tsx"

PHASE 02: TOPOLOGICAL RESOLUTION

Cycle-Free Dependency Graph Engine

Taxon evaluates the entire sprint graph, detects cyclic traps, and resolves blocked vs unblocked nodes. Unblocked tasks with all prerequisite deliverables satisfied enter the ready queue.

⚡ Topological Invariant: Zero tasks unlock until parent deliverables exist on disk.

taxon-dag-solver.log

[RESOLVER] Evaluating Sprint 8 DAG (5 nodes, 4 edges)
[CYCLE_CHECK] DFS cycle detection: 0 cycles found. (PASS)
[DEPENDENCY_STATE]
  ✓ TASK-grf001: Deliverables recorded on disk.
  ▶ TASK-grf002: Parent [grf001] satisfied ──▶ UNLOCKED
  ⏳ TASK-grf003: Waiting for [grf002] deliverables ──▶ BLOCKED

PHASE 03: AUTONOMOUS AGENT DISPATCH

Context Injection & Mutual Exclusion Lock

AI agent (Claude Code, Antigravity, Cursor) acquires the task lock, automatically loads upstream parent deliverables into context, and generates the target code deliverables.

🛡️ Concurrency Lock: Concurrent agents operate exclusively on disjoint file paths.

agent-session.log

[DISPATCH] Agent "Claude-Code" starting TASK-grf002
[LOCK] Acquired .taxon/.lock.grf002 (status: In Progress)
[CONTEXT_INJECT]
  + Loaded types/task.ts
  + Loaded deliverables from TASK-grf001.md
[CODEGEN] Synthesizing src/services/agentSync.ts... (PASS)

PHASE 04: DELIVERABLE VERIFICATION

Post-Commit State Transition

On git commit, Taxon's post-commit hook parses task references (TASK-xxxxxx), transitions the status to Need to Test, records deliverables, and unblocks child tasks.

✅ Human-in-the-loop: Agents can never set tasks to 'Done' directly.

.taxon/hooks/post-commit

[GIT_HOOK] Intercepted commit: feat(agent): sync parser (TASK-grf002)
[TRANSITION] TASK-grf002: "In Progress" ──▶ "Need to Test"
[DELIVERABLES] Recorded link: [agentSync.ts]
[PROPAGATION] Unblocked child task: TASK-grf003 (Ready to Execute)

KEYBOARD-DRIVEN WORKFLOW

Zero-Latency Terminal TUI & Pomodoro.

Engineered for terminal purists. Manage task DAGs, track focused deep-work blocks, and inspect agent queues without leaving your shell.

[01] IN PROGRESS (2 SLOTS)

TASK-grf002 ● RUNNING

AgentSync Parser & Hooks

In: types/task.ts · Agent: Claude

TASK-grf001 ✓ DONE

Task Contract SQLite Schema

Deliverables: 2 files recorded

[02] TOPOLOGICAL DEPENDENCIES

grf001: Schema [DONE]

└──▶ grf002: AgentSync [IN PROGRESS]

├──▶ grf003: Node Sidebar [QUEUED]

└──▶ grf004: Dataflow [QUEUED]

ZERO CLOUD LEAKS

Your Codebase, Your Tasks. 100% Filesystem Sovereignty.

Taxon requires no cloud accounts, has zero telemetry daemons, and charges no per-seat subscription fees. All sprint history and DAG definitions remain strictly inside your repository.

🔒

Air-Gapped & Zero-Egress Ready

Work seamlessly on planes, isolated corporate VPCS, or classified air-gapped workstations without losing graph state.

🌿

Git-Native Versioning & Diffs

Branch, merge, and review tasks alongside source code using standard git log, git diff, and pull requests.

📖

Human-Readable Open Markdown

No proprietary binary databases. If Taxon is ever uninstalled, your tasks remain clean, permanent Markdown files.

SECURITY_MANIFEST.SPEC LOCAL ONLY

Storage Architecture Filesystem (`.taxon/`)

Remote Telemetry Disabled (0 bytes egress)

Cloud Dependencies None (Zero cloud services)

Obsidian Bi-Directional Sync Native File Watcher

License MIT Open Source

Cryptographic Hash Integrity: PASS

GET STARTED TODAY

Install Taxon on Your System.

Download the high-performance desktop client or run the zero-dependency CLI installer.

$ curl -sSL https://taxon.run/install.sh | bash

$ brew install nutlope/tap/taxon

$ cargo install taxon-cli

$ yay -S taxon-bin

🐧

Linux

x86_64 / aarch64

RECOMMENDED

Universal AppImage bundle, Debian package, or standalone TUI binary.

Download .AppImage (v1.0) Download .deb

🍏

macOS

Universal Binary

Native macOS DMG with system menu bar integration and spotlight support.

Download .dmg (Apple Silicon) Download .dmg (Intel x64)

🪟

Windows

x64 Installer

Standard MSI installer or portable ZIP for isolated developer setups.

Download .msi Installer Download Portable .zip