{
  "all_passed": true,
  "original_sha256": "256361806357bbc14b16072ffd52f6e4551daa5d03cc52f0f78ff25e3b5faf32",
  "vectors": 3210,
  "counts": {
    "isLoadedLeague": 930,
    "daysRemaining": 72,
    "releaseCompensation": 360,
    "wageDemand": 1848
  },
  "numeric_comparison": {
    "exact": 3210,
    "close": 0,
    "maxError": 0
  },
  "wage_instructions_visited": 368,
  "wage_instructions_total": 368,
  "unvisited": [],
  "vectors_sha256": "0200d5437eb1d7cd860d2300a76585f08d3326e2d60f61fe573c1ff0a38cb0c9",
  "scope": "Wage demand, remaining days, release compensation and loaded-league classifier. All observed return values match exactly, including binary64 captures of x87 results. Negotiation and transfer workflow remain separate. Finite ordinary wage and date inputs; not proof over every possible input."
}