Captured-pair gates: score fresh runs against an oracle-side-only top-K golden instead of the self-anchor
メンテナーはふだん 1 日以内に返信
まだ誰も着手していません。
評価
- 難易度
- 5/5
- 見積もり時間
- 1週間以上
- 初心者へのやさしさ
- 35/100
- issue の種類
- 機能追加
- 明瞭さ
- おおむね明確
- 活発さ
- 活発
- 技術スタック
- bash, cpp
- 領域
- backend, testing-qa
調査の方向性
.agents/specs/tenstorrent-keepquant.md と scripts/qwen35-q4km-neartie-gap.sh から始め、続いて verified-pair と #2959 のフローを確認します。checker の変更を独自の spec として定義し、red-before の ULP re-roll を実証し、実際の発散が review 前も引き続き失敗することを示す mutation evidence を提示します。
索引モデルが issue の本文から書いたものです。
説明
Row: BACKEND-TENSTORRENT-KEEPQUANT
Problem
The captured-pair gates (the qwen3.5 Q4_K_M TT vehicle today; the same
ladder shape in the qwen3/mistral gates) pin two functions of OUR engine's
numerics: the exact ids anchor (self-match REQUIRE) and a per-capture
teacher-forced gap golden. Every ULP-level shift — a tt-metal pin bump, a
kernel change — re-rolls the ~51/256 near-tie cells and turns the gate red,
forcing a golden refresh. The refresh itself is where the process failed on
2026-09-12: an off-recipe re-derivation wrote f32-grain gaps that
manufactured four band violations and nearly drove a kNearTieMnats
widening (recorded in .agents/specs/tenstorrent-keepquant.md, Evidence).
The pinned-recipe truth was max gap 250 mnats, 0 cells above band — the
engine was fine; the refresh path was not.
Proposed shape
Commit an oracle-side-only golden: per prompt cell, the pinned oracle's
top-K logprobs under the ORACLE's own greedy prefix — stable under our code
changes, so it never re-captures for engine-side reasons. The gate scores
the fresh engine run against the committed top-K up to the first
divergence and fails only a confident divergence (gap above band, or our
token outside top-K). Near-tie flips pass with a recorded margin. The
self-anchor exact REQUIRE becomes an advisory MESSAGE recording the
re-roll. At the decision cell this is exactly the bar the gap script's own
header declares ("is our token, given our exact prefix, one the oracle
cannot confidently separate"); post-flip cascade cells are cross-context
and uninformative today anyway.
Why not now
The verified pair plus the provenance-hardened re-derivation path
(scripts/qwen35-q4km-neartie-gap.sh) lands in #2959's flow. This
redesign is a semantic checker change: it needs its own spec, a
red-before demonstration (a ULP re-roll failing today's anchor),
mutation evidence that a real divergence still fails, and fresh review.
- 主要言語
- C++
- スター
- 423
- フォーク
- 53
- 平均マージ
- 1日 5時間
- マージ済み PR（30日）
- 376
環境構築
はじめの一歩
- issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
- 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
- リポジトリをフォークし、ブランチを切って変更します。
- issue 番号を参照したプルリクエストを送ります。
mudler/vllm.cpp のほかの issue
-
難易度 2/5 1〜3時間 初心者へのやさしさ 84/100
メンテナーはふだん 1 日以内に返信
-
難易度 2/5 1〜3時間 初心者へのやさしさ 82/100
メンテナーはふだん 1 日以内に返信
-
難易度 2/5 1〜3時間 初心者へのやさしさ 70/100
メンテナーはふだん 1 日以内に返信
-
難易度 1/5 1時間未満 初心者へのやさしさ 88/100
メンテナーはふだん 1 日以内に返信
-
難易度 2/5 1〜3時間 初心者へのやさしさ 84/100
メンテナーはふだん 1 日以内に返信
mudler/vllm.cpp の issue をすべて見る
似ている issue
-
bug
難易度 1/5 1〜3時間 初心者へのやさしさ 88/100
isl-org/Open3D#7585 · コメント 1 件 ·
メンテナーはふだん 2 日以内に返信
-
Unconfirmed bug
難易度 1/5 1時間未満 初心者へのやさしさ 88/100
luanti-org/luanti#17605 · コメント 1 件 ·
メンテナーはふだん 2 日以内に返信
-
area: config area: firmware priority: P2 - medium size: S type: bug
難易度 2/5 1〜3時間 初心者へのやさしさ 76/100
Mizithra/ActiveTerrain#16 ·
-
難易度 2/5 1〜3時間 初心者へのやさしさ 84/100
grumpycoders/pcsx-redux#2171 ·
メンテナーはふだん 1 日以内に返信
-
難易度 2/5 1〜3時間 初心者へのやさしさ 70/100
メンテナーはふだん 2 日以内に返信