kibi-cli 0.19.0 → 2.0.0

package/dist/relationships/shards.js

@@ -19,6 +19,7 @@ import * as crypto from "node:crypto";
 import * as fs from "node:fs";
 import * as path from "node:path";
 import { load as parseYAML } from "js-yaml";
+import { parseDocument } from "yaml";
 /**
  * Gets the path to the relationships directory for a given KB root.
  */
@@ -132,7 +133,80 @@ export function writeShard(shardPath, records) {
         unique.push(record);
     }
     const yamlContent = serializeToYAML(unique);
-    fs.writeFileSync(shardPath, yamlContent, "utf8");
+    atomicWriteText(shardPath, yamlContent);
+}
+/**
+ * Publish one canonical shard replacement atomically. Relationship shards are
+ * authored source, so a torn write must never leave a half-valid YAML file
+ * for the next sync or Git operation.
+ */
+function atomicWriteText(targetPath, body) {
+    const temporary = `${targetPath}.kibi-write-${process.pid}-${Date.now()}-${Math.random()
+        .toString(16)
+        .slice(2)}`;
+    try {
+        fs.writeFileSync(temporary, body, { encoding: "utf8", mode: 0o600 });
+        fs.renameSync(temporary, targetPath);
+    }
+    catch (error) {
+        try {
+            if (fs.existsSync(temporary))
+                fs.unlinkSync(temporary);
+        }
+        catch {
+            // Preserve the original publication failure.
+        }
+        throw error;
+    }
+}
+/**
+ * Remove exact legacy-shard relationships using an atomic temp-file rename.
+ * The caller is responsible for retracting the compiled RDF edge afterwards.
+ */
+export function removeRelationshipsFromShards(kbRoot, selectors) {
+    const wanted = new Set(selectors.map((selector) => `${selector.type}\0${selector.from}\0${selector.to}`));
+    const removed = new Map();
+    for (const shardPath of listShards(kbRoot)) {
+        const records = readShard(shardPath);
+        const matching = records.filter((record) => wanted.has(`${record.type}\0${record.from}\0${record.to}`));
+        if (matching.length === 0)
+            continue;
+        // Patch the YAML sequence in place so comments, ordering, and unrelated
+        // records survive a relationship deletion. The compiled store is never
+        // the mutation target; this shard remains the canonical source artifact.
+        const document = parseDocument(fs.readFileSync(shardPath, "utf8"));
+        const sequence = document.get("relationships", true);
+        if (!sequence || typeof sequence !== "object" || !("items" in sequence)) {
+            throw new Error(`Invalid shard file: missing 'relationships' array at ${shardPath}`);
+        }
+        const items = sequence.items;
+        for (let index = items.length - 1; index >= 0; index -= 1) {
+            const item = items[index];
+            if (!item || typeof item !== "object" || !("get" in item))
+                continue;
+            const get = item.get.bind(item);
+            if (wanted.has(`${String(get("type"))}\0${String(get("from"))}\0${String(get("to"))}`)) {
+                document.deleteIn(["relationships", index]);
+            }
+        }
+        atomicWriteText(shardPath, document.toString());
+        for (const record of matching) {
+            const key = `${record.type}\0${record.from}\0${record.to}`;
+            const entry = removed.get(key) ?? { paths: [], sources: [] };
+            entry.paths.push(shardPath);
+            entry.sources.push(record.source);
+            removed.set(key, entry);
+        }
+    }
+    return selectors.map((selector) => {
+        const entry = removed.get(`${selector.type}\0${selector.from}\0${selector.to}`);
+        return {
+            selector,
+            shardPaths: entry?.paths ?? [],
+            sources: entry?.sources ?? [],
+            removed: entry !== undefined,
+        };
+    });
 }
 /**
  * Serializes records to YAML format.
@@ -185,7 +259,18 @@ export function appendRelationship(kbRoot, relationship) {
             ...relationship,
             id: recordId,
         };
-        writeShard(shardPath, [...existing, newRecord]);
+        if (fs.existsSync(shardPath)) {
+            const document = parseDocument(fs.readFileSync(shardPath, "utf8"));
+            const sequence = document.get("relationships", true);
+            if (!sequence || typeof sequence !== "object" || !("items" in sequence)) {
+                throw new Error(`Invalid shard file: missing 'relationships' array at ${shardPath}`);
+            }
+            sequence.items.push(newRecord);
+            atomicWriteText(shardPath, document.toString());
+        }
+        else {
+            writeShard(shardPath, [newRecord]);
+        }
     }
     return { shardPath, recordId };
 }

package/dist/report/brand.d.ts

@@ -0,0 +1,19 @@
+export declare const KIBI_BRAND: {
+    readonly carbon: "#1d1e23";
+    readonly deepCarbon: "#111318";
+    readonly panel: "#191c22";
+    readonly ice: "#a2d3f4";
+    readonly signal: "#3e8ed6";
+    readonly snow: "#f4f8fb";
+    readonly mist: "#aab8c2";
+    readonly rail: "#34434f";
+    readonly success: "#63c99a";
+    readonly warning: "#f2b84b";
+    readonly danger: "#f07178";
+};
+export declare function renderKibiLogo(className?: string): string;
+export declare function renderKibiWordmark(className?: string): string;
+export declare function renderKibiFaviconSvg(): string;
+export declare function renderKibiFaviconDataUri(): string;
+export declare function renderKibiBadge(message: string, statusColor: string): string;
+//# sourceMappingURL=brand.d.ts.map

package/dist/report/brand.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"brand.d.ts","sourceRoot":"","sources":["../../src/report/brand.ts"],"names":[],"mappings":"AAAA,eAAO,MAAM,UAAU;;;;;;;;;;;;CAYb,CAAC;AAmBX,wBAAgB,cAAc,CAAC,SAAS,SAAK,GAAG,MAAM,CAErD;AAGD,wBAAgB,kBAAkB,CAAC,SAAS,SAAK,GAAG,MAAM,CAEzD;AAGD,wBAAgB,oBAAoB,IAAI,MAAM,CAE7C;AAGD,wBAAgB,wBAAwB,IAAI,MAAM,CAEjD;AAgDD,wBAAgB,eAAe,CAAC,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,GAAG,MAAM,CA+B5E"}

package/dist/report/brand.js

@@ -0,0 +1,112 @@
+export const KIBI_BRAND = {
+    carbon: "#1d1e23",
+    deepCarbon: "#111318",
+    panel: "#191c22",
+    ice: "#a2d3f4",
+    signal: "#3e8ed6",
+    snow: "#f4f8fb",
+    mist: "#aab8c2",
+    rail: "#34434f",
+    success: "#63c99a",
+    warning: "#f2b84b",
+    danger: "#f07178",
+};
+// Visible path/ellipse markup from assets/logo.svg and assets/wordmark.svg.
+// Packed reports stay self-contained; the e2e fingerprint compares these marks
+// to the canonical files, so keep the geometry in lockstep with those assets.
+const LOGO_BODY = `<path d="M59.403564453125,0.548828125C67.20257568359375,-0.47119140625,80.16162109375,0.2437744140625,88.4605712890625,0.24078369140625L146.50048828125,0.227783203125L214.8255615234375,0.23577880859375C240.16748046875,0.2437744140625,262.236572265625,-2.67620849609375,283.3775634765625,14.2947998046875C311.0205078125,36.48480224609375,307.6495361328125,66.8988037109375,307.671630859375,98.5548095703125L307.6895751953125,162.74783325195312L307.66552734375,217.54684448242188C307.6585693359375,226.07479858398438,307.653564453125,234.5628662109375,307.504638671875,243.0877685546875C306.8895263671875,278.2227783203125,283.66259765625,304.5137939453125,248.32958984375,308.1297607421875C240.6875,308.9278564453125,226.1695556640625,308.5008544921875,217.8525390625,308.4927978515625L161.468505859375,308.4508056640625L93.9794921875,308.5028076171875C68.57257080078125,308.5147705078125,46.83258056640625,311.5418701171875,25.39654541015625,295.0338134765625C-2.66644287109375,273.423828125,0.13555908203125,245.0108642578125,0.10955810546875,213.40182495117188L0.0855712890625,154.30581665039062L0.10357666015625,95.5968017578125C0.112548828125,81.48980712890625,-0.62841796875,66.85577392578125,1.7275390625,52.96478271484375C6.78955078125,23.11376953125,30.14154052734375,3.88580322265625,59.403564453125,0.548828125Z" fill="${KIBI_BRAND.carbon}"/><ellipse cx="113.3257670641164" cy="150.86303791579667" rx="51.325767064116405" ry="51.52454059083652" fill="${KIBI_BRAND.ice}"/><path d="M228.05255126953125,197.78256225585938L227.611572265625,165.51681518554688L156.5028076171875,165.69512939453125L95.43316650390625,165.28231811523438L95.4334716796875,135.09622192382812L156.503173828125,135.26748657226562L227.535888671875,135.08938598632812L227.53631591796875,101.200927734375L252.20697021484375,101.20071411132812L252.20599365234375,197.78225708007812" fill="${KIBI_BRAND.ice}"/>`;
+const WORDMARK_BODY = `<ellipse cx="337.16000366210943" cy="30.99999999999997" rx="20.000000000000057" ry="19.99999999999997" fill="${KIBI_BRAND.signal}"/><path d="M381.8653869628906,49.212493896484375L381.6935119628906,36.688079833984375L353.9847106933594,36.757293701171875L330.1878356933594,36.5970458984375L330.1879577636719,24.8798828125L353.9848327636719,24.94635009765625L381.6640319824219,24.877227783203125L381.6641540527344,11.722930908203125L391.2775573730469,11.72283935546875L391.2771301269531,49.212371826171875" fill="${KIBI_BRAND.signal}"/><path d="M0,155.33001708984375L0,22.1300048828125L19.6199951171875,22.1300048828125L19.6199951171875,102.58999633789062L20.519989013671875,102.58999633789062L35.100006103515625,87.6500244140625L61.20001220703125,62.45001220703125L84.42001342773438,62.45001220703125L46.800018310546875,98.989990234375L88.55999755859375,155.33001708984375L64.98001098632812,155.33001708984375L32.579986572265625,110.1500244140625L19.6199951171875,122.21002197265625L19.6199951171875,155.33001708984375L0,155.33001708984375L0,155.33001708984375M110.33999633789062,155.33001708984375L110.33999633789062,139.49002075195312L132.01998901367188,139.49002075195312L132.01998901367188,78.28997802734375L100.33999633789062,78.28997802734375L100.33999633789062,62.45001220703125L151.63998413085938,62.45001220703125L151.63998413085938,139.49002075195312L171.33999633789062,139.49002075195312L171.33999633789062,155.33001708984375L110.33999633789062,155.33001708984375L110.33999633789062,155.33001708984375M194.3800048828125,155.33001708984375L194.3800048828125,22.1300048828125L214,22.1300048828125L214.08001708984375,70L215.16000366210938,70C221.16000366210938,65,220.16000366210938,66,224.16000366210938,64C229.1324462890625,61.513824462890625,236.32000732421875,60.28997802734375,243.16000366210938,60.28997802734375L243.16000366210938,60.28997802734375C254.08004760742188,60.28997802734375,262.7799987792969,64.3699951171875,269.2599792480469,72.52999877929688C275.7399597167969,80.69000244140625,278.9800109863281,92.80999755859375,278.9800109863281,108.8900146484375L278.9800109863281,108.8900146484375C278.9800109863281,124.97000122070312,275.7399597167969,137.08999633789062,269.2599792480469,145.25C262.7799987792969,153.41000366210938,254.08004760742188,157.49002075195312,243.16000366210938,157.49002075195312L243.16000366210938,157.49002075195312C236.32000732421875,157.49002075195312,227.92709350585938,156.8602294921875,223.16000366210938,154C218.16000366210938,151,219.16000366210938,152,215.16000366210938,147L215.16000366210938,147L214.08001708984375,147L214,155.33001708984375L194.3800048828125,155.33001708984375L194.3800048828125,155.33001708984375M235.05999755859375,141.47000122070312L235.05999755859375,141.47000122070312C242.5,141.47000122070312,248.23001098632812,139.19000244140625,252.24996948242188,134.6300048828125C256.2699890136719,130.07000732421875,258.2799987792969,124.010009765625,258.2799987792969,116.45001220703125L258.2799987792969,116.45001220703125L258.2799987792969,101.33001708984375C258.2799987792969,93.77001953125,256.2699890136719,87.71002197265625,252.24996948242188,83.1500244140625C248.23001098632812,78.59002685546875,242.5,76.30999755859375,235.05999755859375,76.30999755859375L235.05999755859375,76.30999755859375C232.18002319335938,76.30999755859375,229.48001098632812,76.66998291015625,226.95999145507812,77.3900146484375C224.44000244140625,78.1099853515625,222.22000122070312,79.19000244140625,220.30001831054688,80.6300048828125C218.3800048828125,82.07000732421875,216.85000610351562,83.84002685546875,215.70999145507812,85.94000244140625C214.57000732421875,88.03997802734375,214,90.52999877929688,214,93.41000366210938L214,93.41000366210938L214,124.3699951171875C214,127.25,214.57000732421875,129.74002075195312,215.70999145507812,131.83999633789062C216.85000610351562,133.94000244140625,218.3800048828125,135.70999145507812,220.30001831054688,137.14999389648438C222.22000122070312,138.58999633789062,224.44000244140625,139.67001342773438,226.95999145507812,140.3900146484375C229.48001098632812,141.11001586914062,232.18002319335938,141.47000122070312,235.05999755859375,141.47000122070312L235.05999755859375,141.47000122070312M306.3399963378906,155.33001708984375L306.3399963378906,139.49002075195312L328.0199890136719,139.49002075195312L328.0199890136719,78.28997802734375L296.3399963378906,78.28997802734375L296.3399963378906,62.45001220703125L347.6399841308594,62.45001220703125L347.6399841308594,139.49002075195312L367.3399963378906,139.49002075195312L367.3399963378906,155.33001708984375L306.3399963378906,155.33001708984375L306.3399963378906,155.33001708984375" fill="${KIBI_BRAND.ice}"/><ellipse cx="141.66000366210938" cy="31.5" rx="12.5" ry="12.5" fill="${KIBI_BRAND.ice}"/>`;
+function xml(value) {
+    return value
+        .replaceAll("&", "&amp;")
+        .replaceAll("<", "&lt;")
+        .replaceAll(">", "&gt;")
+        .replaceAll('"', "&quot;")
+        .replaceAll("'", "&apos;");
+}
+// implements REQ-kibi-branded-health-report
+export function renderKibiLogo(className = "") {
+    return `<svg${className ? ` class="${xml(className)}"` : ""} viewBox="0 0 308 309" role="img" aria-label="Kibi logo">${LOGO_BODY}</svg>`;
+}
+// implements REQ-kibi-branded-health-report
+export function renderKibiWordmark(className = "") {
+    return `<svg${className ? ` class="${xml(className)}"` : ""} viewBox="-2 10 395 148" role="img" aria-label="Kibi">${WORDMARK_BODY}</svg>`;
+}
+// implements REQ-kibi-branded-health-report
+export function renderKibiFaviconSvg() {
+    return `<svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 308 309">${LOGO_BODY}</svg>`;
+}
+// implements REQ-kibi-branded-health-report
+export function renderKibiFaviconDataUri() {
+    return `data:image/svg+xml;utf8,${encodeURIComponent(renderKibiFaviconSvg())}`;
+}
+const BADGE_HEIGHT = 20;
+const BADGE_LABEL = "kibi";
+const BADGE_FONT = "DejaVu Sans,Verdana,Geneva,sans-serif";
+const BADGE_LOGO = 14;
+const BADGE_LOGO_LEFT = 5;
+const BADGE_LOGO_GAP = 3;
+const BADGE_TEXT_PAD = 8;
+const BADGE_LABEL_FILL = "#555";
+const BADGE_TEXT_FILL = "#fff";
+const BADGE_TEXT_SHADOW = "#010101";
+const BADGE_LOGO_BODY = LOGO_BODY.replaceAll(`fill="${KIBI_BRAND.carbon}"`, `fill="${BADGE_LABEL_FILL}"`);
+function badgeTextWidth(text) {
+    let width = 0;
+    for (const char of text) {
+        if (char === " ")
+            width += 4;
+        else if (char === "%")
+            width += 9;
+        else
+            width += 7;
+    }
+    return Math.ceil(width);
+}
+function badgeLabelWidth(label) {
+    return (BADGE_LOGO_LEFT +
+        BADGE_LOGO +
+        BADGE_LOGO_GAP +
+        badgeTextWidth(label) +
+        BADGE_TEXT_PAD);
+}
+function badgeMessageWidth(message) {
+    return BADGE_TEXT_PAD + badgeTextWidth(message) + BADGE_TEXT_PAD;
+}
+function badgeCaption(x, text) {
+    const safe = xml(text);
+    return `<text x="${x}" y="15" fill="${BADGE_TEXT_SHADOW}" fill-opacity=".3">${safe}</text>
+    <text x="${x}" y="14" fill="${BADGE_TEXT_FILL}">${safe}</text>`;
+}
+// implements REQ-kibi-branded-health-report
+export function renderKibiBadge(message, statusColor) {
+    const accessible = `Kibi requirement health: ${message}`;
+    const labelWidth = badgeLabelWidth(BADGE_LABEL);
+    const messageWidth = badgeMessageWidth(message);
+    const width = labelWidth + messageWidth;
+    const logoX = BADGE_LOGO_LEFT;
+    const logoY = (BADGE_HEIGHT - BADGE_LOGO) / 2;
+    const labelTextX = BADGE_LOGO_LEFT +
+        BADGE_LOGO +
+        BADGE_LOGO_GAP +
+        badgeTextWidth(BADGE_LABEL) / 2;
+    const messageTextX = labelWidth + messageWidth / 2;
+    return `<svg xmlns="http://www.w3.org/2000/svg" role="img" aria-label="${xml(accessible)}" width="${width}" height="${BADGE_HEIGHT}" viewBox="0 0 ${width} ${BADGE_HEIGHT}">
+  <title>${xml(accessible)}</title>
+  <linearGradient id="kibi-badge-s" x2="0" y2="100%">
+    <stop offset="0" stop-color="#bbb" stop-opacity=".1"/>
+    <stop offset="1" stop-opacity=".1"/>
+  </linearGradient>
+  <clipPath id="kibi-badge"><rect width="${width}" height="${BADGE_HEIGHT}" rx="3" fill="#fff"/></clipPath>
+  <g clip-path="url(#kibi-badge)">
+    <rect width="${labelWidth}" height="${BADGE_HEIGHT}" fill="${BADGE_LABEL_FILL}"/>
+    <rect x="${labelWidth}" width="${messageWidth}" height="${BADGE_HEIGHT}" fill="${xml(statusColor)}"/>
+    <rect width="${width}" height="${BADGE_HEIGHT}" fill="url(#kibi-badge-s)"/>
+  </g>
+  <g fill="${BADGE_TEXT_FILL}" text-anchor="middle" font-family="${BADGE_FONT}" font-size="11">
+    ${badgeCaption(labelTextX, BADGE_LABEL)}
+    ${badgeCaption(messageTextX, message)}
+  </g>
+  <svg x="${logoX}" y="${logoY}" width="${BADGE_LOGO}" height="${BADGE_LOGO}" viewBox="0 0 308 309" aria-hidden="true">${BADGE_LOGO_BODY}</svg>
+</svg>`;
+}

package/dist/report/html-report.css

@@ -0,0 +1,282 @@
+    :root {
+      color-scheme: dark;
+      --bg: #090d18;
+      --surface: rgba(20, 27, 45, .86);
+      --surface-strong: #151d30;
+      --line: rgba(157, 171, 206, .16);
+      --text: #f4f7ff;
+      --muted: #9ba7c3;
+      --violet: #9d84ff;
+      --cyan: #5ce1e6;
+      --green: #62e6a7;
+      --amber: #ffc96b;
+      --red: #ff7d90;
+      --shadow: 0 30px 80px rgba(0, 0, 0, .35);
+      font-family: Inter, ui-sans-serif, system-ui, -apple-system, BlinkMacSystemFont, "Segoe UI", sans-serif;
+    }
+    * { box-sizing: border-box; }
+    html { scroll-behavior: smooth; }
+    body {
+      margin: 0;
+      min-width: 320px;
+      color: var(--text);
+      background:
+        radial-gradient(circle at 12% -10%, rgba(93, 74, 190, .32), transparent 34rem),
+        radial-gradient(circle at 88% 8%, rgba(33, 153, 166, .19), transparent 30rem),
+        var(--bg);
+    }
+    body::before {
+      position: fixed;
+      inset: 0;
+      z-index: -1;
+      content: "";
+      opacity: .18;
+      background-image: linear-gradient(rgba(255,255,255,.035) 1px, transparent 1px), linear-gradient(90deg, rgba(255,255,255,.035) 1px, transparent 1px);
+      background-size: 38px 38px;
+      mask-image: linear-gradient(to bottom, black, transparent 75%);
+    }
+    .shell { width: min(1160px, calc(100% - 40px)); margin: 0 auto; }
+    .topbar { display: flex; align-items: center; justify-content: space-between; padding: 34px 0 16px; }
+    .brand { display: flex; align-items: center; gap: 12px; font-weight: 900; letter-spacing: .3em; }
+    .brand__mark { display: grid; width: 34px; height: 34px; place-items: center; border: 1px solid rgba(157,132,255,.55); border-radius: 11px; color: var(--violet); background: rgba(157,132,255,.12); box-shadow: inset 0 0 18px rgba(157,132,255,.12); }
+    .snapshot { color: var(--muted); font: 500 12px/1.4 ui-monospace, SFMono-Regular, Menlo, monospace; }
+    .hero { display: grid; grid-template-columns: 1.15fr .85fr; gap: 30px; align-items: stretch; padding: 42px 0 26px; }
+    .hero__copy, .score-card { border: 1px solid var(--line); border-radius: 28px; background: linear-gradient(145deg, rgba(25,33,54,.92), rgba(13,18,31,.82)); box-shadow: var(--shadow); }
+    .hero__copy { padding: clamp(30px, 5vw, 62px); }
+    .eyebrow { margin: 0 0 17px; color: var(--cyan); font-size: 12px; font-weight: 800; letter-spacing: .18em; text-transform: uppercase; }
+    h1 { max-width: 720px; margin: 0; font-size: clamp(42px, 7vw, 76px); font-weight: 760; letter-spacing: -.055em; line-height: .98; }
+    h1 span { display: block; color: var(--muted); font-size: .42em; font-weight: 620; letter-spacing: -.025em; line-height: 1.4; }
+    .hero__lede { max-width: 620px; margin: 25px 0 0; color: #bdc6dc; font-size: 17px; line-height: 1.65; }
+    .score-card { display: grid; min-height: 340px; padding: 38px; place-items: center; text-align: center; }
+    .score-ring { --score: 0%; position: relative; display: grid; width: 220px; aspect-ratio: 1; place-items: center; border-radius: 50%; background: conic-gradient(var(--green) var(--score), rgba(255,255,255,.08) 0); box-shadow: 0 0 60px rgba(98,230,167,.12); }
+    .score-ring::before { position: absolute; width: 178px; aspect-ratio: 1; content: ""; border: 1px solid var(--line); border-radius: inherit; background: #111827; }
+    .score-ring__value { position: relative; font-size: 52px; font-weight: 820; letter-spacing: -.06em; }
+    .score-ring__value span { margin-left: 2px; color: var(--muted); font-size: 22px; }
+    .score-card p { position: relative; margin: 13px 0 0; color: var(--muted); font-size: 13px; font-weight: 750; letter-spacing: .12em; text-transform: uppercase; }
+    .snapshot-notice { display: flex; gap: 14px; align-items: center; margin: 3px 0 23px; padding: 15px 18px; border: 1px solid rgba(255,201,107,.3); border-radius: 15px; color: #f8dfb2; background: rgba(255,201,107,.08); }
+    .snapshot-notice strong { flex: none; color: var(--amber); font-size: 12px; letter-spacing: .08em; text-transform: uppercase; }
+    .metrics { display: grid; grid-template-columns: repeat(auto-fit, minmax(148px, 1fr)); overflow: hidden; margin: 0 0 62px; border: 1px solid var(--line); border-radius: 20px; background: rgba(18,25,42,.74); box-shadow: var(--shadow); }
+    .metric { min-width: 0; padding: 22px 20px; border-right: 1px solid var(--line); border-bottom: 1px solid var(--line); }
+    .metric:last-child { border-right: 0; }
+    .metric span { display: block; min-height: 32px; color: var(--muted); font-size: 12px; line-height: 1.35; }
+    .metric strong { display: block; margin-top: 6px; font-size: 30px; letter-spacing: -.035em; }
+    .metric--good strong { color: var(--green); }
+    .metric--warn strong { color: var(--amber); }
+    .metric--bad strong { color: var(--red); }
+    .section-header { display: flex; gap: 24px; align-items: end; justify-content: space-between; margin-bottom: 24px; }
+    .section-header h2 { margin: 0; font-size: clamp(29px, 4vw, 42px); letter-spacing: -.04em; }
+    .section-header p { max-width: 590px; margin: 8px 0 0; color: var(--muted); line-height: 1.55; }
+    .controls { position: sticky; top: 12px; z-index: 4; display: flex; gap: 12px; margin: 0 0 24px; padding: 12px; border: 1px solid var(--line); border-radius: 18px; background: rgba(9,13,24,.86); box-shadow: 0 16px 40px rgba(0,0,0,.25); backdrop-filter: blur(18px); }
+    .search { min-width: 180px; flex: 1; padding: 12px 15px; border: 1px solid var(--line); border-radius: 12px; outline: none; color: var(--text); background: rgba(255,255,255,.045); font: inherit; }
+    .search:focus { border-color: var(--violet); box-shadow: 0 0 0 3px rgba(157,132,255,.12); }
+    .filters { display: flex; gap: 7px; overflow-x: auto; }
+    .filter { padding: 10px 13px; border: 1px solid transparent; border-radius: 11px; color: var(--muted); background: transparent; cursor: pointer; font: inherit; font-size: 12px; font-weight: 650; white-space: nowrap; }
+    .filter:hover { color: var(--text); background: rgba(255,255,255,.05); }
+    .filter[aria-pressed="true"] { border-color: rgba(157,132,255,.38); color: #ddd5ff; background: rgba(157,132,255,.14); }
+    .requirements { display: grid; grid-template-columns: repeat(2, minmax(0, 1fr)); gap: 18px; padding-bottom: 80px; }
+    .requirement { position: relative; overflow: hidden; padding: 25px; border: 1px solid var(--line); border-radius: 20px; background: linear-gradient(145deg, rgba(22,30,50,.94), rgba(15,21,36,.9)); box-shadow: 0 16px 45px rgba(0,0,0,.2); }
+    .requirement::before { position: absolute; inset: 0 auto 0 0; width: 3px; content: ""; background: var(--amber); }
+    .requirement--proven::before { background: var(--green); }
+    .requirement--unresolved::before { background: var(--red); }
+    .requirement[hidden] { display: none; }
+    .requirement__header { display: flex; gap: 18px; align-items: start; justify-content: space-between; }
+    .requirement__id { margin-bottom: 7px; color: var(--muted); font: 700 11px/1.2 ui-monospace, SFMono-Regular, Menlo, monospace; letter-spacing: .05em; }
+    .requirement h3 { margin: 0; font-size: 20px; line-height: 1.25; letter-spacing: -.02em; }
+    .proof-badge { flex: none; padding: 7px 9px; border: 1px solid rgba(255,201,107,.25); border-radius: 999px; color: var(--amber); background: rgba(255,201,107,.08); font-size: 10px; font-weight: 800; letter-spacing: .07em; text-transform: uppercase; }
+    .proof-badge--proven { border-color: rgba(98,230,167,.25); color: var(--green); background: rgba(98,230,167,.08); }
+    .proof-badge--unresolved { border-color: rgba(255,125,144,.25); color: var(--red); background: rgba(255,125,144,.08); }
+    .stages { display: grid; gap: 9px; margin: 24px 0 0; padding: 0; list-style: none; }
+    .stage { display: grid; grid-template-columns: 20px minmax(100px, .7fr) 1.3fr; gap: 8px; align-items: baseline; }
+    .stage__icon { display: grid; width: 17px; height: 17px; place-items: center; border-radius: 50%; color: #08130e; background: var(--green); font-size: 11px; font-weight: 900; }
+    .stage--warning .stage__icon { color: #241602; background: var(--amber); }
+    .stage--failed .stage__icon { color: #24080c; background: var(--red); }
+    .stage--muted .stage__icon { color: var(--muted); background: rgba(255,255,255,.08); }
+    .stage__label { font-size: 13px; font-weight: 720; }
+    .stage__detail { color: var(--muted); font-size: 12px; line-height: 1.45; }
+    .contradiction { margin-top: 21px; padding: 16px; border: 1px solid rgba(255,125,144,.24); border-radius: 14px; background: rgba(255,125,144,.07); }
+    .contradiction__eyebrow { color: var(--red); font-size: 10px; font-weight: 850; letter-spacing: .1em; text-transform: uppercase; }
+    .contradiction__values { display: flex; gap: 11px; align-items: center; margin-top: 9px; font: 750 15px/1.4 ui-monospace, SFMono-Regular, Menlo, monospace; }
+    .contradiction__values b { color: var(--red); }
+    .contradiction p { margin: 8px 0 0; color: #d9a9b1; font-size: 12px; line-height: 1.5; }
+    .proof-gaps { margin-top: 18px; border-top: 1px solid var(--line); color: var(--muted); font-size: 12px; }
+    .proof-advisories { margin-top: 12px; border-top: 1px solid var(--line); color: var(--muted); font-size: 12px; }
+    .proof-gaps summary, .proof-advisories summary { padding-top: 14px; cursor: pointer; font-weight: 700; }
+    .proof-gaps ul, .proof-advisories ul { columns: 2; margin: 11px 0 0; padding-left: 18px; }
+    .proof-gaps li, .proof-advisories li { margin-bottom: 7px; break-inside: avoid; }
+    .empty { display: none; padding: 70px 20px; border: 1px dashed var(--line); border-radius: 20px; color: var(--muted); text-align: center; }
+    .empty[data-visible="true"] { display: block; }
+    footer { display: flex; gap: 20px; justify-content: space-between; padding: 30px 0 48px; border-top: 1px solid var(--line); color: var(--muted); font-size: 12px; }
+    @media (max-width: 960px) {
+      .hero { grid-template-columns: 1fr; }
+      .score-card { min-height: 290px; }
+      .metrics { grid-template-columns: repeat(3, 1fr); }
+      .metric:nth-child(3) { border-right: 0; }
+      .metric:nth-child(-n+3) { border-bottom: 1px solid var(--line); }
+    }
+    @media (max-width: 760px) {
+      .shell { width: min(100% - 24px, 1160px); }
+      .topbar { padding-top: 22px; }
+      .hero { padding-top: 20px; }
+      .hero__copy, .score-card { border-radius: 22px; }
+      .requirements { grid-template-columns: 1fr; }
+      .section-header { align-items: start; flex-direction: column; }
+      .controls { align-items: stretch; flex-direction: column; }
+      .filters { padding-bottom: 2px; }
+      footer { flex-direction: column; }
+    }
+    @media (max-width: 520px) {
+      .metrics { grid-template-columns: repeat(2, 1fr); }
+      .metric { border-bottom: 1px solid var(--line); }
+      .metric:nth-child(2n) { border-right: 0; }
+      .metric:nth-last-child(-n+2) { border-bottom: 0; }
+      .stage { grid-template-columns: 20px 1fr; }
+      .stage__detail { grid-column: 2; }
+      .proof-gaps ul { columns: 1; }
+    }
+    @media print {
+      body { background: #fff; color: #111827; }
+      body::before, .controls { display: none; }
+      .hero__copy, .score-card, .metrics, .requirement { border-color: #d9deea; color: #111827; background: #fff; box-shadow: none; break-inside: avoid; }
+      .requirements { display: block; }
+      .requirement { margin-bottom: 14px; }
+      .hero__lede, .metric span, .stage__detail, .section-header p, footer { color: #59647a; }
+    }
+
+    /* Kibi proof-rail identity. Tokens mirror assets/logo.svg and assets/wordmark.svg. */
+    :root {
+      --carbon: __KIBI_CARBON__;
+      --deep-carbon: __KIBI_DEEP_CARBON__;
+      --panel: __KIBI_PANEL__;
+      --ice: __KIBI_ICE__;
+      --signal: __KIBI_SIGNAL__;
+      --snow: __KIBI_SNOW__;
+      --mist: __KIBI_MIST__;
+      --rail: __KIBI_RAIL__;
+      --success: __KIBI_SUCCESS__;
+      --warning: __KIBI_WARNING__;
+      --danger: __KIBI_DANGER__;
+      --line: rgba(162, 211, 244, .16);
+      --mono: ui-monospace, SFMono-Regular, Menlo, Monaco, Consolas, monospace;
+      font-family: ui-sans-serif, system-ui, -apple-system, BlinkMacSystemFont, "Segoe UI", sans-serif;
+    }
+    body { color: var(--snow); background: var(--deep-carbon); }
+    body::before { position: fixed; inset: 0 0 auto; z-index: -1; height: 4px; content: ""; opacity: 1; background: linear-gradient(90deg, var(--ice) 0 17%, var(--signal) 17% 100%); mask-image: none; }
+    .shell { width: min(1180px, calc(100% - 40px)); }
+    .topbar { padding: 30px 0 20px; border-bottom: 1px solid var(--line); }
+    .brand { gap: 13px; letter-spacing: normal; }
+    .brand__logo { width: 42px; height: 42px; flex: none; }
+    .brand__wordmark { width: 86px; height: auto; }
+    .brand__product { padding-left: 14px; border-left: 1px solid var(--rail); color: var(--mist); font-size: 12px; font-weight: 700; letter-spacing: .08em; text-transform: uppercase; }
+    .snapshot { max-width: min(52vw, 420px); overflow: hidden; color: var(--mist); font: 500 11px/1.4 var(--mono); text-align: right; text-overflow: ellipsis; }
+    .snapshot a, .source-link, .cta { color: var(--ice); text-decoration: underline; text-decoration-thickness: 1px; text-underline-offset: 2px; }
+    .snapshot a:hover, .source-link:hover, .cta:hover { color: var(--snow); }
+    .relative-age::before { content: " · "; }
+    .relative-age:empty::before { content: none; }
+    .overview { display: grid; grid-template-columns: minmax(0, 1fr) auto; gap: 36px; align-items: end; padding: clamp(38px, 7vw, 76px) 0 32px; }
+    .eyebrow { margin: 0 0 12px; color: var(--ice); font: 750 11px/1.4 var(--mono); letter-spacing: .12em; }
+    h1 { margin: 0; font-size: clamp(38px, 6vw, 68px); font-weight: 720; letter-spacing: -.052em; line-height: 1; }
+    .overview__copy { max-width: 700px; }
+    .overview__copy p:last-child { max-width: 660px; margin: 19px 0 0; color: var(--mist); font-size: 16px; line-height: 1.65; }
+    .score { min-width: 220px; padding-left: 30px; border-left: 2px solid var(--signal); text-align: right; }
+    .score__value { color: var(--snow); font: 760 clamp(62px, 9vw, 104px)/.84 var(--mono); letter-spacing: -.09em; }
+    .score__value span { color: var(--ice); font-size: .38em; letter-spacing: -.04em; }
+    .score__label { margin-top: 17px; color: var(--ice); font-size: 12px; font-weight: 760; letter-spacing: .12em; text-transform: uppercase; }
+    .score__ratio { margin-top: 6px; color: var(--mist); font: 500 12px/1.4 var(--mono); }
+    .score__note { max-width: 260px; margin: 10px 0 0 auto; color: var(--mist); font-size: 11px; font-weight: 500; letter-spacing: 0; line-height: 1.45; text-transform: none; }
+    .snapshot-notice { margin: 0 0 22px; padding: 14px 16px; border-color: rgba(242,184,75,.4); border-radius: 9px; color: var(--snow); background: rgba(242,184,75,.08); }
+    .snapshot-notice strong { color: var(--warning); font: 750 11px/1.4 var(--mono); }
+    .proof-path { margin-bottom: 20px; padding: 24px 26px 22px; border: 1px solid var(--line); border-radius: 14px; background: var(--carbon); }
+    .proof-path__header { display: flex; gap: 24px; align-items: start; justify-content: space-between; margin-bottom: 25px; }
+    .proof-path__header h2 { margin: 0; font-size: 19px; letter-spacing: -.02em; }
+    .proof-path__header p { max-width: 510px; margin: 0; color: var(--mist); font-size: 12px; line-height: 1.55; text-align: right; }
+    .proof-rail { display: grid; grid-template-columns: repeat(5, minmax(0, 1fr)); margin: 0; padding: 0; list-style: none; }
+    .proof-rail > li { min-width: 0; }
+    .proof-gate { position: relative; display: block; width: 100%; min-width: 0; margin: 0; padding: 25px 18px 0 0; border: 0; border-top: 2px solid var(--signal); border-radius: 0; color: inherit; background: transparent; font: inherit; text-align: left; cursor: pointer; }
+    .proof-gate:last-child, .proof-rail > li:last-child .proof-gate { padding-right: 0; }
+    .proof-gate:focus-visible { outline: 2px solid var(--ice); outline-offset: 4px; }
+    .proof-gate[aria-pressed="true"] { background: rgba(62, 142, 214, .1); }
+    .proof-gate__node { position: absolute; top: -10px; left: 0; display: grid; width: 19px; height: 19px; place-items: center; border: 2px solid var(--ice); border-radius: 50%; color: var(--deep-carbon); background: var(--ice); font: 800 9px/1 var(--mono); }
+    .proof-gate--blocked { border-top-color: var(--rail); }
+    .proof-gate--blocked .proof-gate__node { border-color: var(--danger); color: var(--danger); background: var(--carbon); }
+    .proof-gate__count { font: 750 28px/1 var(--mono); letter-spacing: -.05em; }
+    .proof-gate__label { margin-top: 8px; font-size: 13px; font-weight: 720; }
+    .proof-gate__drop { min-height: 17px; margin-top: 5px; color: var(--warning); font: 650 10px/1.4 var(--mono); }
+    .proof-gate p { margin: 7px 0 0; color: var(--mist); font-size: 11px; line-height: 1.45; }
+    .metrics { margin: 0 0 62px; border-color: var(--line); border-radius: 12px; background: var(--panel); box-shadow: none; }
+    .metric { position: relative; padding: 18px 17px; border-color: var(--line); }
+    .metric::before { position: absolute; top: 0; left: 17px; width: 28px; height: 2px; content: ""; background: var(--signal); }
+    .metric span { min-height: 31px; color: var(--mist); font-size: 11px; }
+    .metric strong { margin-top: 4px; font: 720 26px/1 var(--mono); letter-spacing: -.04em; }
+    .metric--good strong { color: var(--success); }
+    .metric--warn strong { color: var(--warning); }
+    .metric--bad strong { color: var(--danger); }
+    .section-header p { color: var(--mist); }
+    .controls { margin-bottom: 18px; padding: 10px; border-color: var(--line); border-radius: 12px; background: rgba(17,19,24,.94); box-shadow: none; backdrop-filter: blur(14px); }
+    .search { padding: 11px 13px; border-color: var(--rail); border-radius: 8px; color: var(--snow); background: var(--carbon); }
+    .search:focus { border-color: var(--ice); box-shadow: 0 0 0 3px rgba(162,211,244,.1); }
+    .filters { gap: 6px; }
+    .filter { padding: 9px 11px; border-radius: 7px; color: var(--mist); font: 650 11px/1.4 var(--mono); }
+    .filter:hover { color: var(--snow); background: rgba(162,211,244,.06); }
+    .filter[aria-pressed="true"] { border-color: rgba(162,211,244,.35); color: var(--ice); background: rgba(62,142,214,.13); }
+    .filter:focus-visible { outline: 2px solid var(--ice); outline-offset: 2px; }
+    .cta:focus-visible, .source-link:focus-visible, .snapshot a:focus-visible { outline: 2px solid var(--ice); outline-offset: 2px; }
+    .requirements { grid-template-columns: 1fr; gap: 13px; }
+    .requirement { padding: 22px 24px 20px; border-color: var(--line); border-radius: 12px; background: var(--panel); box-shadow: none; }
+    .requirement::before { background: var(--warning); }
+    .requirement--proven::before { background: var(--success); }
+    .requirement--unresolved::before { background: var(--danger); }
+    .requirement__id { color: var(--ice); font: 700 10px/1.2 var(--mono); letter-spacing: .07em; }
+    .requirement h3 { font-size: 18px; line-height: 1.3; }
+    .proof-badge { padding: 6px 8px; border-color: rgba(242,184,75,.3); border-radius: 6px; color: var(--warning); background: rgba(242,184,75,.07); font: 800 9px/1.2 var(--mono); }
+    .proof-badge--proven { border-color: rgba(99,201,154,.3); color: var(--success); background: rgba(99,201,154,.07); }
+    .proof-badge--unresolved { border-color: rgba(240,113,120,.3); color: var(--danger); background: rgba(240,113,120,.07); }
+    .stages { grid-template-columns: repeat(5, minmax(0, 1fr)); gap: 0; }
+    .stage { position: relative; display: block; min-width: 0; padding: 20px 13px 0 0; border-top: 1px solid var(--rail); }
+    .stage:last-child { padding-right: 0; }
+    .stage__icon { position: absolute; top: -8px; left: 0; width: 16px; height: 16px; border: 1px solid var(--success); color: var(--deep-carbon); background: var(--success); font: 900 10px/1 var(--mono); }
+    .stage--warning .stage__icon { border-color: var(--warning); color: var(--warning); background: var(--panel); }
+    .stage--failed .stage__icon { border-color: var(--danger); color: var(--danger); background: var(--panel); }
+    .stage--muted .stage__icon { border-color: var(--rail); color: var(--mist); background: var(--panel); }
+    .stage__label { display: block; font-size: 12px; }
+    .stage__detail { display: block; margin-top: 5px; color: var(--mist); font-size: 11px; }
+    .contradiction { border-color: rgba(240,113,120,.32); border-radius: 9px; background: rgba(240,113,120,.07); }
+    .contradiction__eyebrow, .contradiction__values b { color: var(--danger); }
+    .contradiction p, .proof-gaps, .proof-advisories { color: var(--mist); }
+    .proof-gaps, .proof-advisories { border-color: var(--line); }
+    .proof-gaps ul, .proof-advisories ul { columns: 3; }
+    .empty { border-color: var(--rail); border-radius: 12px; color: var(--mist); }
+    footer { border-color: var(--line); color: var(--mist); font: 500 11px/1.5 var(--mono); }
+    .filter__count { margin-left: 6px; color: var(--ice); }
+    .requirement h3 .source-link { color: inherit; }
+    @media (max-width: 960px) {
+      .proof-rail { grid-template-columns: repeat(5, 180px); overflow-x: auto; padding-top: 8px; }
+      .snapshot { max-width: 100%; }
+    }
+    @media (max-width: 760px) {
+      .shell { width: min(100% - 24px, 1180px); }
+      .topbar { align-items: start; flex-wrap: wrap; gap: 12px; }
+      .snapshot { max-width: 100%; text-align: left; }
+      .overview { grid-template-columns: 1fr; gap: 28px; padding-top: 38px; }
+      .score { min-width: 0; padding: 20px 0 0; border-top: 2px solid var(--signal); border-left: 0; text-align: left; }
+      .score__value { font-size: 66px; }
+      .score__note { margin-left: 0; }
+      .proof-path__header { align-items: start; flex-direction: column; }
+      .proof-path__header p { text-align: left; }
+      .stages { grid-template-columns: 1fr; }
+      .stage { min-height: 66px; margin-left: 8px; padding: 0 0 18px 30px; border-top: 0; border-left: 1px solid var(--rail); }
+      .stage__icon { top: 0; left: -8px; }
+      .proof-gaps ul, .proof-advisories ul { columns: 2; }
+    }
+    @media (max-width: 520px) {
+      .brand__product { display: none; }
+      .proof-path { padding-inline: 18px; }
+      .proof-gaps ul, .proof-advisories ul { columns: 1; }
+    }
+    @media print {
+      :root { color-scheme: light; }
+      body { color: #17202a; background: #fff; }
+      .topbar, .proof-path, .metrics, .requirement { border-color: #cbd5dc; color: #17202a; background: #fff; }
+      .proof-gate, .stage { border-color: #7b8b96; background: transparent; }
+      .proof-gate p, .proof-path__header p, .metric span, .stage__detail, .section-header p, footer, .score__note { color: #4e606c; }
+      .source-link, .cta, .snapshot a { color: inherit; }
+    }

package/dist/report/html-report.d.ts

@@ -0,0 +1,21 @@
+import { type ProofGateKey } from "./report-view.js";
+import { type ReportRepository } from "./repository.js";
+export type UnknownRecord = Readonly<Record<string, unknown>>;
+export declare const REPORT_CSP = "default-src 'none'; img-src data:; style-src 'unsafe-inline'; script-src 'unsafe-inline'";
+export declare const KIBI_GETTING_STARTED_URL = "https://github.com/Looted/kibi/blob/develop/docs/install.md";
+export type HtmlReportCoverage = Readonly<{
+    summary: UnknownRecord;
+    rows: readonly UnknownRecord[];
+    meta?: UnknownRecord;
+}>;
+export type HtmlReportInput = Readonly<{
+    requirements: HtmlReportCoverage;
+    symbols: HtmlReportCoverage;
+    branch: string;
+    generatedAt: Date;
+    repository?: ReportRepository;
+}>;
+export declare function firstFailingProofGate(gates: readonly ProofGateKey[], passes: (gate: ProofGateKey) => boolean): ProofGateKey | "proven";
+export declare function earliestUnmetGate(row: UnknownRecord): ProofGateKey | "proven";
+export declare function renderHtmlReport(input: HtmlReportInput): string;
+//# sourceMappingURL=html-report.d.ts.map

package/dist/report/html-report.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"html-report.d.ts","sourceRoot":"","sources":["../../src/report/html-report.ts"],"names":[],"mappings":"AAUA,OAAO,EACL,KAAK,YAAY,EAGlB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EACL,KAAK,gBAAgB,EAMtB,MAAM,iBAAiB,CAAC;AAGzB,MAAM,MAAM,aAAa,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;AAuB9D,eAAO,MAAM,UAAU,6FACqE,CAAC;AAG7F,eAAO,MAAM,wBAAwB,gEAC0B,CAAC;AAEhE,MAAM,MAAM,kBAAkB,GAAG,QAAQ,CAAC;IACxC,OAAO,EAAE,aAAa,CAAC;IACvB,IAAI,EAAE,SAAS,aAAa,EAAE,CAAC;IAC/B,IAAI,CAAC,EAAE,aAAa,CAAC;CACtB,CAAC,CAAC;AAEH,MAAM,MAAM,eAAe,GAAG,QAAQ,CAAC;IACrC,YAAY,EAAE,kBAAkB,CAAC;IACjC,OAAO,EAAE,kBAAkB,CAAC;IAC5B,MAAM,EAAE,MAAM,CAAC;IACf,WAAW,EAAE,IAAI,CAAC;IAClB,UAAU,CAAC,EAAE,gBAAgB,CAAC;CAC/B,CAAC,CAAC;AAsMH,wBAAgB,qBAAqB,CACnC,KAAK,EAAE,SAAS,YAAY,EAAE,EAC9B,MAAM,EAAE,CAAC,IAAI,EAAE,YAAY,KAAK,OAAO,GACtC,YAAY,GAAG,QAAQ,CAKzB;AAID,wBAAgB,iBAAiB,CAAC,GAAG,EAAE,aAAa,GAAG,YAAY,GAAG,QAAQ,CAM7E;AA8YD,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,eAAe,GAAG,MAAM,CAuM/D"}