actx verify
actx verify
Section titled “actx verify”Cryptographically verify that sidecar translations haven’t been tampered with and that the content-addressed store maintains integrity.
actx verify [file] [options]Arguments
Section titled “Arguments”| Argument | Required | Description |
|---|---|---|
file | ❌ | Specific translation file to verify. If omitted, verifies all translations |
Options
Section titled “Options”| Option | Description |
|---|---|
--all | Verify all .context/translations/ signatures |
--cas | Verify CAS digest integrity (recompute digests vs filenames) |
What It Does
Section titled “What It Does”Translation Verification (default)
Section titled “Translation Verification (default)”- Reads
.jsonfiles from.context/translations/ - For each translation:
- Extracts the stored CTX statement, human translation, and signature
- Re-computes the Ed25519 signature from the raw data
- Compares against the stored signature
- Reports any mismatches (indicating tampering)
CAS Verification (--cas)
Section titled “CAS Verification (--cas)”- Reads all files from
.context/objects/ - Recomputes the SHA-256 hash of each file’s content
- Compares against the filename (which IS the hash)
- Reports any files whose content doesn’t match their name
Examples
Section titled “Examples”Verify all translations
Section titled “Verify all translations”$ actx verify🔍 Verifying 42 translations... ✅ a1b2c3d4... valid ✅ e5f6g7h8... valid ✅ i9j0k1l2... valid ...✅ All 42 signatures verifiedVerify CAS integrity
Section titled “Verify CAS integrity”$ actx verify --cas🔍 Verifying CAS object integrity... ✅ 147 objects verifiedVerify a specific translation
Section titled “Verify a specific translation”$ actx verify .context/translations/a1b2c3d4.json✅ Signature validWhy This Matters
Section titled “Why This Matters”The verify command provides cryptographic proof that:
- Agent actions match what was reported to humans
- No one has modified translation records after the fact
- The content-addressed store hasn’t been corrupted
This is the foundation of AgentCTX’s trust model.
See Also
Section titled “See Also”- Sidecar — how translations are signed
- Security Model — the 8-layer defense