ArexAi — Automated contract test evidence — 8 October 2026

Latest local result: 149 passing, 0 failing, 1 optional BSC fork test skipped.
Expanded source commit: d7d7ad9e0a922f3c3e76e2858d07089d7a547a5d
Review: https://github.com/ArexAiData/arexai-contracts/pull/23
Status: PR #23 merged into main after Contract Tests and Slither checks passed.
Published main-branch result: 149 passing, 1 optional fork skipped.
Main commit: 5d4210e32d841bad5eae137cc83bd5ec306b088f
Reproduction: npm ci --no-audit --no-fund; npm test
Full local output: https://arexaidata.com/reports/arxai-contract-tests-output-2026-10-08.txt

Scope includes token, presale, team vesting, reserve vaults, staking, deadline queues, model-based accounting and load scenarios. Staking behavioral scenarios execute against development and frozen mainnet compiler-input artifacts. The expansion adds eight scenarios executed twice (16 additional cases): 30/60/90-day exits exactly one second before and at maturity; unauthorized and repeated claims; exhausted multi-holder allocations with checkpoint batches 1 and 64 from an identical EVM snapshot.

Limitations: local EVM tests; no live wallet transactions; optional chain fork not run. Safe governance behavior uses StakingSafeHarness, not a real Safe transaction-signature integration. No new whole-system coverage percentage is claimed. Tests, source verification and static analysis are not an independent professional audit. Independent audit remains pending.