Security
Verify locally: make test && make test-invariant.
Report vulnerabilities to security@palmer.earth. Do not open a public GitHub issue.
Foundry invariant tests
Stateful fuzzing for core accounting rules (256 runs / 50 depth).
Invariants tested:
shares_issued <= shares_authorized(issuer and stock classes)- Stakeholder/stock class index mapping consistency
- Count consistency between contract and tracked state
- Stock class authorized never exceeds issuer authorized
Unit tests
Tests covering core flows, edge cases, access control, factory logic, and operator role verification.
Commands
| Command | Description |
|---|---|
make test | Run all unit tests |
make test-invariant | Short invariant fuzz (256 runs, 50 depth) |
make test-invariant-deep | Deep invariant fuzz (2000 runs, 100 depth) |
Last updated on