For regulated teams · CTO / CPO

Everything GraphSmith does — and the paper trail to prove it.

The full capability set, the five protocol invariants, and the complete 11-Document Build System — for teams shipping agents into finance, health, identity, and other regulated work. Local-by-default. No telemetry. Evidence on every run.

Local by defaultNo telemetry, everHuman gates on irreversible actionsTamper-evident evidenceNo lock-in
For your risk & compliance review

Built for the questions your auditors ask.

Finance, health, identity — regulated work needs more than a working agent; it needs evidence. Here's how GraphSmith maps to what your data-privacy, governance, security, and compliance reviews look for. Open any card for the detail.

Data privacy & residency

Your source and data never leave your environment. GraphSmith runs locally and phones home to nothing.

GDPRData residencySOC 2 · CC6
  • Local by default. GraphSmith sends no telemetry, learned state, artifacts, or diagnostics to its maintainers or any upstream service — automatically, ever. Your code and data stay in your repo and on your machines.
  • Evaluate with zero egress. No API keys are needed to run it; the scaffold runs on stub workers, so a security team can assess it without any data leaving the building.
  • One inspectable call, switchable off. The only network activity GraphSmith itself makes is a version check you can disable completely with GRAPHSMITH_OFFLINE=1.
  • Honest scope: your own workers may call whatever model APIs you choose — that traffic is yours to govern and classify. GraphSmith adds no egress of its own.
What this maps toFor a GDPR or data-residency review, the material fact is that GraphSmith introduces no new data flows — classification and residency stay under your control.

Governance & change control

Every change passes a gate a human approves — no self-certification, no silent edits to the rules.

SOC 2 · CC8ISO 27001 · A.12Change management
  • Hash-pinned, gated core. The rules, safety halts, human gates and enforcement machinery are hash-pinned; every change flows through a multi-gate promotion pipeline. The rules can't be edited quietly.
  • Humans on consequential decisions. Irreversible actions and anything touching money, identity, or private data stop at a human gate by design — and GraphSmith won't help you remove it.
  • Approve before build. You sign off on a one-screen blueprint before any workflow is generated — a documented decision point that maps directly to change-management control.
  • No self-certification. Verification by the author is not verification: workflows are tested by independent, executable tests, and parallel agents are coordinated with single-writer lanes, task leases, and frozen contracts.
What this maps toThe change-management and segregation-of-duties controls your auditor tests (SOC 2 CC8, ISO 27001 A.12 / A.14).

Compliance & audit evidence

A workflow passes graphsmith verify or it doesn't — enforceable in CI, with evidence, not assertions.

SOC 2ISO 27001Audit trail
  • Enforceable in CI. graphsmith verify runs as a GitHub Action or GitLab gate on every pull request; a workflow either meets the invariants or it doesn't, emitting capability profiles you can retain as evidence.
  • Your register, your repo — shipped in v0.3.0. A compliance register (docs/compliance/register.yaml) holds your obligations, data classifications, content rules and jurisdictions; when present, risk-tier gates key off your classifications and evidence packets cite your obligation IDs.
  • Provenance you can audit. KnoSky ties claims about your code to real files, and observable, run-once (replay-verified) runs leave a reconstructable trail.
  • Read this: GraphSmith is explicit that a passing test battery is a floor, not a certification, and it will not present its own reviews as compliance evidence. You get real, checkable controls — the certification remains yours to earn, and GraphSmith is built to make the evidence easy to produce.
What this maps toGraphSmith supplies the control mechanisms and machine-checkable evidence auditors expect under SOC 2 and ISO 27001 — it does not, and will not, claim to be certified on your behalf.

Security & supply chain

Zero dependencies, integrity-checked at every boundary, and red-teamed by three rival models.

SOC 2 · CC7Supply chainSecure SDLC
  • Minimal supply-chain surface. The scripts are dependency-free plain Node 18+ — no transitive package tree to vet — and MIT-licensed and open source for full inspection.
  • Integrity at every boundary. A deterministic, zero-LLM Integrity Sentinel checks hashes at session start, resume, checkpoint load and in CI, and reports whether a build is release-verified or self-consistent.
  • Isolated evaluation. Candidate changes run first in a disposable copy with mocked effects; an opt-in container profile adds network denial and read-only source for stronger isolation.
  • Adversarially tested. Kill-tested by a chaos harness and red-teamed by three rival model families (GPT-5.1, Gemini 2.5 Pro, DeepSeek R1), with findings dispositioned in public.
  • Honest scope: the sentinel is a boundary check, not a resident monitor, and a root-level local attacker is explicitly out of scope.
What this maps toThe vendor-security and supply-chain questions in your third-party risk assessment (SOC 2 CC7, secure SDLC).
The protocol

Five invariants, enforced at every boundary.

v0.2.0 turns GraphSmith's discipline into a protocol. A deterministic check runs at every boundary — a workflow either passes graphsmith verify or it doesn't.

01
Verified integrity

A deterministic check runs at every boundary; injected text in a log or tool output can't reach control flow.

02
Hash-pinned, gated core

A constitutional core no automated process can edit; every change passes a four-gate pipeline before it's real.

03
Isolated evaluation

Every candidate change is tried first in a disposable, mocked-effect copy; nothing touches your live project until it's earned it.

04
Local by default

Healing, learning, and evolution stay on your machine. Nothing is sent anywhere. No telemetry, ever.

05
Observable & killable

Every run declares budgets, streams to a live view, and is safe to kill and resume; tripwires halt a run heading somewhere dangerous.

The full inventory

Everything in the box — nothing behind a tab.

One install. Every capability across the lifecycle, laid out in full for evaluation. All local, all dependency-free, all readable in minutes.

Build
Scaffolder

A runnable, zero-dependency project: deterministic manager, worker steps, fsync-durable save points, resume, capped retries, structured logs — runs immediately with no API keys.

Blueprint gate

A one-screen plan — workers, handoffs, save points, stop rules — that you approve before a single line is written.

Per-run locking

A lease + heartbeat so a second manager on the same run refuses while the first is alive; a dead holder's lock is stolen automatically, so a crashed run self-recovers.

Fix
Architecture linter

Import-graph-aware scan of existing JS / TS / Python for the classic failure patterns — unbounded LLM loops, missing persistence, clock/randomness near control flow, unkeyed external writes — ranked by severity.

Self-tested corpus

--selftest runs the linter against a bundled corpus (every published adversarial-review probe is a case) and fails on any precision/recall regression.

Smallest-fix diagnosis

Maps "it forgets / duplicates / loops forever" to the exact broken rule, with file and line — and proposes the minimal fix without rewriting what works.

Verify
Chaos harness

Kill test, double-run, power-loss probe, three lock probes (dead-holder, live-recycled-pid, lease-expiry), and a loud safety-halt path. A forged halt fails — the verdict comes from on-disk state, never a string.

graphsmith verify

Reports capability profiles — resumable, effect-reconciled, budget-enforced, integrity-verified, gated-learning, assurance-tested, adversarially-tested — with linked evidence.

CI enforcement

Enforceable on every pull request through a GitHub Action or a GitLab template. A workflow passes the gate or it doesn't merge.

Ground
KnoSky citations

A local pointer index your AI cites from — claims about your code carry a real file reference, or are flagged as guesses. A map, not an oracle. Nothing leaves your machine.

Supply-chain hardening

KnoSky is pinned by version AND content hash (refuses on registry mismatch), never a silent global install. GRAPHSMITH_OFFLINE=1 skips all network.

Read-only by design

KnoSky indexes pointers (titles, headings, short excerpts), never file bodies. Its index writes to a local .knosky/ folder in your repo.

Coordinate
Lanes

Each agent owns a module boundary; one writer per lane, ever. Merge conflicts are planning failures to fix in the plan, not battles to win in the diff.

Claims with leases

Work lives in a shared task file; an agent locks a task atomically, and a dead agent's expired lease frees it. No task is worked twice or orphaned silently.

Frozen contracts & no self-cert

Interfaces freeze before dependent work starts; the agent that built a thing never reviews it — the checker runs on a different model family.

Harden · v0.2.0
Self-healing

A halted or broken workflow gets a diagnosis and a smallest-fix repair, staged with evidence and one-command rollback. Code repairs stage for a human — never a silent rewrite of your logic.

Gated learning

Bounded, project-local improvements that must clear an executable gate and a human before adoption. It cannot learn its way past its own safety rules.

Assurance testing

Architectural, unit, smoke, regression & adversarial batteries against your own workflows, with tamper-evident evidence. A passing battery is a floor, not a certification.

The framework for production teams

The 11-Document Build System.

For teams running many agents against production software — real users, money, or regulated data — GraphSmith ships the complete agent-first delivery pipeline: a document for every stage from PRD to evals, each machine-readable and traceable by ID. Adopt it when your project earns it, not before.

#
Document
Purpose
00
Repo Map & Document Registry
Where every artefact lives; how agents find and trust documents (manifest + KnoSky index).
01
PRD
Problem, users, scope, requirements, success criteria — and the criticality that decides later whether a change auto-deploys or waits for a human.
02
Technical Design
Architecture, stack, module boundaries, contracts, constraints and trade-offs.
03
App Flow & State Map
Screens, journeys, states, actions and redirects.
04
UI/UX Brief
Visual system, interaction rules and accessibility.
05
Backend Design & Data Model
Data model, access rules, API contracts, storage and events.
06
Engineering Plan
Task graph with lanes and dependencies, built for parallel agents.
07
QA & Adversarial Test Plan
Full test taxonomy, adversarial charter, synthetic data, quality gates.
08
Release, Deploy & Operations
Environments, pipeline, progressive delivery, rollback, observability, runbook.
09
Agent Operating Protocol
Roles, pipeline state machine, risk tiers, human-in-the-loop gates, escalation and audit.
10
Evals & Model Performance
Scorecards for every stage and agent, hallucination controls, eval-gated tuning.

The seven rules it runs on

Fast path. A weekend prototype may combine everything into one lean file. A production app handling payments, personal data, or several roles needs the full set — and the manifest (00) and risk tiers (09) are the last things to drop: they're what keep parallel agents and automatic deploys safe.
Trust & assurance

Conservative by design — and honest about its limits.

The differentiator isn't a bigger claim; it's a smaller, provable one. Honesty is the enterprise sell.

No lock-in

A documented off-ramp, not a walled garden.

GraphSmith is the disciplined on-ramp, not a competitor to durable-execution engines. The graduation ladder tells you exactly when a workload outgrows this tier — and the migration seam is already isolated in the generated code.

Rung 1
JSON-file checkpoints

Correct for single-machine jobs up to roughly thousands of steps. Where every new project starts.

Rung 2
SQLite

When step counts and log volume grow past the file tier. Same conventions, more durable store.

Rung 3
Framework checkpointer

A LangGraph-class checkpointer when you need its ecosystem and state model.

Rung 4
Durable execution engine

Temporal / Inngest for distributed, long-running workloads at scale.

Evaluate it

Install it. Try to break it. Read the reports.

Free, MIT, zero-dependency, no API keys. Time-to-first-value is under a minute.

npx skills add SathiaAI/graphsmith