tx invariant
Machine-checkable system rules with enforcement tracking
Overview
Invariants are machine-checkable rules that codify system constraints. They're defined in doc YAML and synced to the database, with pass/fail check recording.
CLI Usage
# List invariants
tx invariant list
tx invariant list --subsystem docs
# Show details
tx invariant show INV-DOC-001
# Record check results
tx invariant record INV-001 --passed
tx invariant record INV-DOC-001 --failed --details "Missing test coverage"
# Sync from YAML to DB
tx invariant syncMCP Tools
| Tool | Description |
|---|---|
tx_invariant_list | List invariants |
tx_invariant_get | Get invariant details |
tx_invariant_record | Record pass/fail check |
API Endpoints
| Method | Path | Description |
|---|---|---|
| GET | /api/invariants | List invariants |
| GET | /api/invariants/:id | Get invariant details |
| POST | /api/invariants/:id/check | Record check result |
SDK
// List invariants
const invs = await tx.invariants.list({ subsystem: 'auth' })
// Record check
await tx.invariants.check('INV-001', {
passed: true,
details: 'All JWT tokens validated',
durationMs: 150
})