mars verify <did>
Performs offline verification using only locally cached data and the public keys retrieved during the original resolve. Useful for CI/CD integrity checks where you want to fail builds on tamper detection.
Example
mars verify did:oas:l1fe:agent:web-research@3.4.0
# ✓ signature ed25519 valid
# ✓ lineage 4-hop chain to HMR
# ✓ bond 5 MINTS healthy
# ✓ content hash matches Sigil anchor
# ✓ attestations 6 independent
Exit code is 0 if every check passes, non-zero otherwise.