Attention
- {knobs.map((knob) => (
-
- {knob.label || knob.id.toUpperCase()}
- {renderSelect(knobDisplay(knob), knob.values || [null],
- (nv) => setKnob(knob.id, nv), base, labelFor(knob),
- { hideValues: hideNullFor(knob) })}
-
- ))}
+ {knobs.map((knob) => {
+ const kc = h.evaluateChip(knob, base);
+ if (kc.hidden) return null;
+ return (
+
+ {knob.label || knob.id.toUpperCase()}
+ {renderSelect(knobDisplay(knob), entriesFor(knob),
+ (nv) => setKnob(knob.id, nv), base, labelFor(knob),
+ { hideValues: hideNullFor(knob),
+ disabled: kc.disabled,
+ disabledReason: kc.disableReason })}
+
+ );
+ })}
);
@@ -1638,16 +1782,63 @@ export const Playground = ({ config }) => {
// (render path only; revertHidden keeps the clean 5-dim base).
// dpAttnOn — effective DP-Attention resolves to "on" (positive degree
// or true), explicit override else derived-from-base.
+ // cpOn — effective prefill-CP resolves to "on" (degree > 1),
+ // explicit override else derived-from-base.
+ // cpStrategy — effective CP layout ("zigzag" / "interleave"; explicit
+ // override else baked-in-base else "interleave").
+ // cpSizeTarget — the only enable-able CP size (runtime derives
+ // attn_cp_size = tp/dp); null when TP is unknown or the cp
+ // knob opts out via `freeSize: true`.
+ // effTp — effective TP degree (override else derived).
// pdMode — live PD-Disagg role; gates the decode-only HiSparse card.
const attnDelta = deltas.attention || {};
const attnDerived = derivedMap.attention || {};
+ const attnKnobs = ((pgFeatures.attention || {}).knobs) || [];
+ const effTp = (attnDelta.tp !== null && attnDelta.tp !== undefined)
+ ? attnDelta.tp
+ : (attnDerived.tp !== undefined ? attnDerived.tp : null);
+ // A picked value whose entry is disabled under the live facts is skipped
+ // by apply() and must not count as "on" (stale-state corner: e.g. CP=8
+ // picked, then TP switched to 4). Only explicit picks can go stale;
+ // derived-from-base values are always real.
+ const staleExplicit = (knobId, picked) => {
+ const knob = attnKnobs.find((k) => k.id === knobId);
+ const e = knob ? findEntry(knob.values || [], picked) : null;
+ return !!(e !== null && e !== undefined
+ && evaluateChip(e, { ...base, effTp }).disabled);
+ };
const effDpAttn = (attnDelta.dpAttn !== null && attnDelta.dpAttn !== undefined)
- ? attnDelta.dpAttn
+ ? (staleExplicit("dpAttn", attnDelta.dpAttn) ? null : attnDelta.dpAttn)
: (attnDerived.dpAttn !== undefined ? attnDerived.dpAttn : null);
const dpAttnOn = (effDpAttn === true)
|| (typeof effDpAttn === "number" && effDpAttn > 0);
+ // Runtime derivation attn_cp_size = tp/dp: with DP-Attention off, the only
+ // enable-able CP size is TP. With DP-Attention on, sizes are NOT gated —
+ // CP + DP-Attention is an allowed experiment covered by a warning hint
+ // (null also when TP is unknown or the cp knob opts out via `freeSize`).
+ const dpDegEff = (typeof effDpAttn === "number" && effDpAttn > 0)
+ ? effDpAttn : 1;
+ const cpKnobFreeSize = !!(attnKnobs.find((k) => k.id === "cp") || {}).freeSize;
+ const cpSizeTarget =
+ (!cpKnobFreeSize && dpDegEff === 1
+ && typeof effTp === "number" && effTp > 0)
+ ? effTp : null;
+ const cpSizeStale = (v) => typeof v === "number" && v > 1
+ && cpSizeTarget !== null && v !== cpSizeTarget;
+ const effCp = (attnDelta.cp !== null && attnDelta.cp !== undefined)
+ ? ((staleExplicit("cp", attnDelta.cp) || cpSizeStale(attnDelta.cp))
+ ? null : attnDelta.cp)
+ : (attnDerived.cp !== undefined ? attnDerived.cp : null);
+ const cpOn = typeof effCp === "number" && effCp > 1;
+ const cpStrategy = ((attnDelta.cpStrategy
+ && !staleExplicit("cpStrategy", attnDelta.cpStrategy))
+ ? attnDelta.cpStrategy
+ : (attnDerived.cpStrategy !== undefined ? attnDerived.cpStrategy : null))
+ || "interleave";
const pdMode = (deltas.pdDisagg && deltas.pdDisagg.mode) || "off";
- const constraintBase = { ...base, dpAttnOn, pdMode };
+ const constraintBase = {
+ ...base, dpAttnOn, cpOn, cpStrategy, cpSizeTarget, effTp, pdMode,
+ };
let baseCommand = "";
let playgroundCommand = "";
@@ -1678,6 +1869,14 @@ export const Playground = ({ config }) => {
pgFlagsLatest.some((f) => f.split(/[\s=]/)[0] === "--speculative-algorithm") &&
!pgFlagsLatest.some((f) => f.split(/[\s=]/)[0] === "--max-running-requests");
+ // Interleave prefill-CP + DP-Attention hint on the EFFECTIVE command:
+ // deliberately allowed (combined support is planned upstream), but current
+ // releases assert dp_size == 1 for the interleave layout at startup.
+ const pgCpDpHint =
+ cpEnabledIn(pgFlagsLatest)
+ && (bakedCpStrategy(pgFlagsLatest) || "interleave") === "interleave"
+ && pgFlagsLatest.some((f) => f.split(/[\s=]/)[0] === "--enable-dp-attention");
+
// Submission snippets: proposed cell + existing cell at the same match.
const proposedCellSnippet = baseCell
? serializeCell(base, pgEnvLatest, pgFlagsLatest) : "";
@@ -1766,6 +1965,8 @@ export const Playground = ({ config }) => {
// value to dodge form-value serialization; `onPick` gets the original
// value. `labelFor` is an optional label resolver; `opts.hideValues`
// suppresses values (e.g. the inherit sentinel when a base default exists).
+ // `opts.disabled` grays the whole select (knob-level gating), with
+ // `opts.disabledReason` as the hover tooltip.
const renderSelect = (current, entries, onPick, base, labelFor, opts = {}) => {
const hideSet = new Set(opts.hideValues || []);
const items = [];
@@ -1783,7 +1984,9 @@ export const Playground = ({ config }) => {
if (idx === -1) idx = 0;
return (