quantlab-factor-agent 0.1.0__py3-none-any.whl

factor_agent/web/run_view.py

@@ -0,0 +1,329 @@
+"""Read a run directory as the frontend shows it, without writing to it.
+
+``list_runs(root)`` finds every run directory under a folder: a directory
+holding a ``snapshot.json``, which a campaign writes on its first start,
+before its first round. ``RunView.read(run_dir)`` reads one run. Callers
+never see the run directory's files; this module and its private modules
+alone know them, and read them while a campaign may be writing them:
+
+- The state file decides how many rounds are written. The campaign appends
+  a round's trials to the ledger before it rewrites the state, so ledger
+  rounds beyond the state's count are not read until the state catches up,
+  and a ledger line a crash cut short is skipped.
+- NaN and infinite values in the ledger (a correlation with an empty pool,
+  say) read as ``None``, so a view converts to strict JSON.
+- The run list reads of each run only what it shows; a run whose files
+  cannot be read is listed as unreadable, with the reason.
+- The events file (``factor_agent.events``) tells what the run is doing:
+  its phase, its calls and their tokens, its process, and the settings it
+  was opened with. A run a campaign without events wrote has none of this
+  but the calls of its round in progress, counted from its call files.
+- The round in progress is replayed from the events since the run was
+  last opened: its calls, and a pending trial per slot of its plan. A
+  round a resume dropped left its events before the resume, so it is not
+  among them. A run without events has no round in progress to show.
+- An LLM call is read by the number of its call file, from the file
+  itself: tokens, truncation and the model's reasoning are the provider's
+  reply's; what it concerned (round, slots) only the events file says.
+- A resumed run keeps the stop of its previous open in its state file until
+  it stops again. With events, a stop counts only when a stop event follows
+  the latest start or resume. Without, it counts only when the state file
+  was written after the run's latest open and no LLM call ended after it: a
+  resumed run that has asked the LLM since, or has written no state since
+  it was opened, has not stopped.
+- A round's t threshold (one per round, since a round's candidates are
+  judged at the same trial count) is the one its admission events give.
+  Without them it is the one its refusals quote, carried over from the
+  round before when the round quotes none; an accepted factor says which.
+  The correlation limit is the one the run was last opened with, or without
+  events the one a refusal quotes. Either is ``None`` while nothing gives it.
+- The process that opened the run last is looked for only on the host it
+  ran on; on another host it is unknown, never gone.
+- An Acceptance report is ``acceptance/<segment>[_<digest>].json``; one that
+  records opens of the hold-out is a hold-out report. The opens are the hold-out
+  lock's. A report written before the contribution table or the selection
+  flag existed reads with ``None`` for them: nothing it lacks is made up.
+- A collision is read from a refusal's text: the Gate's rewrite, refinement
+  of parameters only or shared subtree is a code collision with each factor
+  it names, admission's correlation above the limit a ranking collision. The
+  Gate's refusal of a duplicate of the run's own earlier candidate is not.
+- The diagnosis is read from the trials by rules private to this package,
+  their thresholds fixed there, each finding counting trials (not attempts:
+  a trial is counted once whichever of its versions met the problem).
+- A trial the Evaluator scored is placed on the admission map by its
+  partial-IC t in its direction (the sign of its training IC, as admission
+  reads it) and its largest absolute correlation with an existing factor.
+  The trials it never scored are grouped by the stage that refused them and
+  the reason: reasons that differ only in their numbers, or in the reply or
+  code they quote, are one reason.
+- A trial, and an accepted factor, is intraday when the graph the Gate
+  built for it holds a session aggregation: an operator of the run's
+  snapshotted operator file whose class is a ``SessionAggregation``. A run
+  whose snapshot records no intraday dataset has none.
+- The memory's versions are the distiller's files ``memory/round_NN.md``,
+  each written before round ``NN``, so after round ``NN - 1``. A version
+  after the first is compared with the one before it line by line.
+"""
+
+from collections.abc import Iterator
+from contextlib import contextmanager
+from dataclasses import dataclass
+from datetime import datetime, timezone
+from pathlib import Path
+
+from factor_agent import events
+from factor_agent.web._config import ConfigCopy, RunFiles, SnapshotFile, read_files
+from factor_agent.web._ic import TrialIC, read_ic
+from factor_agent.web._acceptance import AcceptanceReports, Comparison, Contribution, HoldoutOpen, acceptance
+from factor_agent.web._diagnosis import Finding, diagnosis
+from factor_agent.web._files import LineChange, Replayed, read_json, utc, written
+from factor_agent.web._health import (
+    RECENT_ROUNDS, STALL_ASKING, Health, RoundTokens, Stop, Tokens, health, process_state, stop,
+)
+from factor_agent.web._ledger import (
+    Collision, Neighbour, Trial, aggregations, correlation_limit, read_trials, statuses,
+)
+from factor_agent.web._memory import MemoryLine, MemoryVersion, memory
+from factor_agent.web._results import Factor, factors
+from factor_agent.web._round import Check, LLMCall, PendingTrial, RoundCall, RunningRound, read_call, running
+from factor_agent.web._trials import Placed, Refusal, TrialRef, trials_page
+
+__all__ = [
+    "RECENT_ROUNDS", "STALL_ASKING", "AcceptanceReports", "AdmissionLimits", "Check", "Collision", "Comparison",
+    "ConfigCopy", "Contribution", "Factor", "Finding", "Health", "HoldoutOpen", "LLMCall", "LineChange", "MemoryLine",
+    "MemoryVersion", "Neighbour",
+    "PendingTrial", "Placed", "Refusal", "RoundCall", "RoundTokens", "RunFiles", "RunSummary", "RunView", "RunningRound", "SnapshotFile", "Stop",
+    "Tokens", "Trial", "TrialIC", "TrialRef", "find_run", "list_runs", "read_call", "read_files", "read_ic", "run_version",
+]
+
+
+@dataclass(frozen=True)
+class AdmissionLimits:
+    """The least coverage and decile monotonicity admission required, as the run's last start recorded them."""
+
+    min_coverage: float
+    min_monotonicity: float
+
+
+@dataclass(frozen=True)
+class RunSummary:
+    """What the run list shows of a run.
+
+    ``name`` is the run directory's path relative to the listed folder
+    (the folder's own name when the folder is the run directory).
+    ``code_version`` is the commit of this package the run was last opened
+    with, ``"unknown"`` when it could not be read. ``rounds`` counts the
+    written rounds, ``trials`` and ``accepted`` their trials and accepted
+    ones. ``stop`` is ``None`` while the run has not stopped, or crashed
+    without stopping. ``updated`` is the time of the run's last write (UTC).
+    ``unreadable`` says which file of the run could not be read and why,
+    for a run the list could not read (its counts are then 0); ``None``
+    for any other. ``state`` is ``"stopped"``, ``"running"`` while the
+    process that opened it last still runs, ``"crashed"`` once that process
+    exited without recording a stop, or ``"unknown"`` when the process cannot
+    be checked: a run without an events file, or opened on another host.
+    ``max_rounds`` is its round limit, ``None`` without an events file.
+    """
+
+    name: str
+    code_version: str
+    rounds: int
+    trials: int
+    accepted: int
+    stop: Stop | None
+    updated: datetime
+    unreadable: str | None = None
+    state: str = "unknown"
+    max_rounds: int | None = None
+
+
+@dataclass(frozen=True)
+class RunView:
+    """A read-only snapshot of one run: its summary, the trials of its written rounds, its accepted factors and its memory.
+
+    ``factors`` holds the accepted factors in the order they were accepted
+    (by round, then slot). ``correlation_limit`` is the largest absolute
+    correlation with an existing factor that admission allows: the one the
+    run was last opened with, or for a run without events the one its
+    latest refusal for it quotes, ``None`` while nothing gives it.
+    ``admission`` holds the least coverage and monotonicity admission
+    required, from the run's last start; ``None`` for a run without events.
+    ``evaluated`` places every trial the Evaluator scored, in round and slot
+    order, and ``threshold`` is the t threshold of the latest round (see the
+    module's notes), ``None`` while nothing gives it.
+    ``never_evaluated`` groups the trials it never scored, by stage (parse,
+    Gate, review, then evaluation) and then by the first round of each reason.
+    ``memory`` holds the versions of the memory by the round after which
+    they were written, the earliest first; it is empty while the distiller
+    has written none. ``acceptance`` holds the run's Acceptance reports and
+    hold-out opens. ``diagnosis`` holds at most three findings, the one
+    concerning the most trials first; it is empty when no rule holds.
+    ``health`` is what the run is doing now, and ``running`` the round in
+    progress: ``None`` when the run has stopped, or has no events file (its
+    health then counts the round's calls by role). ``now`` is the time the
+    view describes (UTC).
+    """
+
+    summary: RunSummary
+    trials: tuple[Trial, ...]
+    factors: tuple[Factor, ...]
+    correlation_limit: float | None
+    evaluated: tuple[Placed, ...]
+    threshold: float | None
+    never_evaluated: tuple[Refusal, ...]
+    memory: tuple[MemoryVersion, ...]
+    acceptance: AcceptanceReports
+    diagnosis: tuple[Finding, ...]
+    admission: AdmissionLimits | None
+    health: Health
+    running: RunningRound | None
+    now: datetime
+
+    @classmethod
+    def read(cls, run_dir: str | Path, now: datetime | None = None, name: str | None = None) -> "RunView":
+        """Read the run in ``run_dir``.
+
+        Parameters
+        ----------
+        run_dir : str or Path
+            A run directory: one holding a ``snapshot.json``.
+        now : datetime, optional
+            The time the view describes; the current time by default.
+        name : str, optional
+            The run's name in the view; the directory's name by default.
+
+        Returns
+        -------
+        RunView
+
+        Raises
+        ------
+        FileNotFoundError
+            When ``run_dir`` holds no ``snapshot.json``.
+        """
+        run_dir = Path(run_dir)
+        if not (run_dir / "snapshot.json").is_file():
+            raise FileNotFoundError(f"web: {run_dir} is not a run directory: it holds no snapshot.json")
+        now = now or datetime.now(timezone.utc)
+        state = read_json(run_dir / "state.json") or {}
+        trials = read_trials(run_dir / "ledger.jsonl", state.get("rounds", 0), aggregations(run_dir))
+        replayed = Replayed.read(run_dir)
+        summary = _summary(run_dir, name or run_dir.name, state, replayed, [t.status for t in trials])
+        page = trials_page(trials, replayed)
+        return cls(
+            summary=summary, trials=trials, factors=factors(trials, replayed),
+            correlation_limit=correlation_limit(trials, replayed), evaluated=page.evaluated, threshold=page.threshold,
+            never_evaluated=page.never_evaluated, memory=memory(run_dir / "memory"), acceptance=acceptance(run_dir),
+            diagnosis=diagnosis(trials),
+            admission=AdmissionLimits(replayed.opened.min_coverage, replayed.opened.min_monotonicity)
+            if replayed.opened else None,
+            health=health(run_dir, state, summary.rounds, summary.trials, summary.stop is not None, replayed, now),
+            running=None if summary.stop else running(summary.rounds + 1, replayed), now=now,
+        )
+
+
+def _summary(run_dir: Path, name: str, state: dict, replayed: Replayed, written_statuses: list[str]) -> RunSummary:
+    """The summary of a run whose state file holds ``state`` and whose written trials have ``written_statuses``."""
+    versions = (read_json(run_dir / "snapshot.json") or {}).get("versions") or [{}]
+    stopped = stop(run_dir, state, versions[-1].get("opened_at"), replayed)
+    process = process_state(replayed.opened)
+    return RunSummary(
+        name=name, code_version=versions[-1].get("factor_agent") or "unknown", rounds=state.get("rounds", 0),
+        trials=len(written_statuses), accepted=written_statuses.count("accepted"),
+        stop=stopped, updated=utc(max(p.stat().st_mtime for p in written(run_dir))),
+        state="stopped" if stopped else {"running": "running", "gone": "crashed"}.get(process, "unknown"),
+        max_rounds=replayed.opened.max_rounds if replayed.opened else None,
+    )
+
+
+class _Unreadable(Exception):
+    """A run file the run list cannot read; the message names it and says why."""
+
+
+@contextmanager
+def _reading(path: Path) -> Iterator[None]:
+    """Turn a failure to read ``path`` (missing while listed, not JSON, of another shape) into ``_Unreadable``."""
+    try:
+        yield
+    except (OSError, ValueError, KeyError, TypeError, AttributeError) as exc:
+        raise _Unreadable(f"{path.name} cannot be read: {exc}") from exc
+
+
+def _listed(run_dir: Path, name: str) -> RunSummary:
+    """The run list's summary of a run: its state, ledger statuses and events only, or unreadable."""
+    try:
+        with _reading(run_dir / "state.json"):
+            state = read_json(run_dir / "state.json") or {}
+            rounds = state.get("rounds", 0)
+        with _reading(run_dir / "ledger.jsonl"):
+            found = statuses(run_dir / "ledger.jsonl", rounds)
+        with _reading(run_dir / events.FILE):
+            replayed = Replayed.read(run_dir)
+        with _reading(run_dir / "snapshot.json"):
+            return _summary(run_dir, name, state, replayed, found)
+    except _Unreadable as exc:
+        return RunSummary(name=name, code_version="unknown", rounds=0, trials=0, accepted=0, stop=None,
+                          updated=utc((run_dir / "snapshot.json").stat().st_mtime), unreadable=str(exc))
+
+
+def run_version(run_dir: str | Path) -> str:
+    """A text that changes whenever the run in ``run_dir`` writes, cheap to read: a page polls it before reading the run.
+
+    It is made of the modification times and sizes of the files a campaign
+    writes while it runs, and the number of its call files.
+    """
+    run_dir = Path(run_dir)
+    parts = []
+    for name in ("snapshot.json", "state.json", "ledger.jsonl", events.FILE, "llm_log", "memory", "acceptance",
+                 "holdout.lock"):
+        try:
+            stat = (run_dir / name).stat()
+        except FileNotFoundError:
+            parts.append("-")
+            continue
+        parts.append(f"{stat.st_mtime_ns}:{stat.st_size}")
+    return " ".join(parts)
+
+
+def list_runs(root: str | Path) -> list[RunSummary]:
+    """The runs under ``root``, the latest written first.
+
+    Each run is read only as far as its summary needs. A run whose files
+    cannot be read is listed with ``unreadable`` saying why, so one broken
+    run does not hide the others.
+
+    Parameters
+    ----------
+    root : str or Path
+        A folder of run directories, at any depth, or a run directory itself.
+
+    Returns
+    -------
+    list of RunSummary
+        One per run directory, named by its path relative to ``root``.
+    """
+    root = Path(root)
+    summaries = [_listed(d, name) for name, d in _run_dirs(root).items()]
+    return sorted(summaries, key=lambda s: s.updated, reverse=True)
+
+
+def find_run(root: str | Path, name: str) -> Path | None:
+    """The run directory ``list_runs(root)`` names ``name``, ``None`` when it names none so.
+
+    A name is the run's path under ``root``, so the run is looked up there without walking ``root``, which
+    may hold other work of many files; a name that leaves ``root`` names nothing.
+    """
+    root = Path(root)
+    if name == root.name and (root / "snapshot.json").is_file():
+        return root
+    parts = Path(name).parts
+    if not parts or Path(name).is_absolute() or ".." in parts:
+        return None
+    found = root / name
+    return found if (found / "snapshot.json").is_file() else None
+
+
+def _run_dirs(root: Path) -> dict[str, Path]:
+    """The run directories under ``root`` by their names."""
+    found = sorted({p.parent for p in root.rglob("snapshot.json") if p.is_file()})
+    return {d.relative_to(root).as_posix() if d != root else root.name: d for d in found}

factor_agent/web/static/assets/index-9QjjJgl3.css

@@ -0,0 +1 @@
+:root{--bg: #fbfbfa;--fg: #1d1d1b;--mut: #7a7a74;--line: #e4e3de;--card: #fff;--good: #1f8a4c;--bad: #c2410c;--fail: #9ca3af;--acc: #2557d6;font:14px/1.45 ui-sans-serif,system-ui,sans-serif;color-scheme:light dark}@media(prefers-color-scheme:dark){:root{--bg: #151514;--fg: #e8e7e2;--mut: #8f8e88;--line: #2c2c2a;--card: #1d1d1c;--acc: #7aa2ff }}*{box-sizing:border-box}body{margin:0;background:var(--bg);color:var(--fg)}a{color:var(--acc);text-decoration:none}.muted{color:var(--mut)}.error{color:var(--bad)}.mono{font-family:ui-monospace,monospace;font-size:12px}.top{padding:10px 16px;border-bottom:1px solid var(--line);position:sticky;top:0;background:var(--bg)}.top a{font-weight:600;color:var(--fg)}main{padding:16px;overflow-x:auto}.facts{margin-top:0}.run-list section{margin:4px 0 28px}.run-list h2{font-size:17px;margin:0 0 12px;overflow-wrap:anywhere}.run-cards{display:grid;grid-template-columns:repeat(auto-fill,minmax(230px,1fr));gap:12px}.run-card{display:grid;gap:6px;padding:14px;background:var(--card);color:var(--fg);text-decoration:none;border:1px solid var(--line);border-top:3px solid var(--line);border-radius:10px}a.run-card:hover{border-color:var(--acc)}.run-card.running{border-top-color:var(--good)}.run-card.crashed,.run-card.unreadable{border-top-color:var(--bad)}.run-card .head{display:flex;justify-content:space-between;align-items:center}.run-card .big{font-size:34px;font-weight:700;line-height:1}.run-card .big span{font-size:13px;font-weight:400;color:var(--mut)}.run-card .rate{height:5px;background:var(--line);border-radius:3px}.run-card .rate i{display:block;height:100%;background:var(--good);border-radius:3px}.pill{display:inline-flex;align-items:center;gap:5px;padding:1px 8px;border-radius:999px;font-size:12px;border:1px solid var(--line);color:var(--mut)}.pill.running{color:var(--good);border-color:color-mix(in srgb,var(--good) 50%,transparent)}.pill.crashed{color:var(--bad);border-color:color-mix(in srgb,var(--bad) 50%,transparent)}.pill .dot{width:7px;height:7px;border-radius:50%;background:var(--good);animation:blink 1.6s infinite}@keyframes blink{50%{opacity:.3}}.badge{font-size:12px;padding:1px 7px;border-radius:9px;border:1px solid currentColor;white-space:nowrap}.badge.accepted{color:var(--good)}.badge.rejected{color:var(--bad)}.badge.failed{color:var(--fail)}.badge.intraday{color:var(--acc)}.pages{display:flex;gap:14px;margin-bottom:12px}.pages a.here{color:var(--fg);font-weight:600}.memory-version{border:1px solid var(--line);background:var(--card);border-radius:6px;padding:8px 12px;margin-bottom:10px}.memory-version>summary{cursor:pointer;font-weight:600}pre.memory{font-family:ui-monospace,monospace;font-size:12px;white-space:pre-wrap;margin:6px 0}.memory-added{background:color-mix(in srgb,var(--good) 16%,transparent)}.memory-removed{background:color-mix(in srgb,var(--bad) 14%,transparent);text-decoration:line-through}.small{font-size:12px}button.link{background:none;border:0;padding:0;font:inherit;color:var(--acc);cursor:pointer;text-align:left}.sorts{display:flex;flex-wrap:wrap;align-items:baseline;gap:8px;margin:8px 0}.sorts h2{font-size:16px;margin:0 8px 0 0}.sorts button{font:inherit;font-size:12px;padding:2px 9px;border-radius:9px;border:1px solid var(--line);background:var(--card);color:var(--fg);cursor:pointer}.sorts button.on{border-color:var(--acc);color:var(--acc)}.factors{display:grid;grid-template-columns:repeat(auto-fill,minmax(min(100%,290px),1fr));gap:12px}.factor{border:1px solid var(--line);background:var(--card);border-radius:6px;padding:10px 12px;min-width:0}.factor.open{grid-column:1 / -1}.factor header{display:flex;justify-content:space-between;font-size:12px}.factor h3{font-size:14px;margin:4px 0 6px;overflow-wrap:anywhere}.factor .direction{font-weight:600;font-family:ui-monospace,monospace}.deciles{display:block;max-width:100%}.deciles .axis{stroke:var(--line)}.deciles .pos{fill:var(--good)}.deciles .neg{fill:var(--bad)}.margin{display:grid;grid-template-columns:auto 1fr;gap:2px 8px;align-items:center;margin:6px 0;font-size:12px}.margin small{grid-column:1 / -1;color:var(--mut)}.margin .bar{position:relative;height:6px;background:var(--line);border-radius:3px}.margin .bar i{position:absolute;left:0;top:0;bottom:0;background:var(--acc);border-radius:3px}.margin .bar em{position:absolute;top:-3px;bottom:-3px;width:2px;background:var(--fg)}dl.trust{display:grid;grid-template-columns:auto 1fr;gap:2px 10px;margin:6px 0 0;font-size:12px}dl.trust dt{color:var(--mut)}dl.trust dd{margin:0;overflow-wrap:anywhere}.write-up{border-top:1px solid var(--line);margin-top:10px;padding-top:4px;max-width:80ch}.write-up h4{margin:10px 0 2px;font-size:13px}.write-up p{margin:0}.write-up [title]{text-decoration:underline dotted;cursor:help}pre.code{font-family:ui-monospace,monospace;font-size:12px;white-space:pre-wrap;background:var(--bg);border:1px solid var(--line);border-radius:4px;padding:6px 8px;margin:0}.factor .margin,.factor dl.trust{max-width:420px}.verdict{display:flex;flex-wrap:wrap;gap:12px 24px;border:1px solid var(--line);border-left:4px solid var(--mut);background:var(--card);border-radius:6px;padding:10px 14px;margin:8px 0 16px}.verdict.improves{border-left-color:var(--good)}.verdict.does_not_improve{border-left-color:var(--bad)}.verdict.unjudged{display:block;border-left-color:var(--acc)}.verdict h2{font-size:18px;margin:0 0 6px}.verdict h3{font-size:13px;margin:10px 0 4px}.verdict p{margin:4px 0;max-width:80ch}.verdict .validation{flex:2 1 320px;min-width:0}.verdict .holdout{flex:1 1 260px;min-width:0;border-left:1px solid var(--line);padding-left:16px}.verdict .holdout.forced{border:2px solid var(--bad);border-radius:6px;padding:6px 12px}.verdict .warning{color:var(--bad);font-weight:600}.verdict code{font-family:ui-monospace,monospace;font-size:12px}table.comparison{border-collapse:collapse;font-size:12px;font-variant-numeric:tabular-nums}.comparison th,.comparison td{padding:2px 10px 2px 0;text-align:right;white-space:nowrap}.comparison th:first-child{text-align:left;font-weight:400;color:var(--mut)}.comparison thead th{color:var(--mut);font-weight:500}.up{color:var(--good)}.down{color:var(--bad)}ol.opens{margin:2px 0;padding-left:20px}dl.contribution{margin:6px 0 0;font-size:12px}dl.contribution>div{display:flex;gap:8px}dl.contribution dt{color:var(--mut);min-width:56px}dl.contribution dd{margin:0}.diagnosis{border:1px solid var(--line);border-radius:6px;padding:6px 12px;margin:8px 0 14px;max-width:80ch;font-size:13px}.diagnosis h2{font-size:13px;margin:2px 0 4px;color:var(--mut);font-weight:600}.diagnosis ul{list-style:none;margin:0;padding:0}.diagnosis li{padding:4px 0}.diagnosis li+li{border-top:1px solid var(--line)}.diagnosis p{margin:0}.diagnosis .do{color:var(--mut)}.diagnosis.prominent{border-color:var(--bad);border-left-width:4px;background:var(--card);padding:10px 14px;font-size:14px}.diagnosis.prominent h2{font-size:16px;color:var(--fg)}.diagnosis.prominent .seen{font-weight:600}.numbers{display:flex;flex-wrap:wrap;gap:6px 18px;align-items:baseline;margin-bottom:12px}.numbers b{font-size:16px}.numbers .good{color:var(--good)}.trials-page{display:grid;grid-template-columns:minmax(0,1fr) minmax(280px,380px);gap:16px;align-items:start}@media(max-width:900px){.trials-page{grid-template-columns:minmax(0,1fr)}}figure.admission{margin:0}figure.admission svg{width:100%;max-width:760px;height:auto;display:block}.admission .zone{fill:color-mix(in srgb,var(--good) 9%,transparent)}.admission .axis{stroke:var(--line)}.admission .limit{stroke:var(--mut);stroke-dasharray:4 3}.admission .label{fill:var(--mut);font-size:11px}.admission .point{cursor:pointer;stroke:var(--card);stroke-width:1}.admission .point.accepted,.key.accepted{fill:var(--good);color:var(--good)}.admission .point.rejected,.key.rejected{fill:var(--bad);color:var(--bad);fill-opacity:.7}.key.failed{color:var(--fail)}.admission .point.fresh{stroke:var(--acc);stroke-width:3}.admission .point.picked{stroke:var(--fg);stroke-width:2}.never h3{font-size:15px;margin:16px 0 4px}.never h4{font-size:13px;margin:10px 0 2px;font-weight:600}.never button.row{display:block;width:100%;color:var(--fg);padding:3px 6px;border-radius:4px;overflow-wrap:anywhere}.never button.row:hover,.never button.row.picked{background:color-mix(in srgb,var(--acc) 10%,transparent)}.never button.row.sub{padding-left:28px;font-size:12px}aside.reader{border:1px solid var(--line);background:var(--card);border-radius:6px;padding:10px 12px;position:sticky;top:52px;max-height:calc(100vh - 68px);overflow:auto}aside.reader h3{font-size:14px;margin:4px 0 6px;overflow-wrap:anywhere}aside.reader h4{margin:12px 0 2px;font-size:13px}aside.reader p{margin:4px 0}aside.reader .reason{font-size:12px;overflow-wrap:anywhere}aside.reader .hint{font-size:12px;color:var(--mut)}ol.versions{padding-left:18px;margin:4px 0}ol.versions li{margin-bottom:8px}.sorts button.select{margin-left:auto;border-color:var(--acc);color:var(--acc)}.selection h2{font-size:16px}.table-scroll{overflow-x:auto}table.pick{width:100%;border-collapse:collapse;font-size:12px;font-variant-numeric:tabular-nums}table.pick th{text-align:left;font-weight:600;color:var(--mut);border-bottom:1px solid var(--line);padding:4px 6px;white-space:nowrap}table.pick td{padding:4px 6px;border-bottom:1px solid var(--line);vertical-align:top}table.pick td.name{max-width:320px;overflow-wrap:anywhere}table.pick tr:not(.ticked):not(.opened) td{opacity:.5}table.pick tr.opened td{background:var(--card)}table.pick tr.opened h4{margin:6px 0 2px;font-size:12px}.holdout-state{padding:6px 10px;border-left:3px solid var(--line);margin:6px 0}.holdout-state.closed{border-left-color:var(--good)}.holdout-state.opened{border-left-color:var(--bad);color:var(--bad);font-weight:600}.calls{position:relative}.calls button{position:absolute;top:6px;right:6px;font:inherit;font-size:12px;padding:2px 9px;border-radius:9px;border:1px solid var(--line);background:var(--card);color:var(--fg);cursor:pointer}.health{margin:0 0 12px;padding:6px 10px;border:1px solid var(--line);border-radius:6px;background:var(--card)}.health p{margin:2px 0}.health .warn,.health b.warn{color:var(--bad)}.health details summary{cursor:pointer;color:var(--mut)}table.tokens{border-collapse:collapse;margin:4px 0}table.tokens th,table.tokens td{text-align:right;padding:1px 8px;border-bottom:1px solid var(--line)}table.tokens th{color:var(--mut);font-weight:500}section.round{border:1px solid var(--line);background:var(--card);border-radius:6px;padding:8px 12px;margin-bottom:12px}section.round h3{font-size:14px;margin:0 0 6px}.timeline .lane{display:flex;align-items:flex-start;gap:8px;padding:2px 0}.timeline .role{width:72px;flex:none;font-size:12px;line-height:16px;color:var(--mut)}.timeline .rows{flex:1;display:flex;flex-direction:column;gap:2px}.timeline .track{position:relative;height:16px;border-bottom:1px solid var(--line)}.timeline .mark{position:absolute;top:1px;height:14px;padding:0;border:0;border-radius:3px;background:var(--acc);cursor:pointer}.timeline .mark.out{background:color-mix(in srgb,var(--acc) 30%,transparent);outline:1px dashed var(--acc);cursor:default}.timeline .mark.failed{background:var(--bad);cursor:default}aside.reader .back{display:block;margin-bottom:6px}.timeline .mark.picked{outline:2px solid var(--fg);outline-offset:1px}.timeline .mark.evaluating{background:color-mix(in srgb,var(--good) 45%,transparent);cursor:default}.timeline .axis{display:flex;justify-content:space-between;margin-left:80px}details.pending>summary{cursor:pointer;margin-top:6px}details.pending .cards{display:flex;flex-wrap:wrap;gap:6px;margin-top:6px}details.pending .card{display:flex;flex-direction:column;align-items:flex-start;gap:1px;min-width:120px;padding:4px 8px;font:inherit;font-size:12px;color:var(--fg);background:var(--bg);border:1px solid var(--line);border-left:3px solid var(--mut);border-radius:4px;cursor:pointer;text-align:left}details.pending .card.picked{outline:2px solid var(--acc)}.st-proposed,.st-fixed,.st-rewritten{border-left-color:var(--acc)!important}.st-consistent{border-left-color:var(--good)!important}.st-inconsistent{border-left-color:var(--bad)!important}.card .stage,.badge.st-planned{color:var(--mut)}.badge.st-proposed,.badge.st-fixed,.badge.st-rewritten,.card.st-proposed .stage,.card.st-fixed .stage,.card.st-rewritten .stage{color:var(--acc)}.badge.st-consistent,.card.st-consistent .stage{color:var(--good)}.badge.st-inconsistent,.card.st-inconsistent .stage{color:var(--bad)}.badge[class*=st-]{border-left-color:currentColor!important}aside.reader .flag{color:var(--bad);font-weight:600;font-size:12px}aside.reader .good{color:var(--good)}aside.reader .bad{color:var(--bad)}aside.reader pre.code{white-space:pre-wrap;overflow-wrap:anywhere;max-height:50vh;overflow:auto}.pages button.pause{margin-left:auto;font:inherit;font-size:12px;padding:2px 10px;border-radius:9px;border:1px solid var(--line);background:var(--card);color:var(--fg);cursor:pointer}.pages button.pause.on{background:var(--acc);border-color:var(--acc);color:var(--bg)}.paused{position:sticky;top:41px;z-index:2;margin:0 0 12px;padding:6px 10px;border:1px solid var(--acc);border-radius:6px;background:color-mix(in srgb,var(--acc) 12%,var(--bg))}pre.yaml div{white-space:pre-wrap;padding-left:4.8em;text-indent:-4.8em}.y-no{display:inline-block;width:2.6em;margin-right:.8em;text-align:right;color:var(--mut);opacity:.6;-webkit-user-select:none;user-select:none;text-indent:0}.y-key{color:#2557d6}.y-colon{color:var(--mut)}.y-dash{color:#a16207}.y-string{color:#1f8a4c}.y-number{color:#b45309}.y-bool,.y-null{color:#9333ea}.y-flow{color:#0e7490}.y-block{color:var(--mut)}.y-comment{color:var(--mut);font-style:italic}@media(prefers-color-scheme:dark){.y-key{color:#7aa2ff}.y-string{color:#86d29b}.y-number{color:#f0a868}.y-bool,.y-null{color:#c4a2ff}.y-flow{color:#67c7d8}.y-dash{color:#e0b15a}}.y-fold{display:inline-block;width:1.2em;margin-right:.2em;padding:0;border:0;background:none;color:var(--mut);font:inherit;text-indent:0;cursor:pointer}span.y-fold{cursor:default}.y-fold:hover{color:var(--fg)}.y-folded{margin-left:.6em;padding:0 6px;border:1px solid var(--line);border-radius:4px;background:var(--card);color:var(--mut);font:inherit;font-size:11px;text-indent:0;cursor:pointer}.y-tools{display:flex;gap:8px;justify-content:flex-end;margin:0 0 4px}.y-tools button{padding:1px 8px;border:1px solid var(--line);border-radius:9px;background:var(--card);color:var(--fg);font:inherit;cursor:pointer}.files{display:grid;grid-template-columns:260px minmax(0,1fr);gap:16px;align-items:start}.files nav{display:grid;gap:4px;position:sticky;top:60px}.files nav button{display:grid;gap:2px;text-align:left;padding:8px 10px;background:none;border:1px solid transparent;border-radius:8px;color:var(--fg);font:inherit;cursor:pointer}.files nav button.here{background:var(--card);border-color:var(--line)}.files section h3{margin-top:0}@media(max-width:760px){.files{grid-template-columns:1fr}.files nav{position:static}}.checks{display:flex;flex-wrap:wrap;gap:6px;margin:4px 0 10px}.check{display:inline-flex;gap:5px;align-items:baseline;padding:2px 9px;border-radius:9px;border:1px solid currentColor;font-size:12px}.check .bar{color:var(--mut);font-size:11px}.check.pass{color:var(--good);background:color-mix(in srgb,var(--good) 10%,transparent)}.check.fail{color:var(--bad);background:color-mix(in srgb,var(--bad) 10%,transparent)}.check.unknown{color:var(--mut)}figure.chart{margin:6px 0 14px}figure.chart figcaption{font-size:12px;margin-bottom:4px}figure.chart svg{display:block;max-width:520px;overflow:visible}figure.chart .axis{stroke:var(--mut);stroke-width:1}figure.chart .grid{stroke:var(--line);stroke-width:1}figure.chart .tick{fill:var(--mut);font-size:9px;text-anchor:middle}figure.chart .tick.start{text-anchor:start}figure.chart rect.up{fill:var(--good)}figure.chart rect.down{fill:var(--bad)}figure.chart polyline{fill:none;stroke-width:1.6}figure.chart polyline.ic{stroke:var(--acc)}figure.chart polyline.partial{stroke:#b7791f;stroke-dasharray:5 3}figure.chart .key{font-weight:600}figure.chart .key.ic{color:var(--acc)}figure.chart .key.partial{color:#b7791f}