@telora/daemon 0.22.137 → 0.22.146

package/dist/resolvers/shared/branch-fact-provenance.js

@@ -0,0 +1,571 @@
+// PINNED-BY-BEGIN (generated by gen:pinned-by -- do not hand-edit; checked by lint:pinned-by)
+// Pinned by: packages/daemon/src/resolvers/focus-review-coverage.test.ts,
+//   packages/daemon/src/resolvers/shared/branch-fact-provenance.test.ts
+// PINNED-BY-END
+/**
+ * FACT-LEVEL provenance for a focus branch: which DELIVERY produced each
+ * observed change, and whether that delivery has been reviewed.
+ *
+ * WHY IT EXISTS. A scoping pass reads the focus branch and observes FACTS --
+ * a hunk, a file, a behaviour. The delivery review-coverage partition tells it
+ * which DELIVERIES are reviewed; the diff tells it what CHANGED. Neither joins
+ * the two, so the pass was left to infer "which delivery produced this hunk?"
+ * from file paths and commit subjects -- exactly the inference chain the
+ * partition removes. Inferred wrong, residue of unreviewed work is anchored as
+ * a fresh sibling and the focus re-opens on work no reviewer judged.
+ *
+ * THE GRAIN, AND WHY. A fact is produced by exactly ONE commit, so the commit
+ * is the honest atom: its `Telora-Delivery` trailer is a durable per-commit
+ * attribution (it survives fast-forward and rebase, unlike branch topology).
+ * FILE grain is DERIVED by folding the commits that touched each path -- a
+ * pass observes "something in src/x.ts", not a sha. A file several deliveries
+ * touched SAYS SO and lists all of them; it never picks one.
+ *
+ * AND LINE GRAIN, BECAUSE A FILE ROW NEVER ANSWERS FOR A LINE. A file row says
+ * who TOUCHED the file. The shortcut "only one contributor, so every line is
+ * theirs" is FALSE for the commonest file there is, a pre-existing one: its
+ * untouched lines were written before the base, by nobody in this focus. A
+ * capped read manufactures the same false single-contributor file by the same
+ * arithmetic. Both are POSITIVE false attributions -- the one thing this
+ * module refuses everywhere else. So line grain is attempted for EVERY file
+ * present at the tip, read from `git blame`: the line is looked up, never
+ * reasoned about. And when a reviewed line was later rewritten by an
+ * unreviewed delivery the visible text is the unreviewed one's, so blame's
+ * "who last wrote this" also errs in the safe direction.
+ *
+ * A DELETION IS A FACT TOO, and the one blame cannot carry: the path is gone
+ * at the tip, so there is nothing there to blame. It is read from the log
+ * instead -- `--name-status` NAMES the removing commit (a `D`, or the old side
+ * of a rename) at no extra process -- which carries its delivery and review
+ * state like any other. A removed path thus costs no blame at all.
+ *
+ * THE COST, AND HOW IT IS BOUNDED. Blame is a per-file history walk, far
+ * dearer than the single batched `git log` the other grains share. The bound
+ * is the BUDGET, not a selection rule deciding which files are safe to leave
+ * unread: at most {@link BRANCH_FACT_BLAME_FILE_CAP} blames per reading --
+ * unchanged, so the worst case costs what it always did -- spent riskiest
+ * file first, and capped again per file when rendered. Every file the budget
+ * does not reach is DECLARED unattributed rather than quietly left out. The
+ * cheaper rule, letting a single-contributor file row answer for all its
+ * lines, is the WRONG trade this paragraph exists to refuse.
+ *
+ * FAIL CLOSED, NEVER GUESS. A commit whose trailer names no delivery of THIS
+ * focus is UNATTRIBUTED -- rendered explicitly as such and counted as
+ * UNREVIEWED. So is a merge, an unreadable window, and every commit past the
+ * read cap. The same rule holds one level down: a line whose producing commit
+ * is outside the read window, an unreadable blame, a file past the blame cap,
+ * a removal whose commit cannot be named, and a reading that never descended
+ * to line grain are each rendered as UNATTRIBUTED rather than omitted. The one
+ * direction this module must never fail in is calling unreviewed work reviewed.
+ *
+ * @module resolvers/shared/branch-fact-provenance
+ */
+import { execFileSync } from 'node:child_process';
+import { DELIVERY_TRAILER_KEY, classifyTrailerValue } from './git-diff.js';
+// -- Reading ----------------------------------------------------------------
+const FIELD_SEP = '\x1f';
+const RECORD_SEP = '\x1e';
+const GIT_READ = {
+    maxBuffer: 10 * 1024 * 1024,
+    encoding: 'utf-8',
+    stdio: ['ignore', 'pipe', 'pipe'],
+};
+/**
+ * The most commits one window read classifies. Past it the read stops and the
+ * rendering SAYS the listing is incomplete -- an unlisted commit is not
+ * silently absent, it is declared unattributable for this pass.
+ */
+export const BRANCH_FACT_COMMIT_CAP = 500;
+/**
+ * One `--name-status` line, folded into the commit's touched and removed sets.
+ * A rename compresses two facts -- the new path exists, the old one does NOT --
+ * so it is expanded back into both: "where did this file go?" asks the old one.
+ */
+function foldStatusLine(line, files, removed) {
+    const [status = '', first = '', second] = line.split('\t').map((p) => p.trim());
+    if (status === '' || first === '')
+        return;
+    if (second !== undefined && second !== '') {
+        files.push(first, second);
+        if (status.startsWith('R'))
+            removed.push(first);
+        return;
+    }
+    files.push(first);
+    if (status.startsWith('D'))
+        removed.push(first);
+}
+/**
+ * Pure: parse the batched `git log` output {@link readBranchCommitFacts} reads.
+ * Each record is `RS <sha> FS <subject> FS <parents> FS <trailer values> FS`
+ * followed by git's `--name-status` list. Separators are control characters no
+ * commit subject or path contains, so a multi-line trailer block cannot be
+ * mistaken for the next field.
+ */
+export function parseBranchCommitFacts(output) {
+    const facts = [];
+    for (const record of output.split(RECORD_SEP)) {
+        if (record.trim() === '')
+            continue;
+        const [sha = '', subject = '', parents = '', trailers = '', paths = ''] = record.split(FIELD_SEP);
+        const cleanSha = sha.replace(/^\n+/, '').trim();
+        if (cleanSha === '')
+            continue;
+        const trailer = trailers.split('\n').map((l) => l.trim()).find((l) => l !== '') ?? '';
+        const files = [];
+        const removedFiles = [];
+        for (const line of paths.split('\n'))
+            if (line.trim() !== '')
+                foldStatusLine(line, files, removedFiles);
+        facts.push({ sha: cleanSha, subject: subject.trim(), trailer, files, removedFiles,
+            parentCount: parents.trim().split(/\s+/).filter((p) => p !== '').length });
+    }
+    return facts;
+}
+/**
+ * Every commit in `<base>..<tip>` of the repository at `repoPath`, with its
+ * trailer and the paths it touched -- ONE git process for the whole window.
+ *
+ * Commits come back NEWEST FIRST (git log's order); the fold that decides
+ * whether a path is deleted AT THE TIP depends on it.
+ *
+ * Merges are INCLUDED (unlike the review-window read, which drops them): a
+ * merge that carries no trailer must appear as an unattributed fact rather than
+ * vanish, because a fact the mapping omits reads to the pass as a fact with no
+ * provenance question to ask.
+ *
+ * `repoPath` need not be a checkout of the branch -- `git log <ref>` reads refs,
+ * so the daemon's main repo path answers for a focus that has no live worktree.
+ * Returns null when git fails, so a caller can tell UNREADABLE from EMPTY.
+ */
+export function readBranchCommitFacts(repoPath, base, tip, cap = BRANCH_FACT_COMMIT_CAP) {
+    const repo = (repoPath ?? '').trim();
+    const from = (base ?? '').trim();
+    const to = (tip ?? '').trim();
+    if (repo === '' || from === '' || to === '')
+        return null;
+    try {
+        const out = execFileSync('git', [
+            'log',
+            `--max-count=${cap}`,
+            // --name-status, not --name-only: the status letter turns a DELETION
+            // into an attributable fact, and it costs no extra process.
+            '--name-status',
+            `--format=${RECORD_SEP}%H${FIELD_SEP}%s${FIELD_SEP}%P${FIELD_SEP}`
+                + `%(trailers:key=${DELIVERY_TRAILER_KEY},valueonly)${FIELD_SEP}`,
+            `${from}..${to}`,
+            '--',
+        ], { cwd: repo, ...GIT_READ });
+        return parseBranchCommitFacts(out);
+    }
+    catch {
+        return null;
+    }
+}
+// -- The join ---------------------------------------------------------------
+/** Attribute ONE commit. Every path that is not a known delivery fails closed. */
+function attributeCommit(fact, byId) {
+    const head = { sha: fact.sha, subject: fact.subject, files: fact.files, removedFiles: fact.removedFiles ?? [] };
+    const unowned = { deliveryId: null, deliveryName: null, reviewState: 'unreviewed' };
+    const attribution = classifyTrailerValue(fact.trailer);
+    if (attribution.kind === 'delivery') {
+        const owner = byId.get(attribution.deliveryId);
+        if (owner) {
+            return { ...head, deliveryId: owner.id, deliveryName: owner.name, unattributed: null,
+                foreignDeliveryId: null, reviewState: owner.reviewed ? 'reviewed' : 'unreviewed' };
+        }
+        return { ...head, ...unowned, unattributed: 'foreign_delivery', foreignDeliveryId: attribution.deliveryId };
+    }
+    let reason;
+    if (attribution.kind === 'sentinel')
+        reason = 'non_delivery_commit';
+    else if (attribution.kind === 'unattributed_capture')
+        reason = 'unattributed_capture';
+    else
+        reason = fact.parentCount >= 2 ? 'merge_commit' : 'no_trailer';
+    return { ...head, ...unowned, unattributed: reason, foreignDeliveryId: null };
+}
+/**
+ * Fold the attributed commits into per-path rows, path-sorted for stability.
+ * `commits` must be in git log order (NEWEST FIRST), as the reader returns it:
+ * the first commit seen for a path is the LAST to touch it, and whether THAT
+ * one removed it settles the tip state -- a delete then a re-add is not gone.
+ */
+function foldFiles(commits, capped) {
+    const acc = new Map();
+    for (const commit of commits) {
+        for (const path of commit.files) {
+            let entry = acc.get(path);
+            if (!entry) {
+                entry = { ids: [], names: [], hasUnattributed: false, allReviewed: true,
+                    removedBySha: commit.removedFiles.includes(path) ? commit.sha : null };
+                acc.set(path, entry);
+            }
+            if (commit.deliveryId) {
+                if (!entry.ids.includes(commit.deliveryId)) {
+                    entry.ids.push(commit.deliveryId);
+                    entry.names.push(commit.deliveryName ?? commit.deliveryId);
+                }
+            }
+            else {
+                entry.hasUnattributed = true;
+            }
+            if (commit.reviewState !== 'reviewed')
+                entry.allReviewed = false;
+        }
+    }
+    return [...acc.entries()]
+        .map(([path, e]) => ({
+        path, deliveryIds: e.ids, deliveryNames: e.names, hasUnattributed: e.hasUnattributed,
+        listingIncomplete: capped, removedBySha: e.removedBySha,
+        // Each condition is stated rather than one implying the others: an
+        // unattributed contributor must never read as reviewed even if a future
+        // edit changes what reviewState an unattributed commit carries, and a
+        // capped read cannot prove the contributors it DID see are all of them.
+        reviewState: e.allReviewed && !e.hasUnattributed && !capped ? 'reviewed' : 'unreviewed',
+    }))
+        .sort((a, b) => a.path.localeCompare(b.path));
+}
+/** Pure: join a read window to the focus's deliveries. */
+export function attributeBranchFacts(facts, deliveries, window) {
+    const byId = new Map(deliveries.map((d) => [d.id, d]));
+    const commits = facts.map((f) => attributeCommit(f, byId));
+    const capped = window.capped ?? false;
+    return {
+        base: window.base, tip: window.tip, commits, capped, files: foldFiles(commits, capped),
+        // Line grain is a SECOND, dearer read (one blame per file), so this pure
+        // join does not perform it. Null, not [], because "not asked" must not
+        // read as "asked, nothing to resolve" -- see the field's comment.
+        lines: null,
+    };
+}
+/**
+ * The most files one reading blames. Blame walks a file's history, so this is
+ * the module's dearest read; past the cap a file is DECLARED unattributed at
+ * line grain, never blamed or silently skipped. Unchanged from when only
+ * ambiguous files were blamed: widening the SELECTION to every live file did
+ * not widen the worst case, only which files the budget reaches first.
+ */
+export const BRANCH_FACT_BLAME_FILE_CAP = 40;
+/** Group header of `git blame --incremental`: `<sha> <orig> <final> <count>`. */
+const BLAME_GROUP_HEADER = /^([0-9a-f]{40}) \d+ (\d+) (\d+)$/;
+/**
+ * Pure: parse `git blame --incremental` output into tip-ordered runs.
+ *
+ * `--incremental` over porcelain because it emits ONLY the run headers and
+ * per-commit metadata -- never the file's content -- so the read costs the
+ * same for a 10-line file and a 10000-line one. Every non-header line
+ * (author, summary, `previous`, `boundary`, `filename`) is metadata and is
+ * ignored; git repeats a header-only block for a commit it already described,
+ * which is why the parse keys on the header shape alone.
+ */
+export function parseBlameRanges(output) {
+    const ranges = [];
+    for (const line of output.split('\n')) {
+        const match = BLAME_GROUP_HEADER.exec(line.trim());
+        if (!match)
+            continue;
+        const sha = match[1] ?? '';
+        const startLine = Number(match[2] ?? '0');
+        const lineCount = Number(match[3] ?? '0');
+        if (sha === '' || !Number.isFinite(startLine) || startLine < 1)
+            continue;
+        ranges.push({ sha, startLine, lineCount: Math.max(lineCount, 1) });
+    }
+    return ranges.sort((a, b) => a.startLine - b.startLine);
+}
+/**
+ * Blame ONE path at `tip` in the repository at `repoPath`. Move/copy detection
+ * (`-C`, `-M`) is deliberately NOT enabled: it would name the commit a line
+ * came FROM in another file, not the one that put the line where the pass is
+ * reading it -- plausible and wrong is worse here than no attribution at all.
+ * Returns null on any git failure, which the caller renders as a declared gap.
+ */
+export function readFileBlameRanges(repoPath, tip, path) {
+    const repo = (repoPath ?? '').trim();
+    const rev = (tip ?? '').trim();
+    if (repo === '' || rev === '' || path === '')
+        return null;
+    try {
+        return parseBlameRanges(execFileSync('git', ['blame', '--incremental', rev, '--', path], { cwd: repo, ...GIT_READ }));
+    }
+    catch {
+        return null;
+    }
+}
+/**
+ * The paths to spend the blame budget on, riskiest first. EVERY file still
+ * present at the tip is a candidate: the rule this replaced blamed only
+ * multi-contributor files and let a single-contributor file row answer for all
+ * its lines -- false for a pre-existing file, whose untouched lines predate the
+ * base, and false again whenever a capped read hid the other contributors. A
+ * path the window's newest touch REMOVED is excluded instead: blame cannot read
+ * it, and the log already attributed its removal.
+ *
+ * The ORDER is what the cost bound rests on now. A contributor is a delivery,
+ * "at least one unattributed commit", or "the read was capped, so there may be
+ * more"; above one, a wrong answer is dearest (a reviewed and an unreviewed
+ * delivery in one file), so those go first and an exhausted budget leaves the
+ * CHEAPEST facts declared rather than the dearest guessed.
+ */
+export function selectBlamePaths(files) {
+    const contributors = (f) => f.deliveryIds.length + (f.hasUnattributed ? 1 : 0) + (f.listingIncomplete ? 1 : 0);
+    const live = files.filter((f) => f.removedBySha === null);
+    return [
+        ...live.filter((f) => contributors(f) > 1),
+        ...live.filter((f) => contributors(f) <= 1),
+    ].map((f) => f.path);
+}
+/** Join ONE sha to its classified commit. Fails closed on a miss. */
+function attributeSha(sha, bySha) {
+    const producer = bySha.get(sha);
+    // A sha the window read never classified produced its fact BEFORE the base
+    // (or past the commit cap). It is not this focus's residue to claim, and
+    // guessing the nearest delivery is exactly the inference this module
+    // removes -- so it is unattributed, and therefore unreviewed.
+    if (!producer) {
+        return { deliveryId: null, deliveryName: null, reviewState: 'unreviewed', unattributed: 'outside_read_window' };
+    }
+    // Taken from the COMMIT row rather than recomputed, so one commit can never
+    // read reviewed at line grain and unreviewed at commit grain.
+    const { deliveryId, deliveryName, reviewState, unattributed } = producer;
+    return { deliveryId, deliveryName, reviewState, unattributed };
+}
+/** Join one blame run to the commit that produced it. */
+function attributeRange(range, bySha) {
+    const endLine = range.startLine + range.lineCount - 1;
+    return { startLine: range.startLine, endLine, sha: range.sha, ...attributeSha(range.sha, bySha) };
+}
+/** The removal fact for a path gone at the tip -- read from the log, not blamed. */
+function deletionLines(file, bySha) {
+    const sha = file.removedBySha ?? '';
+    return { path: file.path, ranges: [], gap: 'deleted_at_tip', deletion: { sha, ...attributeSha(sha, bySha) } };
+}
+/**
+ * Attach line grain: EVERY path the window touched gets a row -- blame runs
+ * for a live path (up to `fileCap` of them), the removing commit for a path
+ * gone at the tip, or the declared gap standing in for either. Nothing is left
+ * out, because a file the table omits is one whose lines the pass answers for
+ * from the file row -- the false claim this grain exists to prevent.
+ *
+ * Pure but for `readBlame`, the single injected seam -- so a test can drive
+ * the REAL git reader against a real repository, and a caller with no
+ * repository leaves line grain unattached (null) rather than fabricate one.
+ */
+export function attributeLineGrain(provenance, readBlame, fileCap = BRANCH_FACT_BLAME_FILE_CAP) {
+    const bySha = new Map(provenance.commits.map((c) => [c.sha, c]));
+    // Deleted paths are answered first and free: their fact is the removal, and
+    // they spend none of the budget the live paths compete for.
+    const deleted = provenance.files.filter((f) => f.removedBySha !== null).map((f) => deletionLines(f, bySha));
+    const blamed = selectBlamePaths(provenance.files).map((path, index) => {
+        if (index >= fileCap)
+            return { path, ranges: [], gap: 'over_file_cap', deletion: null };
+        let runs;
+        try {
+            runs = readBlame(path);
+        }
+        catch {
+            runs = null;
+        }
+        if (runs === null)
+            return { path, ranges: [], gap: 'blame_unreadable', deletion: null };
+        return { path, ranges: runs.map((r) => attributeRange(r, bySha)), gap: null, deletion: null };
+    });
+    // Path-sorted for the reader, though the BUDGET above was spent in risk
+    // order: the table is looked up by path, not read top to bottom.
+    return { ...provenance, lines: [...deleted, ...blamed].sort((a, b) => a.path.localeCompare(b.path)) };
+}
+// -- Rendering --------------------------------------------------------------
+/** Sub-section heading, shared by the reading and the unavailable line. */
+export const PROVENANCE_HEADING = '### Fact provenance (which delivery produced each observed change?)';
+/** How many commit / file rows are listed before the rest are declared unlisted. */
+const MAX_RENDERED_COMMITS = 150;
+const MAX_RENDERED_FILES = 250;
+/** Human phrasing for each unattributable shape, stated in the row itself. */
+const UNATTRIBUTED_PHRASE = {
+    no_trailer: 'no `Telora-Delivery` trailer on the commit',
+    merge_commit: 'a merge commit -- it carries no trailer and git lists no files for it',
+    non_delivery_commit: '`Telora-Delivery: none` -- declared housekeeping, owned by no delivery',
+    unattributed_capture: '`Telora-Delivery: unattributed` -- real work whose delivery the daemon could not name',
+    foreign_delivery: 'its trailer names a delivery that is NOT one of this focus\'s',
+    outside_read_window: 'its producing commit is outside the read window -- it predates the base, or the read stopped at its commit cap',
+};
+/** The standing reading rule. Stated before the rows so truncation cannot drop it. */
+const PROVENANCE_RULE = [
+    '**Attribution is read, never guessed.** Each fact you observe on this branch was produced by',
+    'exactly one COMMIT, so the commit\'s attribution is the fact\'s. Look the fact up below; do NOT',
+    'infer its producing delivery from a file path, a subject line, or which delivery "sounds like"',
+    'it. **UNATTRIBUTED means UNREVIEWED**: a commit this mapping cannot tie to a delivery of this',
+    'focus has no known producing delivery, so the hold applies to it exactly as it does to residue',
+    'of an unreviewed delivery. A FILE row names every delivery that TOUCHED the file; it never',
+    'answers for a LINE, not even when it names exactly one, because a file that existed before this',
+    'window began carries lines no delivery of this focus wrote. For a line, read the line table.',
+];
+/** One commit row: sha, subject, and either its delivery or why it has none. */
+function renderCommitRow(commit) {
+    const sha = `\`${commit.sha.slice(0, 12)}\``;
+    const subject = commit.subject === '' ? '_(no subject)_' : commit.subject;
+    if (commit.deliveryId) {
+        const state = commit.reviewState === 'reviewed' ? 'REVIEWED' : 'UNREVIEWED';
+        return `- ${sha} ${subject} -- **${commit.deliveryName}** (\`${commit.deliveryId}\`) -- ${state}`;
+    }
+    const reason = commit.unattributed ? UNATTRIBUTED_PHRASE[commit.unattributed] : 'reason unrecorded';
+    const foreign = commit.foreignDeliveryId ? ` (\`${commit.foreignDeliveryId}\`)` : '';
+    return `- ${sha} ${subject} -- **UNATTRIBUTED** -- ${reason}${foreign} -- treat as UNREVIEWED`;
+}
+/** One file row: every delivery that touched it, never a chosen one. */
+function renderFileRow(file) {
+    const state = file.reviewState === 'reviewed' ? 'REVIEWED' : 'UNREVIEWED';
+    const owners = file.deliveryIds.map((id, i) => `**${file.deliveryNames[i]}** (\`${id}\`)`);
+    // Said in the ROW, not only in the banner: a pass looking one path up never
+    // reads the banner, and the cap is what manufactures a false single owner.
+    const partialRead = file.listingIncomplete ? ' -- the read was CAPPED, so this list may be MISSING contributors' : '';
+    const removed = file.removedBySha ? ` -- DELETED at the tip by \`${file.removedBySha.slice(0, 12)}\`` : '';
+    if (owners.length === 0) {
+        return `- \`${file.path}\` -- **UNATTRIBUTED** -- no commit touching it names a delivery of this focus`
+            + `${removed}${partialRead} -- ${state}`;
+    }
+    const multi = owners.length > 1 ? ' -- touched by MORE THAN ONE delivery' : '';
+    const partial = file.hasUnattributed ? ' -- AND by at least one UNATTRIBUTED commit' : '';
+    return `- \`${file.path}\` -- touched by ${owners.join(', ')}${multi}${partial}${removed}${partialRead} -- ${state}`;
+}
+/** Render up to `cap` rows, declaring the remainder unlisted rather than omitting it. */
+function renderCapped(rows, cap, render, noun) {
+    if (rows.length === 0)
+        return ['_None._'];
+    const lines = rows.slice(0, cap).map(render);
+    if (rows.length > cap) {
+        lines.push(`- _...and ${rows.length - cap} further ${noun} not listed (the section caps at ${cap}). `
+            + `A fact in an unlisted ${noun.replace(/s$/, '')} is UNATTRIBUTED by this reading -- treat it as UNREVIEWED._`);
+    }
+    return lines;
+}
+/** Sub-heading for the line table. EVERY file the window touched appears under it. */
+const LINE_GRAIN_HEADING = '#### Lines (which delivery produced each LINE, and each deletion?)';
+/** How many ranges ONE file lists before the rest are declared unlisted. */
+const MAX_RENDERED_RANGES = 40;
+/** How to read the line table -- stated before the rows, so truncation keeps it. */
+const LINE_GRAIN_RULE = [
+    'EVERY file the window touched is listed here, single-contributor files included: a file row',
+    'above says who TOUCHED the file, never who wrote a given line, and a file that existed before',
+    'the base carries lines no delivery of this focus produced. Line numbers are at the branch TIP,',
+    'and a range names the commit that LAST wrote those lines; a range whose commit is outside the',
+    'read window is UNATTRIBUTED -- those are the pre-base lines, and they are UNREVIEWED. A path',
+    'gone at the tip carries the commit that DELETED it. A file the blame budget did not reach says',
+    'so, and every line in it is UNATTRIBUTED -- as is any line you cannot find here.',
+];
+/** Why a file has no ranges -- stated in the row, never omitted. */
+const LINE_GAP_PHRASE = {
+    // Reached only when the removal itself could not be named; a named removal
+    // renders its own row, with the deleting commit's delivery on it.
+    deleted_at_tip: 'the path is gone at the tip and this reading could not name the commit that removed it',
+    blame_unreadable: 'git could not blame it at the tip (renamed away on this branch, or binary)',
+    over_file_cap: `the reading blames at most ${BRANCH_FACT_BLAME_FILE_CAP} files and this one is past that cap`,
+};
+/** One range row: the span, its commit, and either its delivery or why it has none. */
+function renderLineRangeRow(range) {
+    const span = range.startLine === range.endLine
+        ? `line ${range.startLine}`
+        : `lines ${range.startLine}-${range.endLine}`;
+    const sha = `\`${range.sha.slice(0, 12)}\``;
+    if (range.deliveryId) {
+        const state = range.reviewState === 'reviewed' ? 'REVIEWED' : 'UNREVIEWED';
+        return `  - ${span} -- ${sha} -- **${range.deliveryName}** (\`${range.deliveryId}\`) -- ${state}`;
+    }
+    const reason = range.unattributed ? UNATTRIBUTED_PHRASE[range.unattributed] : 'reason unrecorded';
+    return `  - ${span} -- ${sha} -- **UNATTRIBUTED** -- ${reason} -- treat as UNREVIEWED`;
+}
+/**
+ * A path DELETED at the tip: the removal IS the fact, rendered like any other
+ * -- the commit that made it, its delivery, its review state. Declaring it
+ * merely "unavailable" strands a fact whose owner is perfectly well known.
+ */
+function renderDeletionRow(path, deletion) {
+    const state = deletion.reviewState === 'reviewed' ? 'REVIEWED' : 'UNREVIEWED';
+    const reason = deletion.unattributed ? UNATTRIBUTED_PHRASE[deletion.unattributed] : 'reason unrecorded';
+    const who = deletion.deliveryId ? `**${deletion.deliveryName}** (\`${deletion.deliveryId}\`)` : `**UNATTRIBUTED** -- ${reason}`;
+    return `- \`${path}\` -- **DELETED at the tip** -- \`${deletion.sha.slice(0, 12)}\` -- ${who} -- ${state}`
+        + ' -- the deletion is the fact here; the file has no lines at the tip';
+}
+/** One file: its ranges, its deletion, or the declared gap that stands in. */
+function renderFileLines(file) {
+    if (file.deletion)
+        return [renderDeletionRow(file.path, file.deletion)];
+    if (file.gap) {
+        return [
+            `- \`${file.path}\` -- **LINE GRAIN UNAVAILABLE** -- ${LINE_GAP_PHRASE[file.gap]} -- `
+                + 'every line in it is UNATTRIBUTED by this reading; treat as UNREVIEWED',
+        ];
+    }
+    if (file.ranges.length === 0) {
+        return [`- \`${file.path}\` -- blame reported no lines (the file is empty at the tip)`];
+    }
+    const rows = file.ranges.slice(0, MAX_RENDERED_RANGES).map(renderLineRangeRow);
+    if (file.ranges.length > MAX_RENDERED_RANGES) {
+        rows.push(`  - _...and ${file.ranges.length - MAX_RENDERED_RANGES} further ranges in this file not listed `
+            + `(one file lists at most ${MAX_RENDERED_RANGES}). A line you cannot find above is UNATTRIBUTED `
+            + 'by this reading -- treat it as UNREVIEWED._');
+    }
+    return [`- \`${file.path}\``, ...rows];
+}
+/**
+ * The line table. The three states are kept apart on purpose: ranges, "line
+ * grain ran and nothing was ambiguous", and "line grain never ran" -- the last
+ * of which must not borrow the second's reassuring wording.
+ */
+function renderLineGrain(provenance) {
+    const lines = [LINE_GRAIN_HEADING, ''];
+    if (provenance.lines === null) {
+        lines.push('**NOT ESTABLISHED** -- this reading did not descend to line grain, so NO line in any file above', 'can be tied to a producing delivery, whatever its file row lists. Treat every line as', 'UNATTRIBUTED and therefore UNREVIEWED.');
+        return lines;
+    }
+    lines.push(...LINE_GRAIN_RULE, '');
+    if (provenance.lines.length === 0) {
+        lines.push('_This window touched no file, so there is no line or deletion to attribute._');
+        return lines;
+    }
+    for (const file of provenance.lines.slice(0, MAX_RENDERED_FILES))
+        lines.push(...renderFileLines(file));
+    if (provenance.lines.length > MAX_RENDERED_FILES) {
+        lines.push(`- _...and ${provenance.lines.length - MAX_RENDERED_FILES} further files not listed (the table caps at `
+            + `${MAX_RENDERED_FILES}). Every line in an unlisted file is UNATTRIBUTED by this reading -- treat it as UNREVIEWED._`);
+    }
+    return lines;
+}
+/** Render the mapping. Never returns an empty string. */
+export function renderBranchFactProvenance(provenance) {
+    const lines = [
+        PROVENANCE_HEADING,
+        '',
+        `Basis: every commit in \`${provenance.base}..${provenance.tip}\`, attributed by its `
+            + '`Telora-Delivery` trailer and joined to the partition above for its review state.',
+        '',
+        ...PROVENANCE_RULE,
+        '',
+    ];
+    if (provenance.capped) {
+        lines.push(`> **INCOMPLETE** -- the read hit its ${BRANCH_FACT_COMMIT_CAP}-commit cap, so commits older than `
+            + 'the ones below are absent, and EVERY file row below may be missing contributors. A fact you '
+            + 'cannot find here is UNATTRIBUTED.', '');
+    }
+    lines.push(`#### Commits (${provenance.commits.length})`, '', ...renderCapped(provenance.commits, MAX_RENDERED_COMMITS, renderCommitRow, 'commits'), '', `#### Files touched (${provenance.files.length})`, '', ...renderCapped(provenance.files, MAX_RENDERED_FILES, renderFileRow, 'files'), '', ...renderLineGrain(provenance));
+    return lines.join('\n');
+}
+/**
+ * Render the EXPLICIT unavailable block. Rendered instead of nothing on every
+ * failure, because an absent mapping reads as "there was nothing to attribute".
+ */
+export function renderBranchFactProvenanceUnavailable(reason) {
+    return [
+        PROVENANCE_HEADING,
+        '',
+        '**NOT AVAILABLE -- no fact on this branch can be attributed to a producing delivery.**',
+        `Reason: ${reason}`,
+        '',
+        'No commit, file or LINE on this branch has a known producing delivery in this reading.',
+        'This is NOT the same as "the branch carries no facts". Treat EVERY fact you observe as',
+        'UNATTRIBUTED and therefore UNREVIEWED: hold it rather than anchoring it, and anchor only a',
+        'genuinely new root cause, declared as the anchoring round requires.',
+    ].join('\n');
+}
+//# sourceMappingURL=branch-fact-provenance.js.map

package/dist/resolvers/shared/branch-fact-provenance.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"branch-fact-provenance.js","sourceRoot":"","sources":["../../../src/resolvers/shared/branch-fact-provenance.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,0EAA0E;AAC1E,wEAAwE;AACxE,gBAAgB;AAEhB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAyDG;AAEH,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAClD,OAAO,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,MAAM,eAAe,CAAC;AAsH3E,8EAA8E;AAE9E,MAAM,SAAS,GAAG,MAAM,CAAC;AACzB,MAAM,UAAU,GAAG,MAAM,CAAC;AAC1B,MAAM,QAAQ,GAAG;IACf,SAAS,EAAE,EAAE,GAAG,IAAI,GAAG,IAAI;IAC3B,QAAQ,EAAE,OAAgB;IAC1B,KAAK,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,MAAM,CAA+B;CAChE,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,GAAG,CAAC;AAE1C;;;;GAIG;AACH,SAAS,cAAc,CAAC,IAAY,EAAE,KAAe,EAAE,OAAiB;IACtE,MAAM,CAAC,MAAM,GAAG,EAAE,EAAE,KAAK,GAAG,EAAE,EAAE,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;IAChF,IAAI,MAAM,KAAK,EAAE,IAAI,KAAK,KAAK,EAAE;QAAE,OAAO;IAC1C,IAAI,MAAM,KAAK,SAAS,IAAI,MAAM,KAAK,EAAE,EAAE,CAAC;QAC1C,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;QAC1B,IAAI,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC;YAAE,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAChD,OAAO;IACT,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAClB,IAAI,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC;QAAE,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AAClD,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,sBAAsB,CAAC,MAAc;IACnD,MAAM,KAAK,GAAoB,EAAE,CAAC;IAClC,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC,EAAE,CAAC;QAC9C,IAAI,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE;YAAE,SAAS;QACnC,MAAM,CAAC,GAAG,GAAG,EAAE,EAAE,OAAO,GAAG,EAAE,EAAE,OAAO,GAAG,EAAE,EAAE,QAAQ,GAAG,EAAE,EAAE,KAAK,GAAG,EAAE,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QAClG,MAAM,QAAQ,GAAG,GAAG,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;QAChD,IAAI,QAAQ,KAAK,EAAE;YAAE,SAAS;QAC9B,MAAM,OAAO,GAAG,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,IAAI,EAAE,CAAC;QACtF,MAAM,KAAK,GAAa,EAAE,CAAC;QAC3B,MAAM,YAAY,GAAa,EAAE,CAAC;QAClC,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC;YAAE,IAAI,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE;gBAAE,cAAc,CAAC,IAAI,EAAE,KAAK,EAAE,YAAY,CAAC,CAAC;QACxG,KAAK,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,CAAC,IAAI,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE,YAAY;YAC/E,WAAW,EAAE,OAAO,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;IAC/E,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;;;;;;;;;;;GAeG;AACH,MAAM,UAAU,qBAAqB,CACnC,QAAgB,EAChB,IAAY,EACZ,GAAW,EACX,MAAc,sBAAsB;IAEpC,MAAM,IAAI,GAAG,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;IACrC,MAAM,IAAI,GAAG,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;IACjC,MAAM,EAAE,GAAG,CAAC,GAAG,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;IAC9B,IAAI,IAAI,KAAK,EAAE,IAAI,IAAI,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE;QAAE,OAAO,IAAI,CAAC;IACzD,IAAI,CAAC;QACH,MAAM,GAAG,GAAG,YAAY,CACtB,KAAK,EACL;YACE,KAAK;YACL,eAAe,GAAG,EAAE;YACpB,qEAAqE;YACrE,4DAA4D;YAC5D,eAAe;YACf,YAAY,UAAU,KAAK,SAAS,KAAK,SAAS,KAAK,SAAS,EAAE;kBAC9D,kBAAkB,oBAAoB,cAAc,SAAS,EAAE;YACnE,GAAG,IAAI,KAAK,EAAE,EAAE;YAChB,IAAI;SACL,EACD,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,QAAQ,EAAE,CAC3B,CAAC;QACF,OAAO,sBAAsB,CAAC,GAAG,CAAC,CAAC;IACrC,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAED,8EAA8E;AAE9E,kFAAkF;AAClF,SAAS,eAAe,CACtB,IAAmB,EACnB,IAA6C;IAE7C,MAAM,IAAI,GAAG,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,YAAY,EAAE,IAAI,CAAC,YAAY,IAAI,EAAE,EAAE,CAAC;IAChH,MAAM,OAAO,GAAG,EAAE,UAAU,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,WAAW,EAAE,YAAqB,EAAE,CAAC;IAC7F,MAAM,WAAW,GAAG,oBAAoB,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAEvD,IAAI,WAAW,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QACpC,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,WAAW,CAAC,UAAU,CAAC,CAAC;QAC/C,IAAI,KAAK,EAAE,CAAC;YACV,OAAO,EAAE,GAAG,IAAI,EAAE,UAAU,EAAE,KAAK,CAAC,EAAE,EAAE,YAAY,EAAE,KAAK,CAAC,IAAI,EAAE,YAAY,EAAE,IAAI;gBAClF,iBAAiB,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,YAAY,EAAE,CAAC;QACvF,CAAC;QACD,OAAO,EAAE,GAAG,IAAI,EAAE,GAAG,OAAO,EAAE,YAAY,EAAE,kBAAkB,EAAE,iBAAiB,EAAE,WAAW,CAAC,UAAU,EAAE,CAAC;IAC9G,CAAC;IAED,IAAI,MAA0B,CAAC;IAC/B,IAAI,WAAW,CAAC,IAAI,KAAK,UAAU;QAAE,MAAM,GAAG,qBAAqB,CAAC;SAC/D,IAAI,WAAW,CAAC,IAAI,KAAK,sBAAsB;QAAE,MAAM,GAAG,sBAAsB,CAAC;;QACjF,MAAM,GAAG,IAAI,CAAC,WAAW,IAAI,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,YAAY,CAAC;IACpE,OAAO,EAAE,GAAG,IAAI,EAAE,GAAG,OAAO,EAAE,YAAY,EAAE,MAAM,EAAE,iBAAiB,EAAE,IAAI,EAAE,CAAC;AAChF,CAAC;AAOD;;;;;GAKG;AACH,SAAS,SAAS,CAAC,OAAoC,EAAE,MAAe;IACtE,MAAM,GAAG,GAAG,IAAI,GAAG,EAA2B,CAAC;IAC/C,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;YAChC,IAAI,KAAK,GAAG,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAC1B,IAAI,CAAC,KAAK,EAAE,CAAC;gBACX,KAAK,GAAG,EAAE,GAAG,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,eAAe,EAAE,KAAK,EAAE,WAAW,EAAE,IAAI;oBACrE,YAAY,EAAE,MAAM,CAAC,YAAY,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;gBACzE,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YACvB,CAAC;YACD,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;gBACtB,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC;oBAC3C,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;oBAClC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,YAAY,IAAI,MAAM,CAAC,UAAU,CAAC,CAAC;gBAC7D,CAAC;YACH,CAAC;iBAAM,CAAC;gBACN,KAAK,CAAC,eAAe,GAAG,IAAI,CAAC;YAC/B,CAAC;YACD,IAAI,MAAM,CAAC,WAAW,KAAK,UAAU;gBAAE,KAAK,CAAC,WAAW,GAAG,KAAK,CAAC;QACnE,CAAC;IACH,CAAC;IACD,OAAO,CAAC,GAAG,GAAG,CAAC,OAAO,EAAE,CAAC;SACtB,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,EAAkB,EAAE,CAAC,CAAC;QACnC,IAAI,EAAE,WAAW,EAAE,CAAC,CAAC,GAAG,EAAE,aAAa,EAAE,CAAC,CAAC,KAAK,EAAE,eAAe,EAAE,CAAC,CAAC,eAAe;QACpF,iBAAiB,EAAE,MAAM,EAAE,YAAY,EAAE,CAAC,CAAC,YAAY;QACvD,mEAAmE;QACnE,wEAAwE;QACxE,sEAAsE;QACtE,wEAAwE;QACxE,WAAW,EAAE,CAAC,CAAC,WAAW,IAAI,CAAC,CAAC,CAAC,eAAe,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,YAAY;KACxF,CAAC,CAAC;SACF,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;AAClD,CAAC;AAED,0DAA0D;AAC1D,MAAM,UAAU,oBAAoB,CAClC,KAA+B,EAC/B,UAAyC,EACzC,MAAuD;IAEvD,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACvD,MAAM,OAAO,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,eAAe,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC;IAC3D,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,IAAI,KAAK,CAAC;IACtC,OAAO;QACL,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,GAAG,EAAE,MAAM,CAAC,GAAG,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,SAAS,CAAC,OAAO,EAAE,MAAM,CAAC;QACtF,yEAAyE;QACzE,uEAAuE;QACvE,kEAAkE;QAClE,KAAK,EAAE,IAAI;KACZ,CAAC;AACJ,CAAC;AA4DD;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,0BAA0B,GAAG,EAAE,CAAC;AAE7C,iFAAiF;AACjF,MAAM,kBAAkB,GAAG,kCAAkC,CAAC;AAE9D;;;;;;;;;GASG;AACH,MAAM,UAAU,gBAAgB,CAAC,MAAc;IAC7C,MAAM,MAAM,GAAiB,EAAE,CAAC;IAChC,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;QACtC,MAAM,KAAK,GAAG,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;QACnD,IAAI,CAAC,KAAK;YAAE,SAAS;QACrB,MAAM,GAAG,GAAG,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QAC3B,MAAM,SAAS,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC;QAC1C,MAAM,SAAS,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC;QAC1C,IAAI,GAAG,KAAK,EAAE,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC,IAAI,SAAS,GAAG,CAAC;YAAE,SAAS;QACzE,MAAM,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,SAAS,EAAE,SAAS,EAAE,IAAI,CAAC,GAAG,CAAC,SAAS,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;IACrE,CAAC;IACD,OAAO,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,GAAG,CAAC,CAAC,SAAS,CAAC,CAAC;AAC1D,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,mBAAmB,CAAC,QAAgB,EAAE,GAAW,EAAE,IAAY;IAC7E,MAAM,IAAI,GAAG,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;IACrC,MAAM,GAAG,GAAG,CAAC,GAAG,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;IAC/B,IAAI,IAAI,KAAK,EAAE,IAAI,GAAG,KAAK,EAAE,IAAI,IAAI,KAAK,EAAE;QAAE,OAAO,IAAI,CAAC;IAC1D,IAAI,CAAC;QACH,OAAO,gBAAgB,CACrB,YAAY,CAAC,KAAK,EAAE,CAAC,OAAO,EAAE,eAAe,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,QAAQ,EAAE,CAAC,CAC7F,CAAC;IACJ,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,gBAAgB,CAAC,KAAgC;IAC/D,MAAM,YAAY,GAAG,CAAC,CAAiB,EAAE,EAAE,CACzC,CAAC,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACrF,MAAM,IAAI,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,YAAY,KAAK,IAAI,CAAC,CAAC;IAC1D,OAAO;QACL,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;QAC1C,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;KAC5C,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;AACvB,CAAC;AAED,qEAAqE;AACrE,SAAS,YAAY,CAAC,GAAW,EAAE,KAA4C;IAC7E,MAAM,QAAQ,GAAG,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAChC,2EAA2E;IAC3E,yEAAyE;IACzE,qEAAqE;IACrE,8DAA8D;IAC9D,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,WAAW,EAAE,YAAY,EAAE,YAAY,EAAE,qBAAqB,EAAE,CAAC;IAClH,CAAC;IACD,4EAA4E;IAC5E,8DAA8D;IAC9D,MAAM,EAAE,UAAU,EAAE,YAAY,EAAE,WAAW,EAAE,YAAY,EAAE,GAAG,QAAQ,CAAC;IACzE,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,WAAW,EAAE,YAAY,EAAE,CAAC;AACjE,CAAC;AAED,yDAAyD;AACzD,SAAS,cAAc,CAAC,KAAiB,EAAE,KAA4C;IACrF,MAAM,OAAO,GAAG,KAAK,CAAC,SAAS,GAAG,KAAK,CAAC,SAAS,GAAG,CAAC,CAAC;IACtD,OAAO,EAAE,SAAS,EAAE,KAAK,CAAC,SAAS,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,CAAC,GAAG,EAAE,GAAG,YAAY,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,CAAC;AACpG,CAAC;AAED,oFAAoF;AACpF,SAAS,aAAa,CAAC,IAAoB,EAAE,KAA4C;IACvF,MAAM,GAAG,GAAG,IAAI,CAAC,YAAY,IAAI,EAAE,CAAC;IACpC,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,GAAG,EAAE,gBAAgB,EAAE,QAAQ,EAAE,EAAE,GAAG,EAAE,GAAG,YAAY,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC;AAChH,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,kBAAkB,CAChC,UAAgC,EAChC,SAAsB,EACtB,UAAkB,0BAA0B;IAE5C,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACjE,4EAA4E;IAC5E,4DAA4D;IAC5D,MAAM,OAAO,GAAG,UAAU,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,YAAY,KAAK,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,aAAa,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC;IAC5G,MAAM,MAAM,GAAG,gBAAgB,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,KAAK,EAAuB,EAAE;QACzF,IAAI,KAAK,IAAI,OAAO;YAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,GAAG,EAAE,eAAe,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;QACxF,IAAI,IAAyB,CAAC;QAC9B,IAAI,CAAC;YAAC,IAAI,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;QAAC,CAAC;QAAC,MAAM,CAAC;YAAC,IAAI,GAAG,IAAI,CAAC;QAAC,CAAC;QACtD,IAAI,IAAI,KAAK,IAAI;YAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,GAAG,EAAE,kBAAkB,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;QACxF,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;IAChG,CAAC,CAAC,CAAC;IACH,wEAAwE;IACxE,iEAAiE;IACjE,OAAO,EAAE,GAAG,UAAU,EAAE,KAAK,EAAE,CAAC,GAAG,OAAO,EAAE,GAAG,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;AACxG,CAAC;AAED,8EAA8E;AAE9E,2EAA2E;AAC3E,MAAM,CAAC,MAAM,kBAAkB,GAC7B,qEAAqE,CAAC;AAExE,oFAAoF;AACpF,MAAM,oBAAoB,GAAG,GAAG,CAAC;AACjC,MAAM,kBAAkB,GAAG,GAAG,CAAC;AAE/B,8EAA8E;AAC9E,MAAM,mBAAmB,GAAuC;IAC9D,UAAU,EAAE,4CAA4C;IACxD,YAAY,EAAE,uEAAuE;IACrF,mBAAmB,EAAE,wEAAwE;IAC7F,oBAAoB,EAAE,uFAAuF;IAC7G,gBAAgB,EAAE,+DAA+D;IACjF,mBAAmB,EAAE,gHAAgH;CACtI,CAAC;AAEF,sFAAsF;AACtF,MAAM,eAAe,GAAsB;IACzC,8FAA8F;IAC9F,iGAAiG;IACjG,gGAAgG;IAChG,+FAA+F;IAC/F,gGAAgG;IAChG,4FAA4F;IAC5F,iGAAiG;IACjG,8FAA8F;CAC/F,CAAC;AAEF,gFAAgF;AAChF,SAAS,eAAe,CAAC,MAAwB;IAC/C,MAAM,GAAG,GAAG,KAAK,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC;IAC7C,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,KAAK,EAAE,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC;IAC1E,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;QACtB,MAAM,KAAK,GAAG,MAAM,CAAC,WAAW,KAAK,UAAU,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,YAAY,CAAC;QAC5E,OAAO,KAAK,GAAG,IAAI,OAAO,SAAS,MAAM,CAAC,YAAY,SAAS,MAAM,CAAC,UAAU,UAAU,KAAK,EAAE,CAAC;IACpG,CAAC;IACD,MAAM,MAAM,GAAG,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,mBAAmB,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,mBAAmB,CAAC;IACpG,MAAM,OAAO,GAAG,MAAM,CAAC,iBAAiB,CAAC,CAAC,CAAC,OAAO,MAAM,CAAC,iBAAiB,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;IACrF,OAAO,KAAK,GAAG,IAAI,OAAO,2BAA2B,MAAM,GAAG,OAAO,yBAAyB,CAAC;AACjG,CAAC;AAED,wEAAwE;AACxE,SAAS,aAAa,CAAC,IAAoB;IACzC,MAAM,KAAK,GAAG,IAAI,CAAC,WAAW,KAAK,UAAU,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,YAAY,CAAC;IAC1E,MAAM,MAAM,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,KAAK,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;IAC3F,4EAA4E;IAC5E,2EAA2E;IAC3E,MAAM,WAAW,GAAG,IAAI,CAAC,iBAAiB,CAAC,CAAC,CAAC,mEAAmE,CAAC,CAAC,CAAC,EAAE,CAAC;IACtH,MAAM,OAAO,GAAG,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,+BAA+B,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;IAC3G,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACxB,OAAO,OAAO,IAAI,CAAC,IAAI,gFAAgF;cACnG,GAAG,OAAO,GAAG,WAAW,OAAO,KAAK,EAAE,CAAC;IAC7C,CAAC;IACD,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,uCAAuC,CAAC,CAAC,CAAC,EAAE,CAAC;IAC/E,MAAM,OAAO,GAAG,IAAI,CAAC,eAAe,CAAC,CAAC,CAAC,6CAA6C,CAAC,CAAC,CAAC,EAAE,CAAC;IAC1F,OAAO,OAAO,IAAI,CAAC,IAAI,oBAAoB,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,KAAK,GAAG,OAAO,GAAG,OAAO,GAAG,WAAW,OAAO,KAAK,EAAE,CAAC;AACvH,CAAC;AAED,yFAAyF;AACzF,SAAS,YAAY,CAAI,IAAkB,EAAE,GAAW,EAAE,MAA0B,EAAE,IAAY;IAChG,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,CAAC,SAAS,CAAC,CAAC;IAC1C,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IAC7C,IAAI,IAAI,CAAC,MAAM,GAAG,GAAG,EAAE,CAAC;QACtB,KAAK,CAAC,IAAI,CAAC,aAAa,IAAI,CAAC,MAAM,GAAG,GAAG,YAAY,IAAI,oCAAoC,GAAG,KAAK;cACjG,yBAAyB,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC,8DAA8D,CAAC,CAAC;IACrH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,sFAAsF;AACtF,MAAM,kBAAkB,GAAG,oEAAoE,CAAC;AAEhG,4EAA4E;AAC5E,MAAM,mBAAmB,GAAG,EAAE,CAAC;AAE/B,oFAAoF;AACpF,MAAM,eAAe,GAAsB;IACzC,6FAA6F;IAC7F,+FAA+F;IAC/F,gGAAgG;IAChG,+FAA+F;IAC/F,8FAA8F;IAC9F,gGAAgG;IAChG,kFAAkF;CACnF,CAAC;AAEF,oEAAoE;AACpE,MAAM,eAAe,GAAiC;IACpD,2EAA2E;IAC3E,kEAAkE;IAClE,cAAc,EAAE,wFAAwF;IACxG,gBAAgB,EAAE,4EAA4E;IAC9F,aAAa,EAAE,8BAA8B,0BAA0B,sCAAsC;CAC9G,CAAC;AAEF,uFAAuF;AACvF,SAAS,kBAAkB,CAAC,KAA0B;IACpD,MAAM,IAAI,GAAG,KAAK,CAAC,SAAS,KAAK,KAAK,CAAC,OAAO;QAC5C,CAAC,CAAC,QAAQ,KAAK,CAAC,SAAS,EAAE;QAC3B,CAAC,CAAC,SAAS,KAAK,CAAC,SAAS,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;IAChD,MAAM,GAAG,GAAG,KAAK,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC;IAC5C,IAAI,KAAK,CAAC,UAAU,EAAE,CAAC;QACrB,MAAM,KAAK,GAAG,KAAK,CAAC,WAAW,KAAK,UAAU,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,YAAY,CAAC;QAC3E,OAAO,OAAO,IAAI,OAAO,GAAG,SAAS,KAAK,CAAC,YAAY,SAAS,KAAK,CAAC,UAAU,UAAU,KAAK,EAAE,CAAC;IACpG,CAAC;IACD,MAAM,MAAM,GAAG,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC,mBAAmB,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,mBAAmB,CAAC;IAClG,OAAO,OAAO,IAAI,OAAO,GAAG,2BAA2B,MAAM,yBAAyB,CAAC;AACzF,CAAC;AAED;;;;GAIG;AACH,SAAS,iBAAiB,CAAC,IAAY,EAAE,QAA4B;IACnE,MAAM,KAAK,GAAG,QAAQ,CAAC,WAAW,KAAK,UAAU,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,YAAY,CAAC;IAC9E,MAAM,MAAM,GAAG,QAAQ,CAAC,YAAY,CAAC,CAAC,CAAC,mBAAmB,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,mBAAmB,CAAC;IACxG,MAAM,GAAG,GAAG,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,KAAK,QAAQ,CAAC,YAAY,SAAS,QAAQ,CAAC,UAAU,KAAK,CAAC,CAAC,CAAC,uBAAuB,MAAM,EAAE,CAAC;IAChI,OAAO,OAAO,IAAI,qCAAqC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,GAAG,OAAO,KAAK,EAAE;UACtG,qEAAqE,CAAC;AAC5E,CAAC;AAED,8EAA8E;AAC9E,SAAS,eAAe,CAAC,IAAyB;IAChD,IAAI,IAAI,CAAC,QAAQ;QAAE,OAAO,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC;IACxE,IAAI,IAAI,CAAC,GAAG,EAAE,CAAC;QACb,OAAO;YACL,OAAO,IAAI,CAAC,IAAI,uCAAuC,eAAe,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM;kBACpF,uEAAuE;SAC1E,CAAC;IACJ,CAAC;IACD,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC7B,OAAO,CAAC,OAAO,IAAI,CAAC,IAAI,8DAA8D,CAAC,CAAC;IAC1F,CAAC;IACD,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,mBAAmB,CAAC,CAAC,GAAG,CAAC,kBAAkB,CAAC,CAAC;IAC/E,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM,GAAG,mBAAmB,EAAE,CAAC;QAC7C,IAAI,CAAC,IAAI,CAAC,eAAe,IAAI,CAAC,MAAM,CAAC,MAAM,GAAG,mBAAmB,0CAA0C;cACvG,2BAA2B,mBAAmB,kDAAkD;cAChG,6CAA6C,CAAC,CAAC;IACrD,CAAC;IACD,OAAO,CAAC,OAAO,IAAI,CAAC,IAAI,IAAI,EAAE,GAAG,IAAI,CAAC,CAAC;AACzC,CAAC;AAED;;;;GAIG;AACH,SAAS,eAAe,CAAC,UAAgC;IACvD,MAAM,KAAK,GAAG,CAAC,kBAAkB,EAAE,EAAE,CAAC,CAAC;IACvC,IAAI,UAAU,CAAC,KAAK,KAAK,IAAI,EAAE,CAAC;QAC9B,KAAK,CAAC,IAAI,CACR,iGAAiG,EACjG,uFAAuF,EACvF,wCAAwC,CACzC,CAAC;QACF,OAAO,KAAK,CAAC;IACf,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,GAAG,eAAe,EAAE,EAAE,CAAC,CAAC;IACnC,IAAI,UAAU,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAClC,KAAK,CAAC,IAAI,CAAC,8EAA8E,CAAC,CAAC;QAC3F,OAAO,KAAK,CAAC;IACf,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,UAAU,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,kBAAkB,CAAC;QAAE,KAAK,CAAC,IAAI,CAAC,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC;IACvG,IAAI,UAAU,CAAC,KAAK,CAAC,MAAM,GAAG,kBAAkB,EAAE,CAAC;QACjD,KAAK,CAAC,IAAI,CAAC,aAAa,UAAU,CAAC,KAAK,CAAC,MAAM,GAAG,kBAAkB,+CAA+C;cAC/G,GAAG,kBAAkB,+FAA+F,CAAC,CAAC;IAC5H,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,yDAAyD;AACzD,MAAM,UAAU,0BAA0B,CAAC,UAAgC;IACzE,MAAM,KAAK,GAAG;QACZ,kBAAkB;QAClB,EAAE;QACF,4BAA4B,UAAU,CAAC,IAAI,KAAK,UAAU,CAAC,GAAG,wBAAwB;cACpF,mFAAmF;QACrF,EAAE;QACF,GAAG,eAAe;QAClB,EAAE;KACH,CAAC;IACF,IAAI,UAAU,CAAC,MAAM,EAAE,CAAC;QACtB,KAAK,CAAC,IAAI,CAAC,wCAAwC,sBAAsB,qCAAqC;cAC1G,8FAA8F;cAC9F,mCAAmC,EAAE,EAAE,CAAC,CAAC;IAC/C,CAAC;IACD,KAAK,CAAC,IAAI,CACR,iBAAiB,UAAU,CAAC,OAAO,CAAC,MAAM,GAAG,EAC7C,EAAE,EACF,GAAG,YAAY,CAAC,UAAU,CAAC,OAAO,EAAE,oBAAoB,EAAE,eAAe,EAAE,SAAS,CAAC,EACrF,EAAE,EACF,uBAAuB,UAAU,CAAC,KAAK,CAAC,MAAM,GAAG,EACjD,EAAE,EACF,GAAG,YAAY,CAAC,UAAU,CAAC,KAAK,EAAE,kBAAkB,EAAE,aAAa,EAAE,OAAO,CAAC,EAC7E,EAAE,EACF,GAAG,eAAe,CAAC,UAAU,CAAC,CAC/B,CAAC;IACF,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,qCAAqC,CAAC,MAAc;IAClE,OAAO;QACL,kBAAkB;QAClB,EAAE;QACF,wFAAwF;QACxF,WAAW,MAAM,EAAE;QACnB,EAAE;QACF,wFAAwF;QACxF,wFAAwF;QACxF,4FAA4F;QAC5F,qEAAqE;KACtE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACf,CAAC"}