Overview
AXIS is a deterministic control layer for PostgreSQL write paths. It classifies SQL, evaluates versioned policy, enforces the decision, and records durable, hash-linked evidence — so no protected production write happens without a paper trail.
What AXIS does
- Intercepts SQL arriving at the protected write path (HTTP API; wire-protocol listener in lab).
- Classifies statements deterministically (QueryType + risk signals) under a CI-enforced contract.
- Evaluates versioned policy with three outcomes:
ALLOW,BLOCK,REQUIRE_APPROVAL. - Records evidence before execution: hash-linked WAL plus JSONL projection, verification endpoints, optional Ed25519-signed evidence bundles.
Status summary
| Area | Status | Evidence / note |
|---|---|---|
| SQL classification & policy engine | Verified | Contract v1.0 (ACTIVE – Locked, 2026-08-07); CI mutation tests; evasion corpus |
| Approval workflow | Verified | Immutable resolve; explicit retry with approval_id; TTL |
| Audit & evidence | Verified | WAL + hash chain; restart continuity; /evidence/verify; Evidence Bundle V1 |
| Policy lifecycle | Verified | Manifest SHA-256 startup; validate/diff/dry-run; activation & rollback |
| Real-driver integration | 37 tests / driver | psycopg3, asyncpg, Prisma, pgJDBC single-statement (2026-07-05) |
| Operating modes | Verified | shadow → approval_first → enforce; emergency_bypass explicit + logged |
| Native PG wire protocol | Experimental | Simple Query lab POC 65/65; chaos 14/14; Extended Query planned; RFC v1.2 draft |
| TLS / mTLS | Partial | Variables exist; pilot runs plaintext on the trusted lab network |
| Identity, RBAC/SSO, KMS, external ledger | Planned | v1 identity fields are unverified claims; JWT context opt-in in v0.9 |
| Enterprise production / compliance | Not certified | v0.6 = controlled demos, local review, non-production pilot |
Decision model
| Decision | HTTP | Behavior |
|---|---|---|
ALLOW | 200 | Evidence written, then executes via the DB adapter; result evidence appended |
BLOCK | 403 | No database execution; controlled structured error |
REQUIRE_APPROVAL | 202 | Approval record created with approval_id; executes only after a human approves and the client explicitly retries |
Documentation map
Getting Started
Five-minute evaluation: stack up, first query, blocked write, approval drill.
Architecture
Gate components, trust boundaries, read/write split, Control Plane boundary.
SQL Classification
Contract v1.0, QueryType, risk signals, fail-closed ambiguity rules.
Policy Engine
Defaults, rules, manifest startup, validate/diff/dry-run, activation, rollback.
Approval Workflow
Consent-first model: resolve, explicit retry, TTL, immutability.
Audit & Evidence
WAL, hash chain, verification endpoints, Evidence Bundle V1, signing.
API Reference
Every endpoint with payloads and outcomes.
Error Codes
Full registry with HTTP statuses and meaning.
Troubleshooting
Symptom → Cause → Verify → Resolution for common problems.
Security Review
Claims matrix, accepted risks, production review gates.
Limitations
Honest boundaries: what v0.6 cannot do.
Pilot
Scope, acceptance criteria, operator checklist, exit criteria.
Native PG Wire Protocol
Lab POC, RFC v1.2, CancelRequest, EQ roadmap.
Changelog
v0.4 → v0.9 milestones and roadmap.
Quick tour
curl -sS http://localhost:6543/health
# {"status":"ok","version":"0.6.0","uptime_seconds":N}
curl -sS -X POST http://localhost:6543/query \
-H "Content-Type: application/json" \
-d '{"actor":"demo-ops","app":"demo-read","tenant":"acme","role":"app_ops","host":"localhost","env":"staging","sql":"SELECT 1 AS ok"}'
curl -sS -X POST http://localhost:6543/query \
-H "Content-Type: application/json" \
-d '{"actor":"demo-ops","app":"demo-batch","tenant":"acme","role":"app_ops","host":"localhost","env":"prod","sql":"DELETE FROM accounts"}'
Full walkthroughs: Getting Started · Installation · Configuration
Notes on this documentation
- Status badges are honest: Verified Implemented Partial Experimental Planned Limited.
- All content is drawn from the AXIS documentation repository and varuxcyber.com/axis; nothing is invented.
- This site is engineering documentation, not a compliance certification.