{
  "checkedAt": "2026-09-05",
  "environment": {
    "forge": "1.5.1",
    "solc": "0.8.36",
    "evmVersion": "paris"
  },
  "kind": "isolated local arithmetic regression, not a token audit",
  "inputs": {
    "balances": [
      0,
      1,
      2,
      10
    ],
    "amounts": [
      0,
      1,
      2,
      10
    ]
  },
  "pairs": 16,
  "zeroBranchDifferences": 3,
  "complementBranchDifferences": 4,
  "balance10Amount1": {
    "normal": 9,
    "zeroBranch": 0,
    "complementBranch": "1329227995784915872903807060280344575"
  },
  "testFunctionsPassed": 3,
  "limitations": [
    "Finite deterministic cases; no fuzzing or exhaustive proof",
    "No deployed contract, token or economic outcome was tested",
    "The supply example models balance accounting only"
  ]
}