The MVP wedge is Claude Code PreToolUse enforcement + deploy/migration verifiers. Everything else builds from that.
- Repo created, transferred to
eidos-agiorg, public. - Architecture, runbook, policy, and verifier docs.
- JSON Schema for runbook templates.
- Example runbook checked in (
examples/). - License (Business Source License 1.1, converts to Apache 2.0 on 2030-04-20).
Build the minimum StepProof daemon that can track workflow state.
- Postgres schema:
runbook_templates,workflow_runs,step_runs,policy_decisions,audit_log,liveness_heartbeats. - HTTP API:
POST /runs— start a workflow from a template.POST /runs/:id/evidence— submit step evidence.POST /runs/:id/heartbeat— register/refresh liveness TTL.POST /policy/evaluate— evaluate a proposed action. Returns{decision, reason, policy_id, suggested_tool, trust_signals}.GET /runs/:id— current state.GET /runs/GET /audit— cursor-paginated listings.
- YAML rule-set policy engine (OPA/Cedar pluggable later). Supports
allow/deny/transform/require_approval/auditdecisions, priority-ordered rules, content-pattern matching. - Ring classifier — every action maps to Ring 0/1/2/3 per ADR 0002. Unclassified → Ring 3.
- Three-property trust state per ADR 0003 — identity + authority + liveness as independent gates.
- Shadow mode —
shadow: trueon rules and runbooks; log-only evaluation. - Append-only audit log with content-addressed payloads and
compliance_tags[]. - Alarm-based step timeouts (no synchronous waits on step completion).
The first hook-based enforcement surface. Follows the idioms documented in LESSONS_FROM_HOOKS_MASTERY.md — uv single-file scripts, exit-code contract, matchers in settings.json.
-
PreToolUseadapter that calls StepProof's/policy/evaluate. -
PermissionRequestadapter — log +updatedInputtransform support (not interactive prompts). -
SubagentStart/SubagentStopadapters — record verifier dispatch lifecycle to audit log. -
SessionStartadapter — inject active runbook, current step, allowed tools viaadditionalContext. -
PreCompactadapter — re-inject runbook state so the worker doesn't forget after compaction. -
UserPromptSubmitadapter — early soft-nudge when the prompt mentions denied tools. -
SessionEndadapter — mark abandoned runs. -
Setupadapter — first-run installer: creates.stepproof/, drops verifier agents, writes scoped matchers. - Deny messages routed back to the agent via exit 2 + stderr, including suggested alternatives.
- Graceful degradation: control-plane outage must not break the session. Local JSONL audit buffer at
.stepproof/audit-buffer.jsonl, flushed on reconnect. - Verifier subagent definitions under
.claude/agents/stepproof/withdisallowedToolsenforced read-only. -
runbook-authorsubagent (meta-agent pattern) — generates valid runbook YAML from plain-English descriptions. - Custom slash commands:
/runbook-start,/runbook-status,/step-complete,/step-evidence,/approve,/runbook-abandon. - Per-session state at
.stepproof/sessions/<session_id>.jsonbinding session → run → step. -
stepproof run start <template>CLI to open a workflow. -
stepproof step complete <step_id> --evidence key=value ...CLI for step completion.
Success criteria: a Claude Code session on a configured runbook cannot run raw psql when the runbook requires cerebro-migrate, and cannot advance to a production deploy without a verifier pass on the staging migration.
Ship the deterministic checks that cover most real runbooks.
-
verify_ci_green -
verify_migration_applied -
verify_deploy_succeeded -
verify_git_branch -
verify_pr_merged -
verify_env_var_set -
verify_secret_rotated -
verify_health_endpoint
Small-model verification for unstructured evidence.
- Haiku-based verifier worker.
- Prompt templates per
verification_method. - Structured output validation; auto-retry on malformed JSON.
- Cost and latency telemetry per verifier method.
Push StepProof into the full deployment pipeline.
- GitHub Actions gate: fail workflow if required StepProof steps are not verified.
- Railway deploy wrapper.
- Generic HTTP
PreDeploywebhook. -
PreCommit/PreMergegit hooks.
Generalize beyond Claude Code.
- OpenAI Agents SDK adapter.
- Cursor integration.
- MCP-server mode so any MCP-capable agent can be governed.
- Agent identity + attestation (who is this worker, really?).
Route policy-flagged actions to humans cleanly.
- Approval UI (web or Slack-first).
- Time-boxed approvals.
- Multi-party approval for critical runbooks.
- Mobile-friendly approval flow for on-call scenarios.
Heavy-model verification, opt-in per step.
- Guardrail library: data-handling, security, compliance, architecture.
- Per-org policy overrides.
- Evidence-replay for audit.
- Domain packs: SRE runbooks, security runbooks, data-pipeline runbooks.
- Learning loop: policies that tighten based on near-miss patterns in the audit log.
- Multi-agent coordination: workflows with multiple workers, each gated independently.
- SOC 2 / ISO audit exports straight from the audit log.
- Replacing CI. StepProof augments CI; it does not rebuild it.
- Being a general-purpose workflow engine. Durable execution is a dependency (Temporal, Cloudflare Workflows, etc.), not a product line.
- Prompt optimization or agent orchestration. StepProof governs agents; it does not coordinate them.