Traceback (most recent call last):
  File "/Users/alec/Documents/Math/draft_pr_actual_claims_1000_1100_20261012/audits/pr1041_30003934/reviews/package_02/math_adversary.py", line 102, in <module>
    if __name__=='__main__':main()
                            ~~~~^^
  File "/Users/alec/Documents/Math/draft_pr_actual_claims_1000_1100_20261012/audits/pr1041_30003934/reviews/package_02/math_adversary.py", line 100, in main
    result={'utc':datetime.datetime.now(datetime.timezone.utc).isoformat(),'expanded_flow':[expanded_flow(w) for w in [[1],[10**15+3],[10**15+3,10**15+3],[10**15+3,10**15+4],[1,1,2,2],[3,3,6],[2,4,8,16,32]]],'expanded_games':[expanded_game(w) for w in [[3,3],[3,4],[3,3,6],[2,2,2]]],'new_all_original_choice_attempts':[flow.all_original_executions(flow.build(w)) for w in [[2,2],[2,4],[3,3,6],[1,1,2,2]]],'controls':adversarial_controls(),'limits':'Finite extension tests, not exhaustive equilibrium enumeration or proof of every n/irrational parameter. Constructs with pinned family code but checks new fractional cases and direct payoff identities independently. No omitted historical script replay.'}
                                                                                            ~~~~~~~~~~~~~^^^
  File "/Users/alec/Documents/Math/draft_pr_actual_claims_1000_1100_20261012/audits/pr1041_30003934/reviews/package_02/math_adversary.py", line 45, in expanded_flow
    need(c+adjusted_u-adjusted_v>=0,'potential invariant residual dual')
    ~~~~^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
  File "/Users/alec/Documents/Math/draft_pr_actual_claims_1000_1100_20261012/audits/pr1041_30003934/reviews/package_02/math_adversary.py", line 18, in need
    if not condition: raise RuntimeError(msg)
                      ^^^^^^^^^^^^^^^^^^^^^^^
RuntimeError: potential invariant residual dual
