Skip to content

perf(search): rank Skip score terms of combined metrics by deck - #68

Merged
nichinichisou0609 merged 1 commit into
mainfrom
perf/skip-score-deck-payoff
Oct 18, 2026
Merged

nichinichisou0609 merged 1 commit into
mainfrom
perf/skip-score-deck-payoff

Conversation

@nichinichisou0609

Copy link
Copy Markdown
Contributor

Summary

  • A Skip Live has one score, a closed form of the deck's power over the request's chart. The deck-payoff bounds now read it as a power curve (Curve::Skip) when the power tables prove the score nondecreasing over the compiled power interval.
  • Combined Skip metrics that include the score — as its own level or weighted with event points or items — are then ranked by deck like the other Skip payoffs, and prove without playing a Live.
  • Without the monotonicity proof the request keeps its other route.

Tests

  • combined_skip_score_terms_are_bounded_and_ranked_exactly: five combined forms against native evaluation of every team of the fixture.
  • tests/skip_score_bounds.rs: a combined Skip score request is answered on the deck-payoff route, and a score without a provable monotone interval falls back.
  • cargo clippy -p ournotes-search --all-targets -- -D warnings, cargo test -p ournotes-search --lib.

🤖 Generated with Claude Code

A Skip Live has one score, a closed form of the deck's power over the
request's chart. When the power tables prove that score nondecreasing over
the compiled power interval, the deck-payoff bounds read it as a power
curve, so combined Skip metrics that include the score (alone or weighted
with event points or items) are ranked by deck like the other Skip payoffs.
Without that proof the request keeps its other route.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
@nichinichisou0609
nichinichisou0609 merged commit 5ddf8d0 into main Oct 18, 2026
6 checks passed
@nichinichisou0609
nichinichisou0609 deleted the perf/skip-score-deck-payoff branch October 19, 2026 07:07
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant