{
  "title": "Fixed Scale robustness checks",
  "generated_from": "September 25, 2026 adversarial audit",
  "scope": "Checks that preserve the announced migration question: divide the actual V2 distributed to on-time migrators among the FLOKI positions they migrated after removing deposit-timing distortion.",
  "baseline": {
    "cohort_addresses": 2958,
    "qualifying_deposit_transfers": 3761,
    "v2_pot": "7033850777434.760310557",
    "tracked_position_v2": "102758635000.983034839272"
  },
  "reference_scale": {
    "opening_reference_max_share_delta": "0",
    "deadline_reference_max_share_delta": "0",
    "finding": "Changing the common reference scale changes only the unit used to express claims, not cohort shares."
  },
  "entitlement_reproduction": {
    "rows": 2958,
    "max_absolute_difference_v2": "0.000000000500"
  },
  "transfer_rate": {
    "replayed_blocks": 2652,
    "exact_end_state_blocks": 2650,
    "bounded_rounding_blocks": 2,
    "tracked_exact_transfer_rate_v2": "102758635000.983034839272",
    "tracked_block_start_approximation_v2": "103745855874.346130526143",
    "tracked_block_end_approximation_v2": "99793443911.705448394189",
    "finding": "Block-start and block-end values are approximations. The exact-transfer calculation uses the contract rate in effect when each deposit executed."
  },
  "migration_fee_basis": {
    "qualifying_transfers": 3761,
    "direct_calldata_event_fee_proofs": 3760,
    "fallback_rows": 1,
    "unresolved_gross_amounts": 0,
    "fee_formula_matches": 3761,
    "positive_fee_exemption_observations": 0,
    "tracked_post_fee_event_v2": "102758635000.983034839272",
    "tracked_sender_gross_debit_v2": "102758635000.983034880287",
    "tracked_migration_wallet_reflected_credit_v2": "102758635000.983034862058",
    "finding": "Gross debit, post-fee event amount and reflected credit produce the same economic allocation apart from Solidity integer rounding."
  },
  "repaired_v1_counterfactual": {
    "actual_transfer_logs": 55705,
    "actual_transfer_blocks": 23902,
    "exact_block_validations": 23899,
    "bounded_rounding_blocks": 2,
    "repaired_transfers_before_first_impossible": 15,
    "first_impossible_block": 12703016,
    "first_impossible_sender": "0x3da567872b989a66ed77d3d2b680ae8d96462990",
    "deficit_as_fraction_of_required": 0.11097454201540928,
    "finding": "The natural V1 code repair cannot replay the actual transaction history. A complete bug-free history therefore requires additional counterfactual assumptions."
  }
}