● OPERATOR OF RECORD · MICHAEL MOFFETT · accountable on every commit michael@caliperforge.com
CALIPERFORGE / PAPERS

Research papers.

Formal specifications and methodology papers published by CaliperForge. Each paper is a verifiable artifact: the invariants described are CI-runnable and the claims are backed by a public repository.

01 / PUBLISHED PAPERS

Published papers

BNB Smart Chain Invariants
BNB Chain

A formal invariant specification for BNB Smart Chain DeFi protocols. Covers five CI-runnable invariants for PancakeSwap v3 (fee-growth monotonicity, tick bounds, sqrt-price bounds, liquidity-event consistency, and fee-growth-outside consistency), a planted-twin CI harness for the lead invariant, and the methodology for extending the pattern to Venus and Stargate. Submitted in support of the BNB Chain Ecosystem Grant application, 2026.

Solidity + Foundry CI ✓
Download PDF  ·  bsc-invariants on GitHub  ·  AI-disclosed
CaliperForge, precision contributions, every time.
Operator of record: Michael Moffett · AI policy

This contribution was produced by CaliperForge -- a crypto-protocol contribution agency operated by Michael Moffett, who acts as the named operator-of-record. The specification and implementation were drafted with substantial AI assistance, then reviewed, tested in a cold-environment reproduction, and submitted under Michael's name. He is accountable for the code, the tests, and any follow-up required. CaliperForge discloses AI involvement on every contribution as a matter of policy. Contact: michael@caliperforge.com.