VARUX AXIS Deterministic PostgreSQL Write-Path Control
v0.6 · Pilot Readiness
AXIS Documentation / Operations / Failure & Recovery

Failure & Recovery

VerifiedFail-closed by design

AXIS is designed to fail closed: when evidence, policy or the database is not trustworthy, protected work does not proceed. Recovery is deliberate and evidence-visible.

Fail-closed behaviors

SituationBehavior
Audit WAL cannot be writtenProtected writes do not execute; audit_wal_failure; health non-ok
WAL corruption detected at startupStartup blocked; corruption surfaced with audit_corruption_detected; never silently repaired
Manifest missing / policy hash mismatchNo permissive fallback; healthy startup requires the full chain
Parser failure or unsupported shapeControlled rejection; never a silent read assumption
Database timeout after dispatchexecution_state: unknown; no automatic retry
Extended-protocol / COPY / batch attemptsFail-closed rejection (wire path and HTTP batch)

Restart procedure

Stop accepting new traffic.

Verify evidence before restart: GET /evidence/verify; resolve any corruption reports first.

Start AXIS; startup re-validates WAL continuity, manifest, policy hash and the dry-run corpus.

Confirm /health is ok and /policy/status shows the expected version.

Re-run /evidence/verify and spot-check recent audit events.

Recovering from execution_state: unknown

  1. Identify the request via error_id in the audit trail and application logs.
  2. Check execution_state and result evidence for the event; check the database for the row state.
  3. If the write applied: do not re-run; record the resolution in operations notes.
  4. If the write did not apply: re-submit with a new request; the retry is a new audited event.
  5. Never auto-retry protected writes.

Corruption response

Session and approval state across restarts

Disaster recovery

Practice the recovery drill in shadow mode first: restart, verify, restore. The steps are identical in enforce mode but the stakes are higher.

Related: Transactions · Troubleshooting · Operations