Commit 2025-08-19 02:31 70b85492

View on Github →

feat: add priority to hint tactics (#28509)

  • add optional priority to register_hint
  • order hints by priority before execution
  • annotate built-in hints with relative priorities

Estimated changes