File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 1+ # TEST-NEEDS.md — reasonably-good-token-vault
2+
3+ ## CRG Grade: C — ACHIEVED 2026-04-04
4+
5+ ## Current Test State
6+
7+ | Category | Count | Notes |
8+ | ----------| -------| -------|
9+ | ATS2 unit tests | 2 | ` vault-core-ats/tests/{test_crypto,test_identity}.dats ` |
10+ | Zig FFI tests | 1 | ` vault-core-ats/zig/tests/crypto_test.zig ` |
11+ | Specification tests | Present | ` validation/echidna-spec.sol ` |
12+ | RPM/Packaging specs | Present | Packaging test configurations |
13+
14+ ## What's Covered
15+
16+ - [x] ATS2 crypto and identity verification
17+ - [x] Zig FFI crypto layer tests
18+ - [x] Echidna formal specification
19+ - [x] Packaging validation
20+
21+ ## Still Missing (for CRG B+)
22+
23+ - [ ] Property-based testing for vault operations
24+ - [ ] Fuzzing for cryptographic edge cases
25+ - [ ] Performance benchmarks
26+ - [ ] Integration tests with container deployment
27+
28+ ## Run Tests
29+
30+ ``` bash
31+ cd /var/mnt/eclipse/repos/reasonably-good-token-vault && make test
32+ ```
You can’t perform that action at this time.
0 commit comments