2026-03-31 Certora Batch Rerun Record

Scope

This document records the strict Certora rerun performed on 2026-03-31 for the current contract bytecode set.

Commands (from /home/user/centurion/centurion-networks/mainnet/contracts/verification)

certoraRun certora/conf/vault_economics.conf --wait_for_results all
certoraRun certora/conf/vault_access.conf --wait_for_results all
certoraRun certora/conf/router.conf --wait_for_results all
certoraRun certora/conf/factory.conf --wait_for_results all
certoraRun certora/conf/vault_access_strict.conf --wait_for_results all

Environment note: in this run environment, --solc /home/user/centurion/centurion-networks/mainnet/contracts/verification/solc-arm.sh was supplied explicitly to avoid relative-path resolution issues for ./solc-arm.sh.

Results

All runs completed with:

Finished verification request

No errors found by Prover!

• vault_economics.conf: https://prover.certora.com/output/2263068/fd972e902a6d41518566140943827c53
• vault_access.conf: https://prover.certora.com/output/2263068/a5af18f819f44450b3cffabf27006020
• router.conf: https://prover.certora.com/output/2263068/b025f32ec2634e3c93379a1658685018
• factory.conf: https://prover.certora.com/output/2263068/13bd9105c6fd42508e85154e77b43840
• vault_access_strict.conf: https://prover.certora.com/output/2263068/123cca1c75a44057b5222ab5d1196ab4