Skip to main content

Agent Taxonomy

last updated: 2026-03-03

Spec Agents​

  • Spec Linter Agent: proposes spec edits; runs spec lint; never edits canonical encodings without ADR linkage.
  • ADR Drafting Agent: drafts ADRs with explicit “Invariants Preserved” + “Determinism Impact”.
  • Schema/Vector Curator: updates schemas + conformance corpora (never invents canonical bytes; it asks tools to produce them).

IR Agents​

  • IR Builder: compiles specs → canonical IR; emits IR hash; stores IR + build log.
  • IR Diff Analyst: classifies impact (consensus-critical, dispute-critical, econ-critical).

Implementation Agents​

  • Repo Implementer: writes code under a checkpoint plan; opens PR/MR; attaches evidence bundle.
  • Refactor Agent (non-semantic): permitted only when an “Invariant Proof” suite passes.

Assurance Agents​

  • Determinism Auditor: scans for FP, nondet iteration, unstable serialization, dependency drift.
  • Conformance Verifier: runs vectors; reproduces Merkle roots; recomputes published artifacts.

Economic Analysis Agents​

  • Envelope Guard: verifies envelope invariants; runs scenario sims; blocks merges missing econ deltas.
  • Attack Surface Economist: evaluates griefing, flooding, bribery thresholds (must cite assumptions).

Operations / Monitoring Agents​

  • Drift Watcher: continuously recomputes round headers / datasets; alerts on divergence.
  • Incident Scribe: produces reproducible incident bundles (inputs + hashes + replay recipe).

Each agent class has a tool contract and permission boundary (least privilege) consistent with this Handbook’s Agent Constitution.

Last updated on