@miller-tech/uap 2.21.2 → 2.36.1

package/dist/models/plan-readability.js

@@ -0,0 +1,339 @@
+/**
+ * B1 · Plan comprehension gate — deterministic readability rules for
+ * markdown plan artifacts.
+ *
+ * After Lynch's "agents suck at communicating plans" (mtlynch.io,
+ * "Why Are Coding Agents So Dumb?"): agents enumerate low-level details and
+ * call it a plan. A competent developer starts at a high level and works
+ * toward the minutiae; a human reading the artifact top-down should be able to
+ * skim WHAT is being built before HOW. These rules are the deterministic floor
+ * under that expectation.
+ *
+ * Enforcement posture (mirrors `runPlanThoughtExperiment`'s adjudicated-hints
+ * contract in src/delivery/plan-check.ts): findings are HINTS the judge-model
+ * review confirms or dismisses on the merits — pattern-matched heuristics do
+ * not hard-block on their own. Operators who want deterministic teeth set
+ * `strict: true` (config or UAP_PLAN_READABILITY_STRICT=1): then error-severity
+ * findings fail `uap plan validate` outright, subject to the existing --force
+ * escape hatch.
+ */
+import { existsSync, readFileSync } from 'fs';
+import { join } from 'path';
+export const DEFAULT_PLAN_READABILITY = {
+    minSummaryWords: 20,
+    maxWordsPerSection: 300,
+    jargonDensityThreshold: 0.35,
+    requireDiagramAtTasks: 5,
+};
+/**
+ * Merge caller overrides, `.uap.json` `plan.readability`, and env kill
+ * switches over the defaults. Pure with respect to `partial`; env and config
+ * file reads happen here so the analysis itself stays pure and unit-testable.
+ */
+export function resolvePlanReadabilityConfig(partial, projectDir) {
+    let fromFile = {};
+    const dir = projectDir ?? process.cwd();
+    const configPath = join(dir, '.uap.json');
+    if (existsSync(configPath)) {
+        try {
+            const parsed = JSON.parse(readFileSync(configPath, 'utf-8'));
+            if (parsed?.plan?.readability && typeof parsed.plan.readability === 'object') {
+                fromFile = parsed.plan.readability;
+            }
+        }
+        catch {
+            // Config parse failure is non-fatal — defaults apply.
+        }
+    }
+    const merged = {
+        enabled: true,
+        strict: false,
+        ...DEFAULT_PLAN_READABILITY,
+        ...fromFile,
+        ...partial,
+    };
+    if (process.env.UAP_PLAN_READABILITY === '0')
+        merged.enabled = false;
+    if (process.env.UAP_PLAN_READABILITY_STRICT === '1')
+        merged.strict = true;
+    return merged;
+}
+const HEADING_RE = /^(#{1,6}) (.+)$/;
+const FENCE_RE = /^\s*(```|~~~)/;
+const CHECKBOX_RE = /^\s*[-*]\s+\[[ xX]\]\s+/;
+const ORDERED_RE = /^\s*\d+[.)]\s+/;
+const IMAGE_RE = /!\[[^\]]*\]\(/;
+const MERMAID_FENCE_RE = /^\s*(```|~~~)\s*mermaid\b/i;
+function splitSections(lines) {
+    const sections = [];
+    let current = { heading: '', level: 0, lines: [] };
+    for (const line of lines) {
+        const m = line.match(HEADING_RE);
+        if (m) {
+            if (current.lines.length > 0 || current.heading)
+                sections.push(current);
+            current = { heading: m[2].trim(), level: m[1].length, lines: [] };
+        }
+        else {
+            current.lines.push(line);
+        }
+    }
+    sections.push(current);
+    return sections.filter((s) => s.heading !== '' || s.lines.some((l) => l.trim() !== ''));
+}
+/** Lines outside code fences — fences are detail, not prose. */
+function proseLines(lines) {
+    const out = [];
+    let inFence = false;
+    for (const line of lines) {
+        if (FENCE_RE.test(line)) {
+            inFence = !inFence;
+            continue;
+        }
+        if (!inFence)
+            out.push(line);
+    }
+    return out;
+}
+function countWords(lines) {
+    let words = 0;
+    for (const line of lines) {
+        for (const tok of line.split(/\s+/)) {
+            if (/[A-Za-z0-9]/.test(tok))
+                words += 1;
+        }
+    }
+    return words;
+}
+/** Strips list markers so "1. build" counts as prose word "build", not list scaffolding. */
+function stripListMarkers(line) {
+    return line.replace(CHECKBOX_RE, '').replace(ORDERED_RE, '');
+}
+function detailMarkers(lines) {
+    let markers = 0;
+    let inFence = false;
+    for (const line of lines) {
+        if (FENCE_RE.test(line)) {
+            // Count a fenced block once (on its opening line), not per fence marker.
+            if (!inFence)
+                markers += 1;
+            inFence = !inFence;
+            continue;
+        }
+        if (inFence)
+            continue;
+        markers += (line.match(/[A-Za-z0-9_-]+\/[A-Za-z0-9_./-]+/g) ?? []).length;
+        markers += (line.match(/`[^`]+`/g) ?? []).length;
+    }
+    return markers;
+}
+const JARGON_RES = [
+    // Flattened, deliberately non-nested camelCase shape (security review: the
+    // nested `\b[a-z]+(?:[A-Z][A-Za-z0-9]*)+\b` variant backtracks
+    // exponentially on crafted input and hung `uap plan validate` at ~30 chars).
+    /\b[a-z]+[A-Z][A-Za-z0-9]*\b/g,
+    /\b[a-z]+_[a-z0-9]+\b/g, // snake_case
+    /\b[A-Z]{2,}\b/g, // acronyms
+];
+/**
+ * Clip a plan-authored fragment before it is echoed into a finding message
+ * (which later ships to the judge-model endpoint): bounded length, no
+ * control characters. Plan text is untrusted input — the messages carry it,
+ * so the messages must not carry MORE of it than the rule needs.
+ */
+function clip(s, max = 80) {
+    // eslint-disable-next-line no-control-regex -- stripping control characters IS the point
+    const clean = s.replace(/[\x00-\x1f\x7f]/g, ' ');
+    return clean.length > max ? clean.slice(0, max - 1).trimEnd() + '…' : clean;
+}
+// ---------------------------------------------------------------------------
+// Rules
+// ---------------------------------------------------------------------------
+function checkSummaryFirst(preambleLines, firstContent, minWords, findings) {
+    const prose = proseLines(preambleLines);
+    const fenceBeforeProse = preambleLines.findIndex((l) => FENCE_RE.test(l)) !== -1 &&
+        preambleLines.findIndex((l) => FENCE_RE.test(l)) <
+            preambleLines.findIndex((l) => l.trim() !== '' && !FENCE_RE.test(l));
+    if (fenceBeforeProse) {
+        findings.push({
+            rule: 'summary-first',
+            severity: 'error',
+            message: 'plan opens with a code block — the executive summary must come before any code or configuration detail',
+        });
+    }
+    const words = countWords(prose.map(stripListMarkers));
+    if (words >= minWords)
+        return;
+    // The common `# Title` + `## Summary` shape has an EMPTY preamble by
+    // construction (code-review finding: strict mode must not hard-block it).
+    // When the first section IS a summary, it satisfies the rule; when it is
+    // merely long prose, the plan is readable but front-loads the summary in
+    // the wrong place — warn instead of blocking.
+    const firstWords = firstContent
+        ? countWords(proseLines(firstContent.lines).map(stripListMarkers))
+        : 0;
+    if (firstContent && firstWords >= minWords) {
+        const summaryLike = /summary|overview|goal|objective|intent/i.test(firstContent.heading);
+        if (!summaryLike) {
+            findings.push({
+                rule: 'summary-first',
+                severity: 'warning',
+                message: `the executive summary should sit in the preamble, before the first section ("${clip(firstContent.heading)}") — move it up so a reader skims top-down`,
+            });
+        }
+        return;
+    }
+    findings.push({
+        rule: 'summary-first',
+        severity: 'error',
+        message: `plan must open with a ${minWords}-word executive summary before the first section (found ${words} word${words === 1 ? '' : 's'} of prose) — a reader should learn WHAT is being built before HOW`,
+    });
+}
+function checkAbstractionProgress(sections, findings) {
+    const headed = sections.filter((s) => s.heading !== '');
+    // The title section carries the preamble prose, so its detail density is low
+    // by construction — the rule compares CONTENT sections, i.e. everything
+    // after the document title.
+    const content = headed[0]?.level === 1 ? headed.slice(1) : headed;
+    if (content.length < 2)
+        return;
+    const first = detailMarkers(content[0].lines);
+    const last = detailMarkers(content[content.length - 1].lines);
+    if (first >= 2 && first > last) {
+        findings.push({
+            rule: 'abstraction-progress',
+            severity: 'warning',
+            message: `detail density is front-loaded (section "${clip(content[0].heading)}" has ${first} detail markers, the last section "${clip(content[content.length - 1].heading)}" has ${last}) — start at a high level of abstraction and progress toward the minutiae`,
+        });
+    }
+}
+function checkSectionBudget(sections, maxWords, findings) {
+    const flagged = [];
+    for (const s of sections) {
+        const words = countWords(proseLines(s.lines).map(stripListMarkers));
+        if (words > maxWords)
+            flagged.push(`"${clip(s.heading || '(preamble)')}" (${words} words)`);
+    }
+    if (flagged.length > 0) {
+        findings.push({
+            rule: 'section-budget',
+            severity: 'warning',
+            message: `section(s) exceed the ${maxWords}-word budget: ${flagged.slice(0, 3).join(', ')}${flagged.length > 3 ? `, +${flagged.length - 3} more` : ''} — split them so each section makes one point`,
+        });
+    }
+}
+function checkJargonDensity(lines, threshold, findings) {
+    // Headings are navigation, not prose — a token-dense heading must not move
+    // the prose density either way.
+    const prose = proseLines(lines)
+        .filter((l) => !HEADING_RE.test(l))
+        .map(stripListMarkers)
+        .join(' ');
+    const words = countWords([prose]);
+    if (words < 30)
+        return; // too little text for a density to mean anything
+    const samples = new Set();
+    let jargon = 0;
+    for (const re of JARGON_RES) {
+        const matches = prose.match(re);
+        if (matches) {
+            jargon += matches.length;
+            matches.slice(0, 5).forEach((m) => samples.add(m));
+        }
+    }
+    const density = jargon / words;
+    if (density > threshold) {
+        const list = [...samples].slice(0, 5).map((m) => clip(m, 40)).join(', ');
+        findings.push({
+            rule: 'jargon-density',
+            severity: 'warning',
+            message: `jargon density ${(100 * density).toFixed(0)}% exceeds the ${(100 * threshold).toFixed(0)}% budget (${jargon} jargon tokens in ${words} words; e.g. ${list}) — define or replace identifiers a reviewer may not share`,
+        });
+    }
+}
+function checkDiagramRequired(lines, atTasks, findings) {
+    if (atTasks <= 0)
+        return { taskItemCount: 0 };
+    let taskItemCount = 0;
+    let inFence = false;
+    let hasDiagram = false;
+    for (const line of lines) {
+        if (FENCE_RE.test(line)) {
+            if (MERMAID_FENCE_RE.test(line))
+                hasDiagram = true;
+            inFence = !inFence;
+            continue;
+        }
+        if (!inFence) {
+            if (CHECKBOX_RE.test(line) || ORDERED_RE.test(line))
+                taskItemCount += 1;
+            if (IMAGE_RE.test(line))
+                hasDiagram = true;
+        }
+    }
+    if (taskItemCount >= atTasks && !hasDiagram) {
+        findings.push({
+            rule: 'diagram-required',
+            severity: 'error',
+            message: `${taskItemCount} task items but no diagram — plans with ≥${atTasks} tasks require a data-flow diagram (mermaid or image) so a reader can see the moving parts before the steps`,
+        });
+    }
+    return { taskItemCount };
+}
+// ---------------------------------------------------------------------------
+// Entry point
+// ---------------------------------------------------------------------------
+/**
+ * Pure readability analysis of a markdown plan artifact. No I/O; config
+ * resolution (`.uap.json`, env) happens in `resolvePlanReadabilityConfig`,
+ * and callers may pass a pre-resolved config to pin behavior in tests.
+ */
+export function analyzePlanReadability(text, config = {}) {
+    const cfg = {
+        ...DEFAULT_PLAN_READABILITY,
+        enabled: true,
+        strict: false,
+        ...config,
+    };
+    if (!cfg.enabled) {
+        return { passed: true, findings: [], hintBlock: [], taskItemCount: 0, disabled: true, strict: false };
+    }
+    const lines = text.split('\n');
+    const sections = splitSections(lines);
+    // Preamble = the prose between the title heading and the FIRST section
+    // heading (or the whole document when there are no headings at all). It is
+    // deliberately bounded: a plan whose body contains plenty of words but
+    // whose OPENING is empty still fails summary-first.
+    const titleIdx = lines.findIndex((l) => HEADING_RE.test(l));
+    const after = titleIdx === -1 ? lines : lines.slice(titleIdx + 1);
+    const nextHeadingIdx = after.findIndex((l) => HEADING_RE.test(l));
+    const preambleLines = nextHeadingIdx === -1 ? after : after.slice(0, nextHeadingIdx);
+    const findings = [];
+    const headed = sections.filter((s) => s.heading !== '');
+    // First CONTENT section: after the title section when a title heading
+    // exists, else the first heading section (the doc then opens with prose).
+    const firstContent = titleIdx === -1 ? headed[0] : headed[1];
+    checkSummaryFirst(preambleLines, firstContent, cfg.minSummaryWords, findings);
+    checkAbstractionProgress(sections, findings);
+    checkSectionBudget(sections, cfg.maxWordsPerSection, findings);
+    checkJargonDensity(lines, cfg.jargonDensityThreshold, findings);
+    const { taskItemCount } = checkDiagramRequired(lines, cfg.requireDiagramAtTasks, findings);
+    const errors = findings.filter((f) => f.severity === 'error');
+    const hintBlock = findings.length > 0
+        ? [
+            '',
+            'AUTOMATED READABILITY FINDINGS (a cheap static check flagged these — treat as',
+            'leads to verify, NOT as verdicts; confirm or dismiss each on the merits):',
+            ...findings.map((f, i) => `  ${i + 1}. [${f.severity}] ${f.rule}: ${f.message}`),
+        ]
+        : [];
+    return {
+        passed: errors.length === 0,
+        findings,
+        hintBlock,
+        taskItemCount,
+        disabled: false,
+        strict: cfg.strict === true,
+    };
+}
+//# sourceMappingURL=plan-readability.js.map

package/dist/models/plan-readability.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"plan-readability.js","sourceRoot":"","sources":["../../src/models/plan-readability.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AACH,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,IAAI,CAAC;AAC9C,OAAO,EAAE,IAAI,EAAE,MAAM,MAAM,CAAC;AA8C5B,MAAM,CAAC,MAAM,wBAAwB,GAAgE;IACnG,eAAe,EAAE,EAAE;IACnB,kBAAkB,EAAE,GAAG;IACvB,sBAAsB,EAAE,IAAI;IAC5B,qBAAqB,EAAE,CAAC;CACzB,CAAC;AAEF;;;;GAIG;AACH,MAAM,UAAU,4BAA4B,CAC1C,OAA+B,EAC/B,UAAmB;IAEnB,IAAI,QAAQ,GAA0B,EAAE,CAAC;IACzC,MAAM,GAAG,GAAG,UAAU,IAAI,OAAO,CAAC,GAAG,EAAE,CAAC;IACxC,MAAM,UAAU,GAAG,IAAI,CAAC,GAAG,EAAE,WAAW,CAAC,CAAC;IAC1C,IAAI,UAAU,CAAC,UAAU,CAAC,EAAE,CAAC;QAC3B,IAAI,CAAC;YACH,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC,CAAC;YAC7D,IAAI,MAAM,EAAE,IAAI,EAAE,WAAW,IAAI,OAAO,MAAM,CAAC,IAAI,CAAC,WAAW,KAAK,QAAQ,EAAE,CAAC;gBAC7E,QAAQ,GAAG,MAAM,CAAC,IAAI,CAAC,WAAoC,CAAC;YAC9D,CAAC;QACH,CAAC;QAAC,MAAM,CAAC;YACP,sDAAsD;QACxD,CAAC;IACH,CAAC;IACD,MAAM,MAAM,GAAoC;QAC9C,OAAO,EAAE,IAAI;QACb,MAAM,EAAE,KAAK;QACb,GAAG,wBAAwB;QAC3B,GAAG,QAAQ;QACX,GAAG,OAAO;KACX,CAAC;IACF,IAAI,OAAO,CAAC,GAAG,CAAC,oBAAoB,KAAK,GAAG;QAAE,MAAM,CAAC,OAAO,GAAG,KAAK,CAAC;IACrE,IAAI,OAAO,CAAC,GAAG,CAAC,2BAA2B,KAAK,GAAG;QAAE,MAAM,CAAC,MAAM,GAAG,IAAI,CAAC;IAC1E,OAAO,MAAM,CAAC;AAChB,CAAC;AAYD,MAAM,UAAU,GAAG,iBAAiB,CAAC;AACrC,MAAM,QAAQ,GAAG,eAAe,CAAC;AACjC,MAAM,WAAW,GAAG,yBAAyB,CAAC;AAC9C,MAAM,UAAU,GAAG,gBAAgB,CAAC;AACpC,MAAM,QAAQ,GAAG,eAAe,CAAC;AACjC,MAAM,gBAAgB,GAAG,4BAA4B,CAAC;AAEtD,SAAS,aAAa,CAAC,KAAe;IACpC,MAAM,QAAQ,GAAc,EAAE,CAAC;IAC/B,IAAI,OAAO,GAAY,EAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC;IAC5D,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;QACjC,IAAI,CAAC,EAAE,CAAC;YACN,IAAI,OAAO,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,OAAO,CAAC,OAAO;gBAAE,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YACxE,OAAO,GAAG,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC;QACpE,CAAC;aAAM,CAAC;YACN,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3B,CAAC;IACH,CAAC;IACD,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACvB,OAAO,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,EAAE,IAAI,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;AAC1F,CAAC;AAED,gEAAgE;AAChE,SAAS,UAAU,CAAC,KAAe;IACjC,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,IAAI,OAAO,GAAG,KAAK,CAAC;IACpB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YACxB,OAAO,GAAG,CAAC,OAAO,CAAC;YACnB,SAAS;QACX,CAAC;QACD,IAAI,CAAC,OAAO;YAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/B,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,UAAU,CAAC,KAAe;IACjC,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;YACpC,IAAI,aAAa,CAAC,IAAI,CAAC,GAAG,CAAC;gBAAE,KAAK,IAAI,CAAC,CAAC;QAC1C,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,4FAA4F;AAC5F,SAAS,gBAAgB,CAAC,IAAY;IACpC,OAAO,IAAI,CAAC,OAAO,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;AAC/D,CAAC;AAED,SAAS,aAAa,CAAC,KAAe;IACpC,IAAI,OAAO,GAAG,CAAC,CAAC;IAChB,IAAI,OAAO,GAAG,KAAK,CAAC;IACpB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YACxB,yEAAyE;YACzE,IAAI,CAAC,OAAO;gBAAE,OAAO,IAAI,CAAC,CAAC;YAC3B,OAAO,GAAG,CAAC,OAAO,CAAC;YACnB,SAAS;QACX,CAAC;QACD,IAAI,OAAO;YAAE,SAAS;QACtB,OAAO,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,mCAAmC,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC;QAC1E,OAAO,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC;IACnD,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,MAAM,UAAU,GAAG;IACjB,2EAA2E;IAC3E,+DAA+D;IAC/D,6EAA6E;IAC7E,8BAA8B;IAC9B,uBAAuB,EAAE,aAAa;IACtC,gBAAgB,EAAE,WAAW;CAC9B,CAAC;AAEF;;;;;GAKG;AACH,SAAS,IAAI,CAAC,CAAS,EAAE,GAAG,GAAG,EAAE;IAC/B,yFAAyF;IACzF,MAAM,KAAK,GAAG,CAAC,CAAC,OAAO,CAAC,kBAAkB,EAAE,GAAG,CAAC,CAAC;IACjD,OAAO,KAAK,CAAC,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,GAAG,CAAC,CAAC,CAAC,OAAO,EAAE,GAAG,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC;AAC9E,CAAC;AAED,8EAA8E;AAC9E,QAAQ;AACR,8EAA8E;AAE9E,SAAS,iBAAiB,CACxB,aAAuB,EACvB,YAAiC,EACjC,QAAgB,EAChB,QAAkC;IAElC,MAAM,KAAK,GAAG,UAAU,CAAC,aAAa,CAAC,CAAC;IACxC,MAAM,gBAAgB,GAAG,aAAa,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QAC9E,aAAa,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAC9C,aAAa,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IACzE,IAAI,gBAAgB,EAAE,CAAC;QACrB,QAAQ,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,eAAe;YACrB,QAAQ,EAAE,OAAO;YACjB,OAAO,EAAE,wGAAwG;SAClH,CAAC,CAAC;IACL,CAAC;IACD,MAAM,KAAK,GAAG,UAAU,CAAC,KAAK,CAAC,GAAG,CAAC,gBAAgB,CAAC,CAAC,CAAC;IACtD,IAAI,KAAK,IAAI,QAAQ;QAAE,OAAO;IAC9B,qEAAqE;IACrE,0EAA0E;IAC1E,yEAAyE;IACzE,yEAAyE;IACzE,8CAA8C;IAC9C,MAAM,UAAU,GAAG,YAAY;QAC7B,CAAC,CAAC,UAAU,CAAC,UAAU,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,gBAAgB,CAAC,CAAC;QAClE,CAAC,CAAC,CAAC,CAAC;IACN,IAAI,YAAY,IAAI,UAAU,IAAI,QAAQ,EAAE,CAAC;QAC3C,MAAM,WAAW,GAAG,yCAAyC,CAAC,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC;QACzF,IAAI,CAAC,WAAW,EAAE,CAAC;YACjB,QAAQ,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,eAAe;gBACrB,QAAQ,EAAE,SAAS;gBACnB,OAAO,EAAE,gFAAgF,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,4CAA4C;aAChK,CAAC,CAAC;QACL,CAAC;QACD,OAAO;IACT,CAAC;IACD,QAAQ,CAAC,IAAI,CAAC;QACZ,IAAI,EAAE,eAAe;QACrB,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,yBAAyB,QAAQ,2DAA2D,KAAK,QAAQ,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,mEAAmE;KAC5M,CAAC,CAAC;AACL,CAAC;AAED,SAAS,wBAAwB,CAC/B,QAAmB,EACnB,QAAkC;IAElC,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,EAAE,CAAC,CAAC;IACxD,6EAA6E;IAC7E,wEAAwE;IACxE,4BAA4B;IAC5B,MAAM,OAAO,GAAG,MAAM,CAAC,CAAC,CAAC,EAAE,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;IAClE,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO;IAC/B,MAAM,KAAK,GAAG,aAAa,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;IAC9C,MAAM,IAAI,GAAG,aAAa,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;IAC9D,IAAI,KAAK,IAAI,CAAC,IAAI,KAAK,GAAG,IAAI,EAAE,CAAC;QAC/B,QAAQ,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,sBAAsB;YAC5B,QAAQ,EAAE,SAAS;YACnB,OAAO,EAAE,4CAA4C,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,SAAS,KAAK,sCAAsC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,SAAS,IAAI,2EAA2E;SACnQ,CAAC,CAAC;IACL,CAAC;AACH,CAAC;AAED,SAAS,kBAAkB,CACzB,QAAmB,EACnB,QAAgB,EAChB,QAAkC;IAElC,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;QACzB,MAAM,KAAK,GAAG,UAAU,CAAC,UAAU,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,gBAAgB,CAAC,CAAC,CAAC;QACpE,IAAI,KAAK,GAAG,QAAQ;YAAE,OAAO,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,OAAO,IAAI,YAAY,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC;IAC9F,CAAC;IACD,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACvB,QAAQ,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,gBAAgB;YACtB,QAAQ,EAAE,SAAS;YACnB,OAAO,EAAE,yBAAyB,QAAQ,iBAAiB,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,OAAO,CAAC,MAAM,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,+CAA+C;SACrM,CAAC,CAAC;IACL,CAAC;AACH,CAAC;AAED,SAAS,kBAAkB,CACzB,KAAe,EACf,SAAiB,EACjB,QAAkC;IAElC,2EAA2E;IAC3E,gCAAgC;IAChC,MAAM,KAAK,GAAG,UAAU,CAAC,KAAK,CAAC;SAC5B,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;SAClC,GAAG,CAAC,gBAAgB,CAAC;SACrB,IAAI,CAAC,GAAG,CAAC,CAAC;IACb,MAAM,KAAK,GAAG,UAAU,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;IAClC,IAAI,KAAK,GAAG,EAAE;QAAE,OAAO,CAAC,iDAAiD;IACzE,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,IAAI,MAAM,GAAG,CAAC,CAAC;IACf,KAAK,MAAM,EAAE,IAAI,UAAU,EAAE,CAAC;QAC5B,MAAM,OAAO,GAAG,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QAChC,IAAI,OAAO,EAAE,CAAC;YACZ,MAAM,IAAI,OAAO,CAAC,MAAM,CAAC;YACzB,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACrD,CAAC;IACH,CAAC;IACD,MAAM,OAAO,GAAG,MAAM,GAAG,KAAK,CAAC;IAC/B,IAAI,OAAO,GAAG,SAAS,EAAE,CAAC;QACxB,MAAM,IAAI,GAAG,CAAC,GAAG,OAAO,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzE,QAAQ,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,gBAAgB;YACtB,QAAQ,EAAE,SAAS;YACnB,OAAO,EAAE,kBAAkB,CAAC,GAAG,GAAG,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,iBAAiB,CAAC,GAAG,GAAG,SAAS,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,aAAa,MAAM,qBAAqB,KAAK,gBAAgB,IAAI,4DAA4D;SAChO,CAAC,CAAC;IACL,CAAC;AACH,CAAC;AAED,SAAS,oBAAoB,CAC3B,KAAe,EACf,OAAe,EACf,QAAkC;IAElC,IAAI,OAAO,IAAI,CAAC;QAAE,OAAO,EAAE,aAAa,EAAE,CAAC,EAAE,CAAC;IAC9C,IAAI,aAAa,GAAG,CAAC,CAAC;IACtB,IAAI,OAAO,GAAG,KAAK,CAAC;IACpB,IAAI,UAAU,GAAG,KAAK,CAAC;IACvB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YACxB,IAAI,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC;gBAAE,UAAU,GAAG,IAAI,CAAC;YACnD,OAAO,GAAG,CAAC,OAAO,CAAC;YACnB,SAAS;QACX,CAAC;QACD,IAAI,CAAC,OAAO,EAAE,CAAC;YACb,IAAI,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC;gBAAE,aAAa,IAAI,CAAC,CAAC;YACxE,IAAI,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC;gBAAE,UAAU,GAAG,IAAI,CAAC;QAC7C,CAAC;IACH,CAAC;IACD,IAAI,aAAa,IAAI,OAAO,IAAI,CAAC,UAAU,EAAE,CAAC;QAC5C,QAAQ,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,kBAAkB;YACxB,QAAQ,EAAE,OAAO;YACjB,OAAO,EAAE,GAAG,aAAa,4CAA4C,OAAO,6GAA6G;SAC1L,CAAC,CAAC;IACL,CAAC;IACD,OAAO,EAAE,aAAa,EAAE,CAAC;AAC3B,CAAC;AAED,8EAA8E;AAC9E,cAAc;AACd,8EAA8E;AAE9E;;;;GAIG;AACH,MAAM,UAAU,sBAAsB,CACpC,IAAY,EACZ,SAAgC,EAAE;IAElC,MAAM,GAAG,GAAG;QACV,GAAG,wBAAwB;QAC3B,OAAO,EAAE,IAAI;QACb,MAAM,EAAE,KAAK;QACb,GAAG,MAAM;KACV,CAAC;IACF,IAAI,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC;QACjB,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,SAAS,EAAE,EAAE,EAAE,aAAa,EAAE,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC;IACxG,CAAC;IACD,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAC/B,MAAM,QAAQ,GAAG,aAAa,CAAC,KAAK,CAAC,CAAC;IACtC,uEAAuE;IACvE,2EAA2E;IAC3E,uEAAuE;IACvE,oDAAoD;IACpD,MAAM,QAAQ,GAAG,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IAC5D,MAAM,KAAK,GAAG,QAAQ,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,QAAQ,GAAG,CAAC,CAAC,CAAC;IAClE,MAAM,cAAc,GAAG,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IAClE,MAAM,aAAa,GAAG,cAAc,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,cAAc,CAAC,CAAC;IAErF,MAAM,QAAQ,GAA6B,EAAE,CAAC;IAC9C,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,EAAE,CAAC,CAAC;IACxD,sEAAsE;IACtE,0EAA0E;IAC1E,MAAM,YAAY,GAAG,QAAQ,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IAC7D,iBAAiB,CAAC,aAAa,EAAE,YAAY,EAAE,GAAG,CAAC,eAAe,EAAE,QAAQ,CAAC,CAAC;IAC9E,wBAAwB,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;IAC7C,kBAAkB,CAAC,QAAQ,EAAE,GAAG,CAAC,kBAAkB,EAAE,QAAQ,CAAC,CAAC;IAC/D,kBAAkB,CAAC,KAAK,EAAE,GAAG,CAAC,sBAAsB,EAAE,QAAQ,CAAC,CAAC;IAChE,MAAM,EAAE,aAAa,EAAE,GAAG,oBAAoB,CAAC,KAAK,EAAE,GAAG,CAAC,qBAAqB,EAAE,QAAQ,CAAC,CAAC;IAE3F,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC;IAC9D,MAAM,SAAS,GACb,QAAQ,CAAC,MAAM,GAAG,CAAC;QACjB,CAAC,CAAC;YACE,EAAE;YACF,+EAA+E;YAC/E,2EAA2E;YAC3E,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,QAAQ,KAAK,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC;SACjF;QACH,CAAC,CAAC,EAAE,CAAC;IACT,OAAO;QACL,MAAM,EAAE,MAAM,CAAC,MAAM,KAAK,CAAC;QAC3B,QAAQ;QACR,SAAS;QACT,aAAa;QACb,QAAQ,EAAE,KAAK;QACf,MAAM,EAAE,GAAG,CAAC,MAAM,KAAK,IAAI;KAC5B,CAAC;AACJ,CAAC"}

package/dist/placement/admission.d.ts

@@ -0,0 +1,59 @@
+/**
+ * Admission math and option generation (spec §4.4).
+ *
+ * The device budget is a SUM, not a free-memory reading:
+ *
+ *   fits_gpu  = cost_mib ≤ total − Σ(resident figures of everything staying)
+ *               − device.reserved_mib
+ *   fits_host = host_rss_mib ≤ cpu free + Σ(victims' host_rss_mib) − cpu reserved
+ *   fits      = fits_gpu AND fits_host
+ *
+ * free_mib from nvidia-smi describes what is left AFTER the operator's chosen
+ * configuration filled the card — true and useless at the same time. The
+ * correct question is whether the intended set fits the device budget.
+ *
+ * Fail-closed everywhere: an unmeasured config is never a load candidate;
+ * an unknown device total, an unknown host free, or an unknown marginal-KV
+ * rate each kill the option rather than pass it on a guess.
+ */
+import { type ModelRegistry } from './registry.js';
+import type { LedgerResident, PlacementLedger } from './ledger.js';
+export type OptionKind = 'reuse' | 'load_alongside' | 'displace';
+export interface PlacementOption {
+    kind: OptionKind;
+    model: string;
+    config: string;
+    device: string;
+    /** Admission cost in MiB on the device; null = unknown (only ever present
+     * on a reuse option, where nothing is loaded). */
+    cost_mib: number | null;
+    /** Present only on displace options: the residents that must go. */
+    victims?: LedgerResident[];
+    /** True when the candidate's task_affinity matches the requesting task. */
+    affinityMatch?: boolean;
+}
+export interface AdmissionResult {
+    requested: string;
+    /** Does the request map to any registry config at all? */
+    matched: boolean;
+    /** not_resident_only | not_in_registry | no_measured_config | ok */
+    reason: string;
+    options: PlacementOption[];
+    /** Why each candidate that was not offered was refused. */
+    notes: string[];
+}
+/** Registry configs whose advertised ids (or model key) match the requested
+ * wire model. Empty = not in registry → park, never auto-load. */
+export declare function matchingConfigs(registry: ModelRegistry, requested: string): Array<{
+    model: string;
+    config: string;
+    entry: ModelRegistry['models'][string]['configs'][string];
+}>;
+/** Compute ranked options for a requested model (spec §4.4). Ranking:
+ * reuse > load_alongside (affinity match first) > smallest displace >
+ * largest displace. Unknown anything = refused, with a note saying why. */
+export declare function computeOptions(registry: ModelRegistry, ledger: PlacementLedger, requested: string, opts?: {
+    cells?: number;
+    taskKind?: string;
+}): AdmissionResult;
+//# sourceMappingURL=admission.d.ts.map

package/dist/placement/admission.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"admission.d.ts","sourceRoot":"","sources":["../../src/placement/admission.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AACH,OAAO,EAA6D,KAAK,aAAa,EAAE,MAAM,eAAe,CAAC;AAC9G,OAAO,KAAK,EAAqB,cAAc,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAEtF,MAAM,MAAM,UAAU,GAAG,OAAO,GAAG,gBAAgB,GAAG,UAAU,CAAC;AAEjE,MAAM,WAAW,eAAe;IAC9B,IAAI,EAAE,UAAU,CAAC;IACjB,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;IACf;sDACkD;IAClD,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;IACxB,oEAAoE;IACpE,OAAO,CAAC,EAAE,cAAc,EAAE,CAAC;IAC3B,2EAA2E;IAC3E,aAAa,CAAC,EAAE,OAAO,CAAC;CACzB;AAED,MAAM,WAAW,eAAe;IAC9B,SAAS,EAAE,MAAM,CAAC;IAClB,0DAA0D;IAC1D,OAAO,EAAE,OAAO,CAAC;IACjB,oEAAoE;IACpE,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,EAAE,eAAe,EAAE,CAAC;IAC3B,2DAA2D;IAC3D,KAAK,EAAE,MAAM,EAAE,CAAC;CACjB;AAED;kEACkE;AAClE,wBAAgB,eAAe,CAAC,QAAQ,EAAE,aAAa,EAAE,SAAS,EAAE,MAAM,GAAG,KAAK,CAAC;IAAE,KAAK,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,aAAa,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,CAAC,MAAM,CAAC,CAAA;CAAE,CAAC,CAU/K;AAwDD;;2EAE2E;AAC3E,wBAAgB,cAAc,CAC5B,QAAQ,EAAE,aAAa,EACvB,MAAM,EAAE,eAAe,EACvB,SAAS,EAAE,MAAM,EACjB,IAAI,CAAC,EAAE;IAAE,KAAK,CAAC,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,EAAE,MAAM,CAAA;CAAE,GAC3C,eAAe,CAoGjB"}

package/dist/placement/admission.js

@@ -0,0 +1,197 @@
+/**
+ * Admission math and option generation (spec §4.4).
+ *
+ * The device budget is a SUM, not a free-memory reading:
+ *
+ *   fits_gpu  = cost_mib ≤ total − Σ(resident figures of everything staying)
+ *               − device.reserved_mib
+ *   fits_host = host_rss_mib ≤ cpu free + Σ(victims' host_rss_mib) − cpu reserved
+ *   fits      = fits_gpu AND fits_host
+ *
+ * free_mib from nvidia-smi describes what is left AFTER the operator's chosen
+ * configuration filled the card — true and useless at the same time. The
+ * correct question is whether the intended set fits the device budget.
+ *
+ * Fail-closed everywhere: an unmeasured config is never a load candidate;
+ * an unknown device total, an unknown host free, or an unknown marginal-KV
+ * rate each kill the option rather than pass it on a guess.
+ */
+import { configCostMiB, isMeasuredConfig } from './registry.js';
+/** Registry configs whose advertised ids (or model key) match the requested
+ * wire model. Empty = not in registry → park, never auto-load. */
+export function matchingConfigs(registry, requested) {
+    const out = [];
+    for (const [mKey, model] of Object.entries(registry.models)) {
+        const advertises = model.advertises ?? [];
+        if (!advertises.includes(requested) && mKey !== requested)
+            continue;
+        for (const [cKey, entry] of Object.entries(model.configs)) {
+            out.push({ model: mKey, config: cKey, entry });
+        }
+    }
+    return out;
+}
+function stayingGpuMiB(ledger, device, victims) {
+    const evicted = new Set(victims.map((v) => `${v.model}/${v.config}`));
+    let sum = 0;
+    for (const r of ledger.residents) {
+        if (r.device !== device || evicted.has(`${r.model}/${r.config}`))
+            continue;
+        // A resident without a measured gpu figure still holds its registry
+        // measurement when one exists; without any figure the sum is unknown and
+        // the caller must fail closed — handled by returning NaN.
+        if (r.gpu_mib === undefined)
+            return Number.NaN;
+        sum += r.gpu_mib;
+    }
+    return sum;
+}
+/** Enumerate eviction subsets of a device's residents, smallest freed MiB
+ * first (spec: smallest displacement ranks above larger). Capped at pairs
+ * when the resident set is large, so this stays linear-ish; three+ mutually
+ * resident backends on one card is not a real machine state today. */
+function evictionSets(residents) {
+    const sets = [];
+    const byKey = new Map(residents.map((r) => [`${r.model}/${r.config}`, r]));
+    const keys = [...byKey.keys()];
+    const max = keys.length <= 6 ? keys.length : 2;
+    for (let size = 1; size <= max; size++) {
+        const combo = [];
+        const walk = (start) => {
+            if (combo.length === size) {
+                sets.push(combo.map((i) => byKey.get(keys[i])));
+                return;
+            }
+            for (let i = start; i < keys.length; i++) {
+                combo.push(i);
+                walk(i + 1);
+                combo.pop();
+            }
+        };
+        walk(0);
+    }
+    return sets.sort((a, b) => freedGpuMiB(a) - freedGpuMiB(b));
+}
+function freedGpuMiB(victims) {
+    return victims.reduce((sum, v) => sum + (v.gpu_mib ?? 0), 0);
+}
+function freedHostMiB(victims) {
+    let sum = 0;
+    for (const v of victims) {
+        if (v.host_rss_mib === undefined)
+            return null;
+        sum += v.host_rss_mib;
+    }
+    return sum;
+}
+/** Compute ranked options for a requested model (spec §4.4). Ranking:
+ * reuse > load_alongside (affinity match first) > smallest displace >
+ * largest displace. Unknown anything = refused, with a note saying why. */
+export function computeOptions(registry, ledger, requested, opts) {
+    const cells = opts?.cells ?? 32768;
+    const candidates = matchingConfigs(registry, requested);
+    if (candidates.length === 0) {
+        return { requested, matched: false, reason: 'not_in_registry', options: [], notes: [] };
+    }
+    const notes = [];
+    const options = [];
+    // 1. reuse — a resident already satisfies the request. Unmeasured configs
+    // are servable when resident; that is the fail-closed rule's other half.
+    for (const c of candidates) {
+        const resident = ledger.residents.find((r) => r.model === c.model && r.config === c.config && r.state === 'hot');
+        if (resident) {
+            options.push({ kind: 'reuse', model: c.model, config: c.config, device: resident.device, cost_mib: null });
+        }
+    }
+    if (options.length > 0)
+        return { requested, matched: true, reason: 'ok', options, notes };
+    // 2/3. load_alongside and displace — both need a measured config.
+    const measured = candidates.filter((c) => isMeasuredConfig(c.entry));
+    if (measured.length === 0) {
+        return {
+            requested,
+            matched: true,
+            reason: 'no_measured_config',
+            options: [],
+            notes: ['every matching config is unmeasured — run `uap models measure` against a live instance; fail closed'],
+        };
+    }
+    const cpu = Object.values(ledger.devices).find((d) => d.kind === 'cpu');
+    for (const c of measured) {
+        const cfg = c.entry;
+        const model = registry.models[c.model];
+        const cost = configCostMiB(cfg, cells);
+        if (cost === null) {
+            notes.push(`${c.model}/${c.config}: cost beyond the measured KV pool (cells > ${cfg.kv_resident_cells}) is unknown — refused`);
+            continue;
+        }
+        const affinityMatch = opts?.taskKind !== undefined && (model.task_affinity ?? []).includes(opts.taskKind);
+        for (const device of model.affinity?.device ?? [`${cfg.measured_on}`]) {
+            const dev = ledger.devices[device];
+            if (!dev) {
+                notes.push(`${c.model}/${c.config}: device '${device}' not in ledger`);
+                continue;
+            }
+            if (dev.total_mib === undefined || dev.reserved_mib === undefined) {
+                notes.push(`${c.model}/${c.config}: device '${device}' total/reserve unmeasured — cannot evaluate load_alongside or displace`);
+                continue;
+            }
+            // 2. load_alongside — nothing displaced.
+            const staying = stayingGpuMiB(ledger, device, []);
+            const alongsideFits = Number.isFinite(staying) && cost <= dev.total_mib - dev.reserved_mib - staying;
+            const hostFits = hostFitsFor(cpu, cfg.host_rss_mib, 0);
+            if (alongsideFits && hostFits === true) {
+                options.push({ kind: 'load_alongside', model: c.model, config: c.config, device, cost_mib: cost, affinityMatch });
+                continue;
+            }
+            if (alongsideFits && hostFits === null) {
+                notes.push(`${c.model}/${c.config}: GPU fits but host free memory unknown — refused`);
+            }
+            // 3. displace — minimal eviction sets, smallest first.
+            const residentsHere = ledger.residents.filter((r) => r.device === device && r.state !== 'draining');
+            for (const victims of evictionSets(residentsHere)) {
+                const stays = stayingGpuMiB(ledger, device, victims);
+                if (!Number.isFinite(stays)) {
+                    notes.push(`${c.model}/${c.config}: a resident has no measured gpu_mib — cannot compute displacement`);
+                    break;
+                }
+                const gpuOk = cost <= dev.total_mib - dev.reserved_mib - stays;
+                const freedHost = freedHostMiB(victims);
+                const hostOk = freedHost === null ? null : hostFitsFor(cpu, cfg.host_rss_mib, freedHost);
+                if (gpuOk && hostOk === true) {
+                    options.push({ kind: 'displace', model: c.model, config: c.config, device, cost_mib: cost, victims, affinityMatch });
+                    break; // first (smallest) feasible set per device wins
+                }
+                if (gpuOk && hostOk === null) {
+                    notes.push(`${c.model}/${c.config}: victim host_rss unknown — displacement refused`);
+                    break;
+                }
+            }
+        }
+    }
+    const rank = (o) => {
+        if (o.kind === 'reuse')
+            return 0;
+        if (o.kind === 'load_alongside')
+            return o.affinityMatch ? 1 : 2;
+        return 3 + (o.victims ? freedGpuMiB(o.victims) : 0);
+    };
+    options.sort((a, b) => rank(a) - rank(b));
+    return {
+        requested,
+        matched: true,
+        reason: options.length > 0 ? 'ok' : 'no_feasible_option',
+        options,
+        notes,
+    };
+}
+/** Host RAM gate: config RSS must fit in (host free + what victims free)
+ * minus the cpu reserve. null = unknown (host free unprobeable) → refused. */
+function hostFitsFor(cpu, rssMib, freedMib) {
+    if (!cpu)
+        return null;
+    if (cpu.free_mib === undefined || cpu.reserved_mib === undefined)
+        return null;
+    return rssMib <= cpu.free_mib + freedMib - cpu.reserved_mib;
+}
+//# sourceMappingURL=admission.js.map

package/dist/placement/admission.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"admission.js","sourceRoot":"","sources":["../../src/placement/admission.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AACH,OAAO,EAAE,aAAa,EAAE,gBAAgB,EAAgD,MAAM,eAAe,CAAC;AA8B9G;kEACkE;AAClE,MAAM,UAAU,eAAe,CAAC,QAAuB,EAAE,SAAiB;IACxE,MAAM,GAAG,GAAwG,EAAE,CAAC;IACpH,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;QAC5D,MAAM,UAAU,GAAG,KAAK,CAAC,UAAU,IAAI,EAAE,CAAC;QAC1C,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,SAAS,CAAC,IAAI,IAAI,KAAK,SAAS;YAAE,SAAS;QACpE,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC;YAC1D,GAAG,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;QACjD,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,aAAa,CAAC,MAAuB,EAAE,MAAc,EAAE,OAAyB;IACvF,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;IACtE,IAAI,GAAG,GAAG,CAAC,CAAC;IACZ,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,SAAS,EAAE,CAAC;QACjC,IAAI,CAAC,CAAC,MAAM,KAAK,MAAM,IAAI,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC;YAAE,SAAS;QAC3E,oEAAoE;QACpE,yEAAyE;QACzE,0DAA0D;QAC1D,IAAI,CAAC,CAAC,OAAO,KAAK,SAAS;YAAE,OAAO,MAAM,CAAC,GAAG,CAAC;QAC/C,GAAG,IAAI,CAAC,CAAC,OAAO,CAAC;IACnB,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;sEAGsE;AACtE,SAAS,YAAY,CAAC,SAA2B;IAC/C,MAAM,IAAI,GAAuB,EAAE,CAAC;IACpC,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAC3E,MAAM,IAAI,GAAG,CAAC,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;IAC/B,MAAM,GAAG,GAAG,IAAI,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;IAC/C,KAAK,IAAI,IAAI,GAAG,CAAC,EAAE,IAAI,IAAI,GAAG,EAAE,IAAI,EAAE,EAAE,CAAC;QACvC,MAAM,KAAK,GAAa,EAAE,CAAC;QAC3B,MAAM,IAAI,GAAG,CAAC,KAAa,EAAQ,EAAE;YACnC,IAAI,KAAK,CAAC,MAAM,KAAK,IAAI,EAAE,CAAC;gBAC1B,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAmB,CAAC,CAAC,CAAC;gBAClE,OAAO;YACT,CAAC;YACD,KAAK,IAAI,CAAC,GAAG,KAAK,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBACzC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;gBACd,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;gBACZ,KAAK,CAAC,GAAG,EAAE,CAAC;YACd,CAAC;QACH,CAAC,CAAC;QACF,IAAI,CAAC,CAAC,CAAC,CAAC;IACV,CAAC;IACD,OAAO,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,CAAC,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC;AAC9D,CAAC;AAED,SAAS,WAAW,CAAC,OAAyB;IAC5C,OAAO,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AAC/D,CAAC;AAED,SAAS,YAAY,CAAC,OAAyB;IAC7C,IAAI,GAAG,GAAG,CAAC,CAAC;IACZ,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;QACxB,IAAI,CAAC,CAAC,YAAY,KAAK,SAAS;YAAE,OAAO,IAAI,CAAC;QAC9C,GAAG,IAAI,CAAC,CAAC,YAAY,CAAC;IACxB,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;2EAE2E;AAC3E,MAAM,UAAU,cAAc,CAC5B,QAAuB,EACvB,MAAuB,EACvB,SAAiB,EACjB,IAA4C;IAE5C,MAAM,KAAK,GAAG,IAAI,EAAE,KAAK,IAAI,KAAK,CAAC;IACnC,MAAM,UAAU,GAAG,eAAe,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;IACxD,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5B,OAAO,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,iBAAiB,EAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC;IAC1F,CAAC;IACD,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,OAAO,GAAsB,EAAE,CAAC;IAEtC,0EAA0E;IAC1E,yEAAyE;IACzE,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;QAC3B,MAAM,QAAQ,GAAG,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,KAAK,KAAK,KAAK,CAAC,CAAC;QACjH,IAAI,QAAQ,EAAE,CAAC;YACb,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC;QAC7G,CAAC;IACH,CAAC;IACD,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,EAAE,SAAS,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;IAE1F,kEAAkE;IAClE,MAAM,QAAQ,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,gBAAgB,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;IACrE,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC1B,OAAO;YACL,SAAS;YACT,OAAO,EAAE,IAAI;YACb,MAAM,EAAE,oBAAoB;YAC5B,OAAO,EAAE,EAAE;YACX,KAAK,EAAE,CAAC,qGAAqG,CAAC;SAC/G,CAAC;IACJ,CAAC;IAED,MAAM,GAAG,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC;IACxE,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;QACzB,MAAM,GAAG,GAAG,CAAC,CAAC,KAA4B,CAAC;QAC3C,MAAM,KAAK,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QACvC,MAAM,IAAI,GAAG,aAAa,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;QACvC,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;YAClB,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,MAAM,+CAA+C,GAAG,CAAC,iBAAiB,wBAAwB,CAAC,CAAC;YAC/H,SAAS;QACX,CAAC;QACD,MAAM,aAAa,GAAG,IAAI,EAAE,QAAQ,KAAK,SAAS,IAAI,CAAC,KAAK,CAAC,aAAa,IAAI,EAAE,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAC1G,KAAK,MAAM,MAAM,IAAI,KAAK,CAAC,QAAQ,EAAE,MAAM,IAAI,CAAC,GAAG,GAAG,CAAC,WAAW,EAAE,CAAC,EAAE,CAAC;YACtE,MAAM,GAAG,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;YACnC,IAAI,CAAC,GAAG,EAAE,CAAC;gBACT,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,MAAM,aAAa,MAAM,iBAAiB,CAAC,CAAC;gBACvE,SAAS;YACX,CAAC;YACD,IAAI,GAAG,CAAC,SAAS,KAAK,SAAS,IAAI,GAAG,CAAC,YAAY,KAAK,SAAS,EAAE,CAAC;gBAClE,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,MAAM,aAAa,MAAM,yEAAyE,CAAC,CAAC;gBAC/H,SAAS;YACX,CAAC;YAED,yCAAyC;YACzC,MAAM,OAAO,GAAG,aAAa,CAAC,MAAM,EAAE,MAAM,EAAE,EAAE,CAAC,CAAC;YAClD,MAAM,aAAa,GAAG,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,IAAI,IAAI,GAAG,CAAC,SAAS,GAAG,GAAG,CAAC,YAAY,GAAG,OAAO,CAAC;YACrG,MAAM,QAAQ,GAAG,WAAW,CAAC,GAAG,EAAE,GAAG,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC;YACvD,IAAI,aAAa,IAAI,QAAQ,KAAK,IAAI,EAAE,CAAC;gBACvC,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,aAAa,EAAE,CAAC,CAAC;gBAClH,SAAS;YACX,CAAC;YACD,IAAI,aAAa,IAAI,QAAQ,KAAK,IAAI,EAAE,CAAC;gBACvC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,MAAM,mDAAmD,CAAC,CAAC;YACxF,CAAC;YAED,uDAAuD;YACvD,MAAM,aAAa,GAAG,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,MAAM,IAAI,CAAC,CAAC,KAAK,KAAK,UAAU,CAAC,CAAC;YACpG,KAAK,MAAM,OAAO,IAAI,YAAY,CAAC,aAAa,CAAC,EAAE,CAAC;gBAClD,MAAM,KAAK,GAAG,aAAa,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;gBACrD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;oBAC5B,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,MAAM,oEAAoE,CAAC,CAAC;oBACvG,MAAM;gBACR,CAAC;gBACD,MAAM,KAAK,GAAG,IAAI,IAAI,GAAG,CAAC,SAAS,GAAG,GAAG,CAAC,YAAY,GAAG,KAAK,CAAC;gBAC/D,MAAM,SAAS,GAAG,YAAY,CAAC,OAAO,CAAC,CAAC;gBACxC,MAAM,MAAM,GAAG,SAAS,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,WAAW,CAAC,GAAG,EAAE,GAAG,CAAC,YAAY,EAAE,SAAS,CAAC,CAAC;gBACzF,IAAI,KAAK,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;oBAC7B,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,OAAO,EAAE,aAAa,EAAE,CAAC,CAAC;oBACrH,MAAM,CAAC,gDAAgD;gBACzD,CAAC;gBACD,IAAI,KAAK,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;oBAC7B,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,MAAM,kDAAkD,CAAC,CAAC;oBACrF,MAAM;gBACR,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,MAAM,IAAI,GAAG,CAAC,CAAkB,EAAU,EAAE;QAC1C,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO;YAAE,OAAO,CAAC,CAAC;QACjC,IAAI,CAAC,CAAC,IAAI,KAAK,gBAAgB;YAAE,OAAO,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAChE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACtD,CAAC,CAAC;IACF,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IAC1C,OAAO;QACL,SAAS;QACT,OAAO,EAAE,IAAI;QACb,MAAM,EAAE,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,oBAAoB;QACxD,OAAO;QACP,KAAK;KACN,CAAC;AACJ,CAAC;AAED;8EAC8E;AAC9E,SAAS,WAAW,CAClB,GAAkC,EAClC,MAAc,EACd,QAAgB;IAEhB,IAAI,CAAC,GAAG;QAAE,OAAO,IAAI,CAAC;IACtB,IAAI,GAAG,CAAC,QAAQ,KAAK,SAAS,IAAI,GAAG,CAAC,YAAY,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IAC9E,OAAO,MAAM,IAAI,GAAG,CAAC,QAAQ,GAAG,QAAQ,GAAG,GAAG,CAAC,YAAY,CAAC;AAC9D,CAAC"}