@zio.dev/zio-blocks 0.0.33 → 0.0.51

package/reference/ringbuffer/SpmcDiagram.jsx

@@ -0,0 +1,680 @@
+import React, { useState, useCallback, useRef } from "react";
+
+const CAP  = 4;
+const MASK = CAP - 1;
+
+const COLOR = {
+  write:   "#1D9E75",
+  read:    "#378ADD",
+  fail:    "#E24B4A",
+  neutral: "#888780",
+  stale:   "#C0BDB4",
+};
+
+function initState() {
+  return {
+    buf:  Array(CAP).fill(null),   // actual slot contents — never cleared by consumers
+    live: Array(CAP).fill(false),  // is slot logically occupied (cIdx ≤ slot < pIdx)?
+    pIdx: 0,
+    cIdx: 0,
+  };
+}
+
+// ── Prose step summary ────────────────────────────────────────────────────────
+
+function stepDescription(calc) {
+  if (!calc) return null;
+
+  if (calc.op === "offer") {
+    if (calc.size >= CAP) {
+      return {
+        color: COLOR.fail,
+        paragraphs: [
+          `The producer reads pIdx = ${calc.pIdx} with a plain load — no CAS is needed ` +
+          `since there is exactly one producer. It reads cIdx = ${calc.cIdx} to check capacity. ` +
+          `The occupancy pIdx − cIdx = ${calc.size} equals the buffer capacity (${CAP}), ` +
+          `so every slot holds an unconsumed element.`,
+
+          `offer() returns false immediately. No slot is written and pIdx stays at ${calc.pIdx}.`,
+        ],
+      };
+    } else {
+      return {
+        color: COLOR.write,
+        paragraphs: [
+          `The producer reads pIdx = ${calc.pIdx} with a plain load — no CAS is needed ` +
+          `since there is exactly one producer. The occupancy pIdx − cIdx = ${calc.size} ` +
+          `is less than the capacity (${CAP}), so there is at least one free slot. ` +
+          `The target slot is computed as pIdx & mask = ${calc.pIdx} & ${MASK} = ${calc.slot}.`,
+
+          `The producer first writes the element into buf[${calc.slot}] with a release store, ` +
+          `then advances pIdx from ${calc.pIdx} to ${calc.pIdx + 1} with a second release store. ` +
+          `The ordering matters: pIdx is advanced last. A consumer that reads pIdx = ${calc.pIdx + 1} ` +
+          `with an acquire load is guaranteed to also see the element already sitting in buf[${calc.slot}].`,
+        ],
+      };
+    }
+  } else {
+    if (calc.size === 0) {
+      return {
+        color: COLOR.fail,
+        paragraphs: [
+          `A consumer reads cIdx = ${calc.cIdx} (volatile) and pIdx = ${calc.pIdx} (acquire). ` +
+          `Since pIdx equals cIdx, the buffer contains no elements. ` +
+          `take() returns null immediately — no CAS is attempted and cIdx stays at ${calc.cIdx}.`,
+        ],
+      };
+    } else {
+      return {
+        color: COLOR.read,
+        paragraphs: [
+          `A consumer reads cIdx = ${calc.cIdx} (volatile) and pIdx = ${calc.pIdx} (acquire). ` +
+          `Since pIdx (${calc.pIdx}) > cIdx (${calc.cIdx}), the buffer is not empty. ` +
+          `The slot is computed as cIdx & mask = ${calc.cIdx} & ${MASK} = ${calc.slot}.`,
+
+          `The consumer reads buf[${calc.slot}] = "${calc.element}" BEFORE attempting the CAS. ` +
+          `This ordering is critical: once the CAS advances cIdx to ${calc.cIdx + 1}, ` +
+          `the producer is permitted to overwrite slot ${calc.slot} on its next lap. ` +
+          `Reading first ensures the consumer captures the value while it is still exclusively theirs.`,
+
+          `The CAS on cIdx from ${calc.cIdx} to ${calc.cIdx + 1} succeeds. ` +
+          `Unlike MPSC, buf[${calc.slot}] is NOT cleared — the slot retains "${calc.element}" ` +
+          `until the producer wraps around and overwrites it. ` +
+          `Element validity is determined by comparing pIdx and cIdx, never by null-checking slots.`,
+        ],
+      };
+    }
+  }
+}
+
+function StepDescription({ calc }) {
+  const desc = stepDescription(calc);
+
+  if (!desc) return (
+    <div style={{
+      margin: "6px 0 4px", borderRadius: 8,
+      border: "1px solid #e8e6df", background: "#f5f4f0",
+      padding: "10px 14px", fontSize: 12,
+      color: "#ccc", textAlign: "center", fontStyle: "italic",
+    }}>
+      step summary will appear here after each operation
+    </div>
+  );
+
+  return (
+    <div style={{
+      margin: "6px 0 4px", borderRadius: 8,
+      border: `1px solid ${desc.color}22`,
+      background: `${desc.color}08`,
+      padding: "10px 14px",
+    }}>
+      {desc.paragraphs.map((p, i) => (
+        <p key={i} style={{
+          margin: i < desc.paragraphs.length - 1 ? "0 0 6px" : "0",
+          fontSize: 12.5, lineHeight: 1.65, color: "#444",
+        }}>
+          {p}
+        </p>
+      ))}
+    </div>
+  );
+}
+
+// ── Algorithm trace panel ─────────────────────────────────────────────────────
+
+function CalcPanel({ calc }) {
+  if (!calc) return (
+    <div style={{
+      margin: "6px 0 0", borderRadius: 8,
+      border: "1px solid #e8e6df", background: "#f5f4f0",
+      padding: "10px 14px", fontSize: 11,
+      fontFamily: "monospace", color: "#ccc", textAlign: "center",
+    }}>
+      algorithm trace will appear here after each operation
+    </div>
+  );
+
+  const isOffer = calc.op === "offer";
+  const opColor = isOffer ? COLOR.write : COLOR.read;
+
+  let rows;
+  let decisionColor;
+  let decisionText;
+
+  if (isOffer) {
+    const full = calc.size >= CAP;
+    rows = [
+      {
+        label: "pIdx",
+        expr:  "pIdx",
+        val:   String(calc.pIdx),
+        note:  "plain read — single producer, no CAS needed",
+        hi:    false,
+      },
+      {
+        label: "cIdx",
+        expr:  "cIdx",
+        val:   String(calc.cIdx),
+        note:  "read to check capacity",
+        hi:    false,
+      },
+      {
+        label: "size",
+        expr:  "pIdx − cIdx",
+        val:   String(calc.size),
+        note:  `${calc.pIdx} − ${calc.cIdx} = ${calc.size}   (current occupancy)`,
+        hi:    true,
+      },
+      ...(!full ? [{
+        label: "slot",
+        expr:  "pIdx & mask",
+        val:   String(calc.slot),
+        note:  `${calc.pIdx} & ${MASK} = ${calc.slot}   (bitmask replaces mod)`,
+        hi:    false,
+      }] : []),
+    ];
+    decisionColor = full ? COLOR.fail : COLOR.write;
+    decisionText  = full
+      ? `✗  size == cap  →  buffer FULL  →  return false`
+      : `✓  size < cap  →  write buf[${calc.slot}] (release), then pIdx ${calc.pIdx}→${calc.pIdx + 1} (release)  →  return true`;
+  } else {
+    const empty = calc.size === 0;
+    rows = [
+      {
+        label: "cIdx",
+        expr:  "cIdx",
+        val:   String(calc.cIdx),
+        note:  "volatile read — any consumer thread may hold this",
+        hi:    false,
+      },
+      {
+        label: "pIdx",
+        expr:  "pIdx",
+        val:   String(calc.pIdx),
+        note:  "acquire read — sees all writes up to this pIdx",
+        hi:    false,
+      },
+      {
+        label: "size",
+        expr:  "pIdx − cIdx",
+        val:   String(calc.size),
+        note:  `${calc.pIdx} − ${calc.cIdx} = ${calc.size}   (${empty ? "== 0 → empty" : "> 0 → not empty"})`,
+        hi:    true,
+      },
+      ...(!empty ? [
+        {
+          label: "slot",
+          expr:  "cIdx & mask",
+          val:   String(calc.slot),
+          note:  `${calc.cIdx} & ${MASK} = ${calc.slot}   (bitmask replaces mod)`,
+          hi:    false,
+        },
+        {
+          label: "element",
+          expr:  "buf[slot]",
+          val:   `"${calc.element}"`,
+          note:  `read BEFORE CAS — once cIdx advances, producer may overwrite slot ${calc.slot}`,
+          hi:    true,
+        },
+      ] : []),
+    ];
+    decisionColor = empty ? COLOR.fail : COLOR.read;
+    decisionText  = empty
+      ? `✗  pIdx == cIdx  →  buffer EMPTY  →  return null`
+      : `✓  element captured  →  CAS cIdx ${calc.cIdx}→${calc.cIdx + 1}  →  return "${calc.element}"  (buf[${calc.slot}] not cleared)`;
+  }
+
+  return (
+    <div style={{
+      margin: "6px 0 0", borderRadius: 8,
+      border: `1px solid ${opColor}30`,
+      overflow: "hidden", fontSize: 12,
+    }}>
+      <div style={{
+        background: `${opColor}14`, padding: "5px 12px",
+        display: "flex", alignItems: "center", gap: 8,
+        borderBottom: `1px solid ${opColor}20`,
+      }}>
+        <span style={{ color: opColor, fontFamily: "monospace", fontWeight: 700, fontSize: 12 }}>
+          {isOffer ? "offer()" : "take()"}
+        </span>
+        <span style={{ color: "#bbb", fontSize: 11 }}>— algorithm trace</span>
+      </div>
+
+      {rows.map((r, i) => (
+        <div key={i} style={{
+          display: "grid",
+          gridTemplateColumns: "58px 140px 52px 1fr",
+          alignItems: "center",
+          padding: "4px 12px",
+          borderBottom: i < rows.length - 1 ? "1px solid #f0ede6" : "none",
+          background: r.hi ? `${opColor}0c` : "transparent",
+        }}>
+          <span style={{
+            fontFamily: "monospace", fontSize: 11,
+            fontWeight: r.hi ? 700 : 400,
+            color: r.hi ? opColor : "#aaa",
+          }}>
+            {r.label}
+          </span>
+          <span style={{ fontFamily: "monospace", fontSize: 11, color: "#ccc" }}>
+            = {r.expr}
+          </span>
+          <span style={{
+            fontFamily: "monospace", fontSize: 14, fontWeight: 700,
+            color: r.hi ? decisionColor : "#555",
+            textAlign: "right", paddingRight: 10,
+          }}>
+            {r.val}
+          </span>
+          <span style={{
+            fontFamily: "monospace", fontSize: 10,
+            color: r.hi ? decisionColor + "aa" : "#d8d5cc",
+          }}>
+            {r.note}
+          </span>
+        </div>
+      ))}
+
+      <div style={{
+        padding: "6px 12px",
+        background: `${decisionColor}10`,
+        borderTop: `1px solid ${decisionColor}28`,
+        fontFamily: "monospace", fontSize: 11,
+        fontWeight: 600, color: decisionColor,
+      }}>
+        {decisionText}
+      </div>
+    </div>
+  );
+}
+
+// ── SVG ring diagram ──────────────────────────────────────────────────────────
+
+function RingDiagram({ buf, live, pIdx, cIdx, hiSlots, hiColor }) {
+  const size  = pIdx - cIdx;
+  const pSlot = pIdx & MASK;
+  const cSlot = cIdx & MASK;
+  const same  = pSlot === cSlot;
+
+  const SX = [56, 186, 316, 446];
+  const SW = 106, SH = 78, SY = 30;
+  const bot = SY + SH;
+
+  const pCX = SX[pSlot] + SW / 2;
+  const cCX = SX[cSlot] + SW / 2;
+  const pX  = same ? pCX - 28 : pCX;
+  const cX  = same ? cCX + 28 : cCX;
+
+  const szColor = size === CAP ? COLOR.fail : COLOR.neutral;
+
+  const statItems = [
+    { label: "size", val: `${size} / ${CAP}`, col: szColor     },
+    { label: "pIdx", val: `${pIdx}`,           col: COLOR.write },
+    { label: "cIdx", val: `${cIdx}`,           col: COLOR.read  },
+  ];
+
+  return (
+    <svg viewBox="0 0 608 210" style={{ width: "100%", display: "block" }}>
+      <defs>
+        <marker id="arr-spmc" viewBox="0 0 10 10" refX="8" refY="5"
+          markerWidth="5" markerHeight="5" orient="auto-start-reverse">
+          <path d="M2 1L8 5L2 9" fill="none" stroke="context-stroke"
+            strokeWidth="1.5" strokeLinecap="round" strokeLinejoin="round" />
+        </marker>
+      </defs>
+
+      {SX.map((x, i) => {
+        const hi      = hiSlots?.includes(i);
+        const val     = buf[i];
+        const isLive  = live[i];
+        const isStale = !isLive && val !== null;
+        const col     = hi ? hiColor : undefined;
+
+        const valText  = val ?? "—";
+        const valColor = hi
+          ? hiColor
+          : isLive
+          ? COLOR.write
+          : isStale
+          ? COLOR.stale
+          : "#ccc";
+
+        const borderColor  = hi ? col : isLive ? "#aaa" : "#d4d2c8";
+        const borderWidth  = hi ? 1.5 : 0.5;
+        const fillColor    = hi
+          ? col + "18"
+          : isStale
+          ? "#f8f7f4"
+          : "var(--slot-bg, #f5f5f3)";
+
+        return (
+          <g key={i}>
+            <rect x={x} y={SY} width={SW} height={SH} rx="8"
+              fill={fillColor}
+              stroke={borderColor}
+              strokeWidth={borderWidth}
+              strokeDasharray={isStale && !hi ? "4 3" : undefined} />
+
+            {/* Slot label */}
+            <text x={x + SW / 2} y={SY + 11} textAnchor="middle"
+              dominantBaseline="central"
+              fontSize="10" fill="#888" fontFamily="monospace">
+              slot {i}
+            </text>
+
+            {/* Value */}
+            <text x={x + SW / 2} y={SY + SH / 2 + (isStale ? 0 : 4)} textAnchor="middle"
+              dominantBaseline="central"
+              fontSize={val ? 20 : 13} fontWeight={isLive ? "600" : "400"}
+              fontFamily={val ? "monospace" : "sans-serif"}
+              fill={valColor}>
+              {valText}
+            </text>
+
+            {/* "stale" badge for consumed-but-not-overwritten slots */}
+            {isStale && !hi && (
+              <text x={x + SW / 2} y={SY + SH - 10} textAnchor="middle"
+                dominantBaseline="central"
+                fontSize="9" fill={COLOR.stale} fontFamily="monospace">
+                stale
+              </text>
+            )}
+          </g>
+        );
+      })}
+
+      {/* pIdx arrow */}
+      <line x1={pX} y1={bot + 2} x2={pX} y2={bot + 12}
+        stroke={COLOR.write} strokeWidth="1.5" markerEnd="url(#arr-spmc)" />
+      <text x={pX} y={bot + 24} textAnchor="middle" dominantBaseline="central"
+        fontSize="11" fontFamily="monospace" fill={COLOR.write}>
+        pIdx={pIdx}
+      </text>
+
+      {/* cIdx arrow */}
+      <line x1={cX} y1={bot + 2} x2={cX} y2={bot + 12}
+        stroke={COLOR.read} strokeWidth="1.5" markerEnd="url(#arr-spmc)" />
+      <text x={cX} y={bot + 24} textAnchor="middle" dominantBaseline="central"
+        fontSize="11" fontFamily="monospace" fill={COLOR.read}>
+        cIdx={cIdx}
+      </text>
+
+      {/* Stats */}
+      {statItems.map((s, n) => {
+        const sx = 100 + n * 200;
+        return (
+          <g key={n}>
+            <text x={sx} y={166} textAnchor="middle" dominantBaseline="central"
+              fontSize="9" fill="#aaa" fontFamily="sans-serif">
+              {s.label}
+            </text>
+            <text x={sx} y={182} textAnchor="middle" dominantBaseline="central"
+              fontSize="14" fontWeight="500" fontFamily="monospace" fill={s.col}>
+              {s.val}
+            </text>
+          </g>
+        );
+      })}
+
+      {/* Legend */}
+      {[
+        [COLOR.write,   "pIdx — single producer"],
+        [COLOR.read,    "cIdx — consumers (CAS)"],
+        [COLOR.stale,   "stale — consumed, not yet overwritten"],
+      ].map(([c, label], n) => (
+        <g key={n}>
+          <circle cx={34 + n * 192} cy={203} r="4" fill={c} />
+          <text x={44 + n * 192} y={203} dominantBaseline="central"
+            fontSize="10" fill="#999" fontFamily="sans-serif">
+            {label}
+          </text>
+        </g>
+      ))}
+    </svg>
+  );
+}
+
+// ── History log ───────────────────────────────────────────────────────────────
+
+function HistoryLog({ entries, currentIndex }) {
+  const bottomRef = useRef(null);
+
+  return (
+    <div style={{
+      maxHeight: 110, overflowY: "auto",
+      border: "1px solid #e0ded6", borderRadius: 8,
+      fontSize: 11, fontFamily: "monospace",
+    }}>
+      {entries.map((e, i) => {
+        const border = { write: COLOR.write, read: COLOR.read, fail: COLOR.fail }[e.kind] ?? "#ccc";
+        const isSelected = currentIndex === i;
+        return (
+          <div key={i} style={{
+            display: "flex", gap: 10, padding: "4px 10px",
+            borderLeft: `3px solid ${border}`,
+            borderBottom: i < entries.length - 1 ? "1px solid #f0ede6" : "none",
+            color: border,
+            background: isSelected ? `${border}0a` : "transparent",
+            fontWeight: isSelected ? 600 : 400,
+          }}>
+            <span style={{ color: "#bbb", minWidth: 32, fontSize: 10 }}>#{i + 1}</span>
+            <span style={{ flex: 1 }}>{e.msg}</span>
+          </div>
+        );
+      })}
+      <div ref={bottomRef} />
+    </div>
+  );
+}
+
+// ── Main component ────────────────────────────────────────────────────────────
+
+export default function SpmcRingBuffer() {
+  const [state,        setState]        = useState(initState);
+  const [input,        setInput]        = useState("A");
+  const [history,      setHistory]      = useState([{
+    msg: "initial state", kind: "neutral",
+    stateSnapshot: initState(), calcSnapshot: null,
+  }]);
+  const [hi,           setHi]           = useState({ slots: null, color: null });
+  const [calc,         setCalc]         = useState(null);
+  const [historyIndex, setHistoryIndex] = useState(-1);
+
+  function addLog(msg, kind, stateSnapshot, calcSnapshot) {
+    setHistory(h => [...h, { msg, kind, stateSnapshot, calcSnapshot }]);
+  }
+
+  const displayedState = historyIndex >= 0 ? history[historyIndex].stateSnapshot : state;
+
+  const goBack = useCallback(() => {
+    setHistoryIndex(i => {
+      const next = i === -1 ? history.length - 1 : Math.max(0, i - 1);
+      setCalc(history[next].calcSnapshot);
+      return next;
+    });
+  }, [history]);
+
+  const goForward = useCallback(() => {
+    setHistoryIndex(i => {
+      const next = i === history.length - 1 ? -1 : Math.min(history.length - 1, i + 1);
+      if (next >= 0) setCalc(history[next].calcSnapshot);
+      else           setCalc(null);
+      return next;
+    });
+  }, [history]);
+
+  const doOffer = useCallback(() => {
+    const val = input.trim();
+    if (!val) return;
+
+    setState(prev => {
+      const { buf, live, pIdx, cIdx } = prev;
+      const size = pIdx - cIdx;
+      const slot = pIdx & MASK;
+      const snap = { op: "offer", pIdx, cIdx, size, slot };
+      setCalc(snap);
+
+      if (size >= CAP) {
+        addLog(`offer("${val}") → false  [size=${size}  FULL]`, "fail", prev, snap);
+        setHi({ slots: [slot], color: COLOR.fail });
+        setHistoryIndex(-1);
+        return prev;
+      }
+
+      // Producer: write buf[slot], then release pIdx (ordering matters)
+      const newBuf  = [...buf];  newBuf[slot]  = val;
+      const newLive = [...live]; newLive[slot] = true;
+      const newState = { buf: newBuf, live: newLive, pIdx: pIdx + 1, cIdx };
+      addLog(
+        `offer("${val}") → true   [slot ${slot}  pIdx: ${pIdx}→${pIdx + 1}]`,
+        "write", newState, snap,
+      );
+      setHi({ slots: [slot], color: COLOR.write });
+      if (val.length === 1 && val >= "A" && val < "Z")
+        setInput(String.fromCharCode(val.charCodeAt(0) + 1));
+      setHistoryIndex(-1);
+      return newState;
+    });
+  }, [input]);
+
+  const doTake = useCallback(() => {
+    setState(prev => {
+      const { buf, live, pIdx, cIdx } = prev;
+      const size    = pIdx - cIdx;
+      const slot    = cIdx & MASK;
+      const element = buf[slot]; // read BEFORE CAS
+
+      const snap = { op: "take", cIdx, pIdx, size, slot, element };
+      setCalc(snap);
+
+      if (size === 0) {
+        addLog(`take() → null   [pIdx=${pIdx}  cIdx=${cIdx}  EMPTY]`, "fail", prev, snap);
+        setHi({ slots: [slot], color: COLOR.fail });
+        setHistoryIndex(-1);
+        return prev;
+      }
+
+      // CAS succeeds (single-threaded sim). buf[slot] is NOT cleared — mark stale only.
+      const newLive = [...live]; newLive[slot] = false;
+      const newState = { buf, live: newLive, pIdx, cIdx: cIdx + 1 }; // buf unchanged!
+      addLog(
+        `take() → "${element}"   [slot ${slot}  cIdx: ${cIdx}→${cIdx + 1}  buf[${slot}] kept]`,
+        "read", newState, snap,
+      );
+      setHi({ slots: [slot], color: COLOR.read });
+      setHistoryIndex(-1);
+      return newState;
+    });
+  }, []);
+
+  const doReset = useCallback(() => {
+    setState(initState());
+    setInput("A");
+    setHistory([{ msg: "initial state", kind: "neutral", stateSnapshot: initState(), calcSnapshot: null }]);
+    setHi({ slots: null, color: null });
+    setCalc(null);
+    setHistoryIndex(-1);
+  }, []);
+
+  const s = {
+    wrap: {
+      fontFamily: "sans-serif",
+      border: "1px solid #e0ded6", borderRadius: 12,
+      padding: "16px 16px 12px", background: "#fafaf8",
+      maxWidth: 680, margin: "1.5rem auto",
+    },
+    heading: {
+      fontSize: 13, fontWeight: 600, letterSpacing: "0.04em",
+      textTransform: "uppercase", color: "#888",
+      marginBottom: 12, textAlign: "center",
+    },
+    controls: {
+      display: "flex", alignItems: "center", gap: 8,
+      justifyContent: "center", flexWrap: "wrap", marginBottom: 6,
+    },
+    input: {
+      padding: "6px 10px", borderRadius: 8,
+      border: "1px solid #d4d2c8", background: "#fff",
+      fontSize: 13, fontFamily: "monospace", width: 110,
+      outline: "none", color: "#333",
+    },
+    btnOffer: {
+      padding: "6px 18px", borderRadius: 8, border: "none",
+      background: COLOR.write, color: "#fff",
+      fontSize: 13, fontWeight: 600, cursor: "pointer",
+    },
+    btnTake: {
+      padding: "6px 18px", borderRadius: 8, border: "none",
+      background: COLOR.read, color: "#fff",
+      fontSize: 13, fontWeight: 600, cursor: "pointer",
+    },
+    btnReset: {
+      padding: "6px 14px", borderRadius: 8,
+      border: "1px solid #d4d2c8", background: "transparent",
+      color: "#888", fontSize: 13, cursor: "pointer",
+    },
+    btnNav: (disabled) => ({
+      padding: "6px 12px", borderRadius: 8,
+      border: `1px solid ${disabled ? "#e8e6df" : "#d4d2c8"}`, background: "transparent",
+      color: disabled ? "#ccc" : "#888", fontSize: 13,
+      cursor: disabled ? "default" : "pointer", opacity: disabled ? 0.5 : 1,
+    }),
+    sectionLabel: { fontSize: 11, color: "#bbb", marginBottom: 4, paddingLeft: 4 },
+    hint: {
+      fontSize: 11, textAlign: "center", color: "#aaa",
+      marginTop: 8, lineHeight: 1.6,
+    },
+  };
+
+  return (
+    <div style={s.wrap}>
+      <div style={s.heading}>SPMC Ring Buffer · Capacity 4</div>
+
+      <div style={s.controls}>
+        <input
+          style={s.input} value={input} maxLength={6} placeholder='e.g. "A"'
+          onChange={e => setInput(e.target.value)}
+          onKeyDown={e => e.key === "Enter" && doOffer()}
+        />
+        <button style={s.btnOffer} onClick={doOffer}>Offer →</button>
+        <button style={s.btnTake}  onClick={doTake}>← Take</button>
+        <button style={s.btnReset} onClick={doReset}>Reset</button>
+        <button style={s.btnNav(historyIndex === 0)}  onClick={goBack}    disabled={historyIndex === 0}>← Back</button>
+        <button style={s.btnNav(historyIndex === -1)} onClick={goForward} disabled={historyIndex === -1}>Forward →</button>
+      </div>
+
+      <RingDiagram
+        buf={displayedState.buf}
+        live={displayedState.live}
+        pIdx={displayedState.pIdx}
+        cIdx={displayedState.cIdx}
+        hiSlots={hi.slots}
+        hiColor={hi.color}
+      />
+
+      <div style={{ marginTop: 8 }}>
+        <div style={s.sectionLabel}>Step summary</div>
+        <StepDescription calc={calc} />
+      </div>
+
+      <div style={{ marginTop: 8 }}>
+        <div style={s.sectionLabel}>Algorithm trace</div>
+        <CalcPanel calc={calc} />
+      </div>
+
+      <div style={{ marginTop: 8 }}>
+        <div style={s.sectionLabel}>Operation history</div>
+        <HistoryLog entries={history} currentIndex={historyIndex} />
+      </div>
+
+      <div style={s.hint}>
+        Type any label ·{" "}
+        <strong style={{ color: COLOR.write }}>Offer</strong> to enqueue (single producer) ·{" "}
+        <strong style={{ color: COLOR.read }}>Take</strong> to dequeue (any consumer, CAS) ·{" "}
+        <strong style={{ color: COLOR.stale }}>stale</strong> slots show why consumers read before CAS ·
+        use Back / Forward to replay any step
+      </div>
+    </div>
+  );
+}