OrderForge v1.0.0
First stable educational/reference release of the non-custodial signed limit-order settlement protocol.
Included
- EIP-712 typed orders bound to chain ID and verifying contract;
- EOA and ERC-1271 signature verification;
- public or restricted taker execution;
- expiry, per-order cancellation, nonce invalidation, nonce binding, and replay protection;
- deterministic cumulative partial-fill accounting with exact final settlement;
- direct SafeERC20 settlement with reentrancy protection and no protocol custody;
- ABI encoding, decoding, typed calldata, deterministic identifier, and packed-collision learning evidence;
- 35 unit tests, 4 fuzz properties, and 5 stateful invariants;
- 4,096 CI fuzz runs and 512 invariant runs at depth 128;
- 100% line, statement, branch, and function coverage across production contracts;
- pinned CI dependencies and documented Slither policy.
Security status
OrderForge is educational/reference software. It has not undergone a professional smart-contract security audit and should not be used with meaningful funds. Fee-on-transfer, rebasing, and intentionally malicious ERC-20 implementations remain unsupported.