@variance-authority/tribunal 0.1.0

package/dist/ui/origins.js

@@ -0,0 +1,149 @@
+import { Fragment as _Fragment, jsx as _jsx, jsxs as _jsxs } from "react/jsx-runtime";
+import { unforeseen } from './foreseen.js';
+import { originsOf, shapesOf, sourceOf } from './grouping.js';
+import { docketOf, ORDERS } from './order.js';
+import { RootHeading } from './root.js';
+import { Go } from './shell.js';
+import { senseOfSubject } from './sense.js';
+import { count, magnitude, number } from './text.js';
+export function OriginsPanel({ build, crossing, order, selected, go, }) {
+    const { origins, unattributed } = originsOf(build);
+    const renders = origins.reduce((total, origin) => total + origin.appearances.length, 0);
+    if (origins.length === 0 && unattributed.length === 0) {
+        return (_jsx("div", { className: "va-rail-empty va-note", children: "Nothing in this build changed, so there is nothing to approve." }));
+    }
+    return (_jsxs(_Fragment, { children: [_jsxs("div", { className: "va-rail-head", children: [_jsxs("p", { className: "va-rail-tally", children: [count(origins.length, 'change'), " \u00B7 ", count(renders, 'render')] }), _jsx(Sorting, { order: order, build: build.build, go: go })] }), _jsx(Unreached, { build: build, go: go }), _jsxs("div", { className: "va-rail-list va-scroll", children: [docketOf(build, origins, order).map((group) => (_jsx(Band, { group: group, detail: build, build: build.build, crossing: crossing, selected: selected, go: go }, group.lane + group.title))), unattributed.length === 0 ? null : (_jsx(Unattributed, { subjects: unattributed, build: build.build, go: go }))] })] }));
+}
+/**
+ * Whether anything moved that the commit cannot reach.
+ *
+ * The empty case is printed, and it is the only place on this surface where an
+ * empty list is worth a sentence: *nothing moved outside what you edited* is the
+ * strongest thing a build can say, a reviewer cannot derive it from a docket of
+ * changes that are all accounted for, and its absence is what makes the other
+ * case legible when it happens.
+ *
+ * Silent when the run walked no diff. Then there is no prediction to have kept.
+ */
+function Unreached({ build, go, }) {
+    const loose = unforeseen(build);
+    if (loose === null)
+        return null;
+    if (loose.length === 0) {
+        return _jsx("p", { className: "va-foreseen va-note", children: "Everything that moved is under a file this commit changed." });
+    }
+    return (_jsxs("p", { className: "va-foreseen va-note va-foreseen-off", children: [_jsx("span", { className: "va-num", children: number(loose.length) }), " moved with nothing in this commit above", ' ', loose.slice(0, 3).map((subject, index) => (_jsxs("span", { children: [index === 0 ? '— ' : ', ', _jsx(Go, { to: { page: 'subject', build: build.build, subject }, go: go, className: "va-from-go", children: subject })] }, subject))), loose.length > 3 ? ` and ${number(loose.length - 3)} more` : ''] }));
+}
+/** The order picker: four addresses, one of which is the one you are at. */
+function Sorting({ order, build, go, }) {
+    return (_jsx("div", { className: "va-sorting", role: "group", "aria-label": "Order the changes", children: ORDERS.map(({ order: each, label, why }) => (_jsx(Go, { to: { page: 'build', build, order: each }, go: go, className: each === order ? 'va-sort va-on' : 'va-sort', title: why, children: label }, each))) }));
+}
+/** One band: the claim, the count, the rows. */
+function Band({ group, detail, build, crossing, selected, go, }) {
+    return (_jsxs("section", { className: `va-band va-band-${group.lane}`, children: [_jsx(RootHeading, { group: group, detail: detail, go: go }), _jsx("ul", { children: group.changes.map(({ origin, of }) => (_jsx(Row, { origin: origin, ...(of === undefined ? {} : { of }), ...(group.root === undefined ? {} : { from: group.root.name }), build: build, crossing: crossing, open: origin.component === selected, go: go }, origin.component))) })] }));
+}
+/**
+ * One change, in a row a reviewer can scan a column of.
+ *
+ * Four facts and at most one mark. The fingerprint is not one of them — it is an
+ * identity, not a finding, and it was on the third line of every card in the
+ * version of this surface that told nobody anything. What replaces it is the
+ * count of distinct shapes, which is the part of the same record a reviewer can
+ * act on: one shape across eleven renders is one decision, and nine shapes across
+ * eleven is a component whose renders each absorbed the edit their own way.
+ *
+ * The fourth fact is the source, and it is fourth rather than absent because the
+ * band above it no longer says anything about where these came from. `CardFooter`
+ * sat under *something you edited hands these what they draw* for a build and a
+ * half with `ProductCard` in the store the whole time.
+ */
+function Row({ origin, of, from, build, crossing, open, go, }) {
+    const shapes = shapesOf(origin.appearances).size;
+    const decided = origin.appearances.filter(({ subject }) => subject.decision !== null).length;
+    return (_jsx("li", { className: open ? 'va-row va-here' : 'va-row', children: _jsxs(Go, { to: { page: 'change', build, change: origin.component }, go: go, className: "va-row-link", title: origin.file ?? origin.component, children: [_jsx("span", { className: "va-row-name", children: origin.component }), _jsxs("span", { className: "va-row-spread va-note", children: [of === undefined
+                            ? count(origin.appearances.length, 'render')
+                            : `${number(of)} of ${count(origin.appearances.length, 'render')}`, shapes > 1 ? ` · ${count(shapes, 'shape')}` : ''] }), _jsxs("span", { className: "va-row-size va-num", children: [number(origin.pixels), " px"] }), _jsx(RowMark, { origin: origin, crossing: crossing, decided: decided }), _jsx(Source, { origin: origin, ...(from === undefined ? {} : { from }) })] }) }));
+}
+/**
+ * Where the change came from, by name.
+ *
+ * Nothing is derived here and nothing is phrased: [`sourceOf`](./grouping.js)
+ * reads the owner, the file or the token off the movement the run wrote, and
+ * this prints the list. A row with no source line is a row the run recorded
+ * nothing for and the docket has no file for either — which is a fact about the
+ * record, and is drawn as the empty space it is rather than as a sentence
+ * apologising for it.
+ */
+function Source({ origin, from, }) {
+    // Minus what the heading over it already said. Under `ui/button.tsx`, an
+    // `edited` row's source *is* `ui/button.tsx`, and printing it again spends the
+    // row's third line saying the band's name back to the reader. The rows that
+    // still have something to say — the chain an owner reaches through — keep it.
+    const names = sourceOf(origin).filter((name) => name !== from);
+    if (names.length === 0)
+        return null;
+    const say = names.join(', ');
+    // Ellipsised at the rail's width, so the full text has to be somewhere. This
+    // is the one thing a `title` is for: the same string, not a different one.
+    return (_jsx("span", { className: "va-row-from", title: say, children: say }));
+}
+/**
+ * The one thing worth knowing before opening this change, or nothing.
+ *
+ * At most one, and in this order, because a row with four badges on it is a row
+ * nobody reads. Already-decided outranks everything: there is no work here. Then
+ * *you have seen this*, which is the row a reviewer can skip. Then the strandings,
+ * which is the row they cannot.
+ */
+function RowMark({ origin, crossing, decided, }) {
+    if (decided === origin.appearances.length) {
+        return _jsx("span", { className: "va-mark va-approved", children: "decided" });
+    }
+    if (crossing.state === 'ready') {
+        const again = origin.appearances.filter(({ subject }) => crossing.of(subject.subject)?.shift === 'again').length;
+        if (again === origin.appearances.length) {
+            return (_jsxs("span", { className: "va-mark va-known", title: `Every render of this was in build ${crossing.earlier.build} too, with the same difference`, children: ["seen in ", crossing.earlier.build] }));
+        }
+    }
+    if ((origin.stranded ?? []).length > 0) {
+        return (_jsx("span", { className: "va-mark va-alarm", title: "The commit reaches nothing at all in some of these renders", children: "unreached" }));
+    }
+    if (decided > 0) {
+        return (_jsxs("span", { className: "va-mark va-note", children: [number(decided), "/", number(origin.appearances.length)] }));
+    }
+    return null;
+}
+/**
+ * The changed renders no *region* claimed — which is not the same as unexplained.
+ *
+ * Their own band and never folded into one: a difference with nothing named as
+ * its cause has no change to be approved under, and putting it in somebody else's
+ * group would hand a reviewer an unrelated edit to approve it beneath.
+ *
+ * The band used to say nothing had named these. That was false on every build
+ * carrying component hashes, and false in the direction that costs the most: a
+ * region is named by resolving the box the pixels drew, so it fails exactly when
+ * an edit reflows its neighbours and the difference merges into one blob. The
+ * hashes are still there, still per component, and they usually name the cause
+ * outright. What is missing is a *box*, not a name — so the name is on the row.
+ */
+function Unattributed({ subjects, build, go, }) {
+    return (_jsxs("section", { className: "va-band va-band-orphan", children: [_jsxs("h3", { children: ["No region named these ", _jsx("span", { className: "va-num", children: number(subjects.length) })] }), _jsx("ul", { children: subjects.map((subject) => (_jsx("li", { className: "va-row", children: _jsxs(Go, { to: { page: 'subject', build, subject: subject.subject }, go: go, className: "va-row-link", title: magnitude(subject), children: [_jsx("span", { className: "va-row-name", children: subject.subject }), _jsx(Blamed, { subject: subject }), _jsxs("span", { className: "va-row-size va-num", children: [number(subject.changedPixels), " px"] })] }) }, subject.subject))) })] }));
+}
+/**
+ * What the hashes name in a render the regions could not.
+ *
+ * Falls back to the region count when the baseline carried no hashes, because
+ * absent is not empty: a run that never measured this has not established that
+ * nothing caused the difference, and a row printing an empty list would say it
+ * had.
+ */
+function Blamed({ subject }) {
+    const sense = senseOfSubject(subject);
+    const causes = sense.moved.filter((entry) => entry.cause).map((entry) => entry.component);
+    if (causes.length === 0) {
+        return (_jsx("span", { className: "va-row-spread va-note", children: count(subject.regions.length, 'region') }));
+    }
+    return (_jsxs("span", { className: "va-row-spread va-note", title: causes.join(', '), children: ["hashes name ", causes.slice(0, 2).join(', '), causes.length > 2 ? ` +${String(causes.length - 2)}` : ''] }));
+}
+//# sourceMappingURL=origins.js.map

package/dist/ui/origins.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"origins.js","sourceRoot":"","sources":["../../src/ui/origins.tsx"],"names":[],"mappings":";AAiCA,OAAO,EAAE,UAAU,EAAE,MAAM,eAAe,CAAC;AAC3C,OAAO,EAAE,SAAS,EAAE,QAAQ,EAAE,QAAQ,EAAe,MAAM,eAAe,CAAC;AAC3E,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAc,MAAM,YAAY,CAAC;AAC1D,OAAO,EAAE,WAAW,EAAE,MAAM,WAAW,CAAC;AAExC,OAAO,EAAE,EAAE,EAAE,MAAM,YAAY,CAAC;AAChC,OAAO,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AAC5C,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,WAAW,CAAC;AAErD,MAAM,UAAU,YAAY,CAAC,EAC3B,KAAK,EACL,QAAQ,EACR,KAAK,EACL,QAAQ,EACR,EAAE,GAQH;IACC,MAAM,EAAE,OAAO,EAAE,YAAY,EAAE,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC;IACnD,MAAM,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE,CAAC,KAAK,GAAG,MAAM,CAAC,WAAW,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;IAExF,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACtD,OAAO,CACL,cAAK,SAAS,EAAC,uBAAuB,+EAEhC,CACP,CAAC;IACJ,CAAC;IAED,OAAO,CACL,8BACE,eAAK,SAAS,EAAC,cAAc,aAC3B,aAAG,SAAS,EAAC,eAAe,aACzB,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,QAAQ,CAAC,cAAK,KAAK,CAAC,OAAO,EAAE,QAAQ,CAAC,IAC3D,EACJ,KAAC,OAAO,IAAC,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,EAAE,EAAE,EAAE,GAAI,IACjD,EAEN,KAAC,SAAS,IAAC,KAAK,EAAE,KAAK,EAAE,EAAE,EAAE,EAAE,GAAI,EAEnC,eAAK,SAAS,EAAC,wBAAwB,aACpC,QAAQ,CAAC,KAAK,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAC9C,KAAC,IAAI,IAEH,KAAK,EAAE,KAAK,EACZ,MAAM,EAAE,KAAK,EACb,KAAK,EAAE,KAAK,CAAC,KAAK,EAClB,QAAQ,EAAE,QAAQ,EAClB,QAAQ,EAAE,QAAQ,EAClB,EAAE,EAAE,EAAE,IAND,KAAK,CAAC,IAAI,GAAG,KAAK,CAAC,KAAK,CAO7B,CACH,CAAC,EAED,YAAY,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAClC,KAAC,YAAY,IAAC,QAAQ,EAAE,YAAY,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,EAAE,EAAE,EAAE,GAAI,CACrE,IACG,IACL,CACJ,CAAC;AACJ,CAAC;AAED;;;;;;;;;;GAUG;AACH,SAAS,SAAS,CAAC,EACjB,KAAK,EACL,EAAE,GAIH;IACC,MAAM,KAAK,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC;IAChC,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAEhC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvB,OAAO,YAAG,SAAS,EAAC,qBAAqB,2EAA+D,CAAC;IAC3G,CAAC;IAED,OAAO,CACL,aAAG,SAAS,EAAC,qCAAqC,aAChD,eAAM,SAAS,EAAC,QAAQ,YAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,GAAQ,8CAChD,GAAG,EACR,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE,CAAC,CACzC,2BACG,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,EAC1B,KAAC,EAAE,IAAC,EAAE,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,OAAO,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,SAAS,EAAC,YAAY,YACrF,OAAO,GACL,KAJI,OAAO,CAKX,CACR,CAAC,EACD,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,MAAM,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,IAC9D,CACL,CAAC;AACJ,CAAC;AAED,4EAA4E;AAC5E,SAAS,OAAO,CAAC,EACf,KAAK,EACL,KAAK,EACL,EAAE,GAKH;IACC,OAAO,CACL,cAAK,SAAS,EAAC,YAAY,EAAC,IAAI,EAAC,OAAO,gBAAY,mBAAmB,YACpE,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,EAAE,CAAC,CAC3C,KAAC,EAAE,IAED,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,EACzC,EAAE,EAAE,EAAE,EACN,SAAS,EAAE,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,SAAS,EACvD,KAAK,EAAE,GAAG,YAET,KAAK,IAND,IAAI,CAON,CACN,CAAC,GACE,CACP,CAAC;AACJ,CAAC;AAED,gDAAgD;AAChD,SAAS,IAAI,CAAC,EACZ,KAAK,EACL,MAAM,EACN,KAAK,EACL,QAAQ,EACR,QAAQ,EACR,EAAE,GAQH;IACC,OAAO,CACL,mBAAS,SAAS,EAAE,mBAAmB,KAAK,CAAC,IAAI,EAAE,aACjD,KAAC,WAAW,IAAC,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE,GAAI,EACrD,uBACG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CACrC,KAAC,GAAG,IAEF,MAAM,EAAE,MAAM,KACV,CAAC,EAAE,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAChC,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,EAC/D,KAAK,EAAE,KAAK,EACZ,QAAQ,EAAE,QAAQ,EAClB,IAAI,EAAE,MAAM,CAAC,SAAS,KAAK,QAAQ,EACnC,EAAE,EAAE,EAAE,IAPD,MAAM,CAAC,SAAS,CAQrB,CACH,CAAC,GACC,IACG,CACX,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,SAAS,GAAG,CAAC,EACX,MAAM,EACN,EAAE,EACF,IAAI,EACJ,KAAK,EACL,QAAQ,EACR,IAAI,EACJ,EAAE,GAWH;IACC,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC;IACjD,MAAM,OAAO,GAAG,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,QAAQ,KAAK,IAAI,CAAC,CAAC,MAAM,CAAC;IAE7F,OAAO,CACL,aAAI,SAAS,EAAE,IAAI,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,QAAQ,YAC/C,MAAC,EAAE,IACD,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,CAAC,SAAS,EAAE,EACvD,EAAE,EAAE,EAAE,EACN,SAAS,EAAC,aAAa,EACvB,KAAK,EAAE,MAAM,CAAC,IAAI,IAAI,MAAM,CAAC,SAAS,aAEtC,eAAM,SAAS,EAAC,aAAa,YAAE,MAAM,CAAC,SAAS,GAAQ,EACvD,gBAAM,SAAS,EAAC,uBAAuB,aACpC,EAAE,KAAK,SAAS;4BACf,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,WAAW,CAAC,MAAM,EAAE,QAAQ,CAAC;4BAC5C,CAAC,CAAC,GAAG,MAAM,CAAC,EAAE,CAAC,OAAO,KAAK,CAAC,MAAM,CAAC,WAAW,CAAC,MAAM,EAAE,QAAQ,CAAC,EAAE,EACnE,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,KAAK,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAC5C,EACP,gBAAM,SAAS,EAAC,oBAAoB,aAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,WAAW,EACtE,KAAC,OAAO,IAAC,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,GAAI,EACjE,KAAC,MAAM,IAAC,MAAM,EAAE,MAAM,KAAM,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,GAAI,IACjE,GACF,CACN,CAAC;AACJ,CAAC;AAED;;;;;;;;;GASG;AACH,SAAS,MAAM,CAAC,EACd,MAAM,EACN,IAAI,GAIL;IACC,yEAAyE;IACzE,+EAA+E;IAC/E,4EAA4E;IAC5E,8EAA8E;IAC9E,MAAM,KAAK,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;IAC/D,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAEpC,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7B,6EAA6E;IAC7E,2EAA2E;IAC3E,OAAO,CACL,eAAM,SAAS,EAAC,aAAa,EAAC,KAAK,EAAE,GAAG,YACrC,GAAG,GACC,CACR,CAAC;AACJ,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,OAAO,CAAC,EACf,MAAM,EACN,QAAQ,EACR,OAAO,GAKR;IACC,IAAI,OAAO,KAAK,MAAM,CAAC,WAAW,CAAC,MAAM,EAAE,CAAC;QAC1C,OAAO,eAAM,SAAS,EAAC,qBAAqB,wBAAe,CAAC;IAC9D,CAAC;IAED,IAAI,QAAQ,CAAC,KAAK,KAAK,OAAO,EAAE,CAAC;QAC/B,MAAM,KAAK,GAAG,MAAM,CAAC,WAAW,CAAC,MAAM,CACrC,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,KAAK,KAAK,OAAO,CACjE,CAAC,MAAM,CAAC;QACT,IAAI,KAAK,KAAK,MAAM,CAAC,WAAW,CAAC,MAAM,EAAE,CAAC;YACxC,OAAO,CACL,gBAAM,SAAS,EAAC,kBAAkB,EAAC,KAAK,EAAE,qCAAqC,QAAQ,CAAC,OAAO,CAAC,KAAK,gCAAgC,yBAC1H,QAAQ,CAAC,OAAO,CAAC,KAAK,IAC1B,CACR,CAAC;QACJ,CAAC;IACH,CAAC;IAED,IAAI,CAAC,MAAM,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACvC,OAAO,CACL,eAAM,SAAS,EAAC,kBAAkB,EAAC,KAAK,EAAC,4DAA4D,0BAE9F,CACR,CAAC;IACJ,CAAC;IAED,IAAI,OAAO,GAAG,CAAC,EAAE,CAAC;QAChB,OAAO,CACL,gBAAM,SAAS,EAAC,iBAAiB,aAC9B,MAAM,CAAC,OAAO,CAAC,OAAG,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,IAC/C,CACR,CAAC;IACJ,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH,SAAS,YAAY,CAAC,EACpB,QAAQ,EACR,KAAK,EACL,EAAE,GAKH;IACC,OAAO,CACL,mBAAS,SAAS,EAAC,wBAAwB,aACzC,mDACwB,eAAM,SAAS,EAAC,QAAQ,YAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,GAAQ,IAC5E,EACL,uBACG,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CACzB,aAA0B,SAAS,EAAC,QAAQ,YAC1C,MAAC,EAAE,IACD,EAAE,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,EACxD,EAAE,EAAE,EAAE,EACN,SAAS,EAAC,aAAa,EACvB,KAAK,EAAE,SAAS,CAAC,OAAO,CAAC,aAEzB,eAAM,SAAS,EAAC,aAAa,YAAE,OAAO,CAAC,OAAO,GAAQ,EACtD,KAAC,MAAM,IAAC,OAAO,EAAE,OAAO,GAAI,EAC5B,gBAAM,SAAS,EAAC,oBAAoB,aAAE,MAAM,CAAC,OAAO,CAAC,aAAa,CAAC,WAAW,IAC3E,IAVE,OAAO,CAAC,OAAO,CAWnB,CACN,CAAC,GACC,IACG,CACX,CAAC;AACJ,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,MAAM,CAAC,EAAE,OAAO,EAAqC;IAC5D,MAAM,KAAK,GAAG,cAAc,CAAC,OAAO,CAAC,CAAC;IACtC,MAAM,MAAM,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;IAE1F,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACxB,OAAO,CACL,eAAM,SAAS,EAAC,uBAAuB,YAAE,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,EAAE,QAAQ,CAAC,GAAQ,CACzF,CAAC;IACJ,CAAC;IAED,OAAO,CACL,gBAAM,SAAS,EAAC,uBAAuB,EAAC,KAAK,EAAE,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,6BACjD,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EACzC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IACrD,CACR,CAAC;AACJ,CAAC","sourcesContent":["/**\n * The docket: every change in the build, banded, in a rail beside the one open.\n *\n * This was a stack of cards. Each carried a component, a file path, a ratio and a\n * fingerprint, and a reviewer arriving at a build of eleven changes met eleven of\n * them stacked vertically — the second one below the fold, the divergence panel\n * that would have told them they had already seen four of these nine thousand\n * pixels further down. A page cannot be both the index and the entry, and when it\n * tries the index wins the top of the screen and says nothing.\n *\n * So the list stopped carrying the story. A row says which change it is, how far\n * it went, and the single thing about it a reviewer would want before opening it:\n * that nothing reaches it, that build 5 showed it to them already, that it is\n * done. Everything else moved to [`change.tsx`](./change.tsx), where there is room\n * to say it beside the picture.\n *\n * ## The bands are the order\n *\n * A list of changes sorted by pixels answers *which of these is biggest*, and\n * nobody has ever needed to know that. The first band is the changes nothing in\n * the commit reaches — the ones that are either a real regression or a gap in the\n * graph, and either way the ones worth the reviewer's first hour. Then the ones\n * they asked for, then the ones the diff cannot name, then what is already\n * decided. Within a band, alphabetical: a reviewer looking for `Button` should\n * find it where `Button` goes, not wherever this run's pixel counts put it.\n *\n * The other orders exist because a band is a claim and a reviewer is allowed to\n * disbelieve it. [`order.ts`](./order.ts) holds them all.\n */\n\nimport type { ReactElement } from 'react';\nimport type { BuildDetail, SubjectView } from '../review-types.js';\nimport type { Crossing } from './crossing.js';\nimport { unforeseen } from './foreseen.js';\nimport { originsOf, shapesOf, sourceOf, type Origin } from './grouping.js';\nimport { docketOf, ORDERS, type Group } from './order.js';\nimport { RootHeading } from './root.js';\nimport type { Order, Route } from './route.js';\nimport { Go } from './shell.js';\nimport { senseOfSubject } from './sense.js';\nimport { count, magnitude, number } from './text.js';\n\nexport function OriginsPanel({\n  build,\n  crossing,\n  order,\n  selected,\n  go,\n}: {\n  readonly build: BuildDetail;\n  readonly crossing: Crossing;\n  readonly order: Order;\n  /** The change on the stage, so the rail can say which row it is. */\n  readonly selected?: string | undefined;\n  readonly go: (route: Route) => void;\n}): ReactElement {\n  const { origins, unattributed } = originsOf(build);\n  const renders = origins.reduce((total, origin) => total + origin.appearances.length, 0);\n\n  if (origins.length === 0 && unattributed.length === 0) {\n    return (\n      <div className=\"va-rail-empty va-note\">\n        Nothing in this build changed, so there is nothing to approve.\n      </div>\n    );\n  }\n\n  return (\n    <>\n      <div className=\"va-rail-head\">\n        <p className=\"va-rail-tally\">\n          {count(origins.length, 'change')} · {count(renders, 'render')}\n        </p>\n        <Sorting order={order} build={build.build} go={go} />\n      </div>\n\n      <Unreached build={build} go={go} />\n\n      <div className=\"va-rail-list va-scroll\">\n        {docketOf(build, origins, order).map((group) => (\n          <Band\n            key={group.lane + group.title}\n            group={group}\n            detail={build}\n            build={build.build}\n            crossing={crossing}\n            selected={selected}\n            go={go}\n          />\n        ))}\n\n        {unattributed.length === 0 ? null : (\n          <Unattributed subjects={unattributed} build={build.build} go={go} />\n        )}\n      </div>\n    </>\n  );\n}\n\n/**\n * Whether anything moved that the commit cannot reach.\n *\n * The empty case is printed, and it is the only place on this surface where an\n * empty list is worth a sentence: *nothing moved outside what you edited* is the\n * strongest thing a build can say, a reviewer cannot derive it from a docket of\n * changes that are all accounted for, and its absence is what makes the other\n * case legible when it happens.\n *\n * Silent when the run walked no diff. Then there is no prediction to have kept.\n */\nfunction Unreached({\n  build,\n  go,\n}: {\n  readonly build: BuildDetail;\n  readonly go: (route: Route) => void;\n}): ReactElement | null {\n  const loose = unforeseen(build);\n  if (loose === null) return null;\n\n  if (loose.length === 0) {\n    return <p className=\"va-foreseen va-note\">Everything that moved is under a file this commit changed.</p>;\n  }\n\n  return (\n    <p className=\"va-foreseen va-note va-foreseen-off\">\n      <span className=\"va-num\">{number(loose.length)}</span> moved with nothing in this commit\n      above{' '}\n      {loose.slice(0, 3).map((subject, index) => (\n        <span key={subject}>\n          {index === 0 ? '— ' : ', '}\n          <Go to={{ page: 'subject', build: build.build, subject }} go={go} className=\"va-from-go\">\n            {subject}\n          </Go>\n        </span>\n      ))}\n      {loose.length > 3 ? ` and ${number(loose.length - 3)} more` : ''}\n    </p>\n  );\n}\n\n/** The order picker: four addresses, one of which is the one you are at. */\nfunction Sorting({\n  order,\n  build,\n  go,\n}: {\n  readonly order: Order;\n  readonly build: string;\n  readonly go: (route: Route) => void;\n}): ReactElement {\n  return (\n    <div className=\"va-sorting\" role=\"group\" aria-label=\"Order the changes\">\n      {ORDERS.map(({ order: each, label, why }) => (\n        <Go\n          key={each}\n          to={{ page: 'build', build, order: each }}\n          go={go}\n          className={each === order ? 'va-sort va-on' : 'va-sort'}\n          title={why}\n        >\n          {label}\n        </Go>\n      ))}\n    </div>\n  );\n}\n\n/** One band: the claim, the count, the rows. */\nfunction Band({\n  group,\n  detail,\n  build,\n  crossing,\n  selected,\n  go,\n}: {\n  readonly group: Group;\n  readonly detail: BuildDetail;\n  readonly build: string;\n  readonly crossing: Crossing;\n  readonly selected?: string | undefined;\n  readonly go: (route: Route) => void;\n}): ReactElement {\n  return (\n    <section className={`va-band va-band-${group.lane}`}>\n      <RootHeading group={group} detail={detail} go={go} />\n      <ul>\n        {group.changes.map(({ origin, of }) => (\n          <Row\n            key={origin.component}\n            origin={origin}\n            {...(of === undefined ? {} : { of })}\n            {...(group.root === undefined ? {} : { from: group.root.name })}\n            build={build}\n            crossing={crossing}\n            open={origin.component === selected}\n            go={go}\n          />\n        ))}\n      </ul>\n    </section>\n  );\n}\n\n/**\n * One change, in a row a reviewer can scan a column of.\n *\n * Four facts and at most one mark. The fingerprint is not one of them — it is an\n * identity, not a finding, and it was on the third line of every card in the\n * version of this surface that told nobody anything. What replaces it is the\n * count of distinct shapes, which is the part of the same record a reviewer can\n * act on: one shape across eleven renders is one decision, and nine shapes across\n * eleven is a component whose renders each absorbed the edit their own way.\n *\n * The fourth fact is the source, and it is fourth rather than absent because the\n * band above it no longer says anything about where these came from. `CardFooter`\n * sat under *something you edited hands these what they draw* for a build and a\n * half with `ProductCard` in the store the whole time.\n */\nfunction Row({\n  origin,\n  of,\n  from,\n  build,\n  crossing,\n  open,\n  go,\n}: {\n  readonly origin: Origin;\n  /** Renders this band's cause accounts for, when it does not account for all. */\n  readonly of?: number;\n  /** The cause the heading above already names, so the row does not repeat it. */\n  readonly from?: string;\n  readonly build: string;\n  readonly crossing: Crossing;\n  readonly open: boolean;\n  readonly go: (route: Route) => void;\n}): ReactElement {\n  const shapes = shapesOf(origin.appearances).size;\n  const decided = origin.appearances.filter(({ subject }) => subject.decision !== null).length;\n\n  return (\n    <li className={open ? 'va-row va-here' : 'va-row'}>\n      <Go\n        to={{ page: 'change', build, change: origin.component }}\n        go={go}\n        className=\"va-row-link\"\n        title={origin.file ?? origin.component}\n      >\n        <span className=\"va-row-name\">{origin.component}</span>\n        <span className=\"va-row-spread va-note\">\n          {of === undefined\n            ? count(origin.appearances.length, 'render')\n            : `${number(of)} of ${count(origin.appearances.length, 'render')}`}\n          {shapes > 1 ? ` · ${count(shapes, 'shape')}` : ''}\n        </span>\n        <span className=\"va-row-size va-num\">{number(origin.pixels)} px</span>\n        <RowMark origin={origin} crossing={crossing} decided={decided} />\n        <Source origin={origin} {...(from === undefined ? {} : { from })} />\n      </Go>\n    </li>\n  );\n}\n\n/**\n * Where the change came from, by name.\n *\n * Nothing is derived here and nothing is phrased: [`sourceOf`](./grouping.js)\n * reads the owner, the file or the token off the movement the run wrote, and\n * this prints the list. A row with no source line is a row the run recorded\n * nothing for and the docket has no file for either — which is a fact about the\n * record, and is drawn as the empty space it is rather than as a sentence\n * apologising for it.\n */\nfunction Source({\n  origin,\n  from,\n}: {\n  readonly origin: Origin;\n  readonly from?: string;\n}): ReactElement | null {\n  // Minus what the heading over it already said. Under `ui/button.tsx`, an\n  // `edited` row's source *is* `ui/button.tsx`, and printing it again spends the\n  // row's third line saying the band's name back to the reader. The rows that\n  // still have something to say — the chain an owner reaches through — keep it.\n  const names = sourceOf(origin).filter((name) => name !== from);\n  if (names.length === 0) return null;\n\n  const say = names.join(', ');\n  // Ellipsised at the rail's width, so the full text has to be somewhere. This\n  // is the one thing a `title` is for: the same string, not a different one.\n  return (\n    <span className=\"va-row-from\" title={say}>\n      {say}\n    </span>\n  );\n}\n\n/**\n * The one thing worth knowing before opening this change, or nothing.\n *\n * At most one, and in this order, because a row with four badges on it is a row\n * nobody reads. Already-decided outranks everything: there is no work here. Then\n * *you have seen this*, which is the row a reviewer can skip. Then the strandings,\n * which is the row they cannot.\n */\nfunction RowMark({\n  origin,\n  crossing,\n  decided,\n}: {\n  readonly origin: Origin;\n  readonly crossing: Crossing;\n  readonly decided: number;\n}): ReactElement | null {\n  if (decided === origin.appearances.length) {\n    return <span className=\"va-mark va-approved\">decided</span>;\n  }\n\n  if (crossing.state === 'ready') {\n    const again = origin.appearances.filter(\n      ({ subject }) => crossing.of(subject.subject)?.shift === 'again',\n    ).length;\n    if (again === origin.appearances.length) {\n      return (\n        <span className=\"va-mark va-known\" title={`Every render of this was in build ${crossing.earlier.build} too, with the same difference`}>\n          seen in {crossing.earlier.build}\n        </span>\n      );\n    }\n  }\n\n  if ((origin.stranded ?? []).length > 0) {\n    return (\n      <span className=\"va-mark va-alarm\" title=\"The commit reaches nothing at all in some of these renders\">\n        unreached\n      </span>\n    );\n  }\n\n  if (decided > 0) {\n    return (\n      <span className=\"va-mark va-note\">\n        {number(decided)}/{number(origin.appearances.length)}\n      </span>\n    );\n  }\n\n  return null;\n}\n\n/**\n * The changed renders no *region* claimed — which is not the same as unexplained.\n *\n * Their own band and never folded into one: a difference with nothing named as\n * its cause has no change to be approved under, and putting it in somebody else's\n * group would hand a reviewer an unrelated edit to approve it beneath.\n *\n * The band used to say nothing had named these. That was false on every build\n * carrying component hashes, and false in the direction that costs the most: a\n * region is named by resolving the box the pixels drew, so it fails exactly when\n * an edit reflows its neighbours and the difference merges into one blob. The\n * hashes are still there, still per component, and they usually name the cause\n * outright. What is missing is a *box*, not a name — so the name is on the row.\n */\nfunction Unattributed({\n  subjects,\n  build,\n  go,\n}: {\n  readonly subjects: readonly SubjectView[];\n  readonly build: string;\n  readonly go: (route: Route) => void;\n}): ReactElement {\n  return (\n    <section className=\"va-band va-band-orphan\">\n      <h3>\n        No region named these <span className=\"va-num\">{number(subjects.length)}</span>\n      </h3>\n      <ul>\n        {subjects.map((subject) => (\n          <li key={subject.subject} className=\"va-row\">\n            <Go\n              to={{ page: 'subject', build, subject: subject.subject }}\n              go={go}\n              className=\"va-row-link\"\n              title={magnitude(subject)}\n            >\n              <span className=\"va-row-name\">{subject.subject}</span>\n              <Blamed subject={subject} />\n              <span className=\"va-row-size va-num\">{number(subject.changedPixels)} px</span>\n            </Go>\n          </li>\n        ))}\n      </ul>\n    </section>\n  );\n}\n\n/**\n * What the hashes name in a render the regions could not.\n *\n * Falls back to the region count when the baseline carried no hashes, because\n * absent is not empty: a run that never measured this has not established that\n * nothing caused the difference, and a row printing an empty list would say it\n * had.\n */\nfunction Blamed({ subject }: { readonly subject: SubjectView }): ReactElement {\n  const sense = senseOfSubject(subject);\n  const causes = sense.moved.filter((entry) => entry.cause).map((entry) => entry.component);\n\n  if (causes.length === 0) {\n    return (\n      <span className=\"va-row-spread va-note\">{count(subject.regions.length, 'region')}</span>\n    );\n  }\n\n  return (\n    <span className=\"va-row-spread va-note\" title={causes.join(', ')}>\n      hashes name {causes.slice(0, 2).join(', ')}\n      {causes.length > 2 ? ` +${String(causes.length - 2)}` : ''}\n    </span>\n  );\n}\n"]}

package/dist/ui/outcome.d.ts

@@ -0,0 +1,93 @@
+/**
+ * The edit, drawn as far as it got.
+ *
+ * Every other panel starts from a difference and works backwards. This one starts
+ * from the commit and works forwards: the files somebody changed, the components
+ * the import graph carries them to, and what happened on the renders those
+ * components appear in. Three records that already exist, joined on the one axis
+ * none of them carries alone — the diff knows nothing about renders, the graph
+ * knows nothing about pixels, and the comparison knows nothing about what was
+ * edited.
+ *
+ * ## Five things a file can turn out to have done
+ *
+ * Only the first is the one everybody builds for.
+ *
+ * - **the cause in N renders** — a component reached from here is named as the
+ *   cause of a difference. The ordinary case.
+ * - **present, never the cause** — it renders on screens that moved, and no region
+ *   in any of them names it. The screens changed for somebody else's reasons.
+ * - **nothing it reaches moved** — every render carrying it held still. An author
+ *   who believed they were changing this surface finds out here, and nowhere else
+ *   in this category: a comparison tool is silent about a green subject, and
+ *   silence is what *worked* looks like too.
+ * - **nothing renders what it reaches** — the components exist, the graph arrives
+ *   at them, and no subject in the suite draws one. That is a coverage hole
+ *   reported against the edit that just walked into it, rather than against a
+ *   percentage nobody reads.
+ * - **reaches no component** — a server file, a config, a test. Named rather than
+ *   hidden, because a file the graph drops is the other reason a change can be
+ *   invisible, and it must not look like the case above it.
+ *
+ * ## What is not claimed
+ *
+ * A render moving is not evidence that a file on it moved it. `present, never the
+ * cause` is exactly that refusal wearing a label: the edge from file to render is
+ * the import graph's, and only the region's own `cause` promotes it to an
+ * attribution. Splitting collateral between the files that could have caused it is
+ * the one number nothing here measured, and the map counts rather than divides for
+ * the same reason the docket does.
+ */
+import type { ReactElement } from 'react';
+import type { BuildDetail, SubjectView } from '../review-types.js';
+/** What became of one render that draws a reached component. */
+export type Landing = 'caused' | 'moved' | 'still' | 'uncompared';
+/** One component the commit arrives at, and every render that draws it. */
+export interface Arrival {
+    readonly component: string;
+    /** Seed first, component last. Its middle is the chain worth printing. */
+    readonly trail: readonly string[];
+    /** Set when the chain opens at a file the scan could not read, not at an edit. */
+    readonly throughUnread?: string;
+    readonly renders: readonly {
+        readonly subject: SubjectView;
+        readonly landing: Landing;
+    }[];
+}
+/** What a changed file turned out to have done, strongest reading first. */
+export type Effect = 'caused' | 'present' | 'still' | 'uncaptured' | 'unreaching';
+export interface Edit {
+    readonly file: string;
+    readonly arrivals: readonly Arrival[];
+    readonly effect: Effect;
+    /** Renders this file's components are the named cause of. Distinct subjects. */
+    readonly caused: number;
+}
+export interface OutcomeMap {
+    readonly edits: readonly Edit[];
+    /**
+     * Reached components no changed file claims.
+     *
+     * Their own row, never folded into an edit. A component reached only through a
+     * file the scan could not read was reached by the blind spot rather than by the
+     * commit, and hanging it under a file somebody actually edited would read as an
+     * attribution the traversal declined to make.
+     */
+    readonly aside: readonly Arrival[];
+    /** Changed subjects the commit reaches none of. Counted here, listed below. */
+    readonly unreached: number;
+}
+/**
+ * The map, or `null` when there is no honest one to draw.
+ *
+ * A run that carried no diff has no left column, and a diff the store could not
+ * attribute has a left column that would be a lie — `whole` is the refusal, and
+ * drawing files with no edges under them would say the commit reaches nothing.
+ * The reach panel prints that refusal in words; this returns nothing rather than
+ * printing a second, worse version of it.
+ */
+export declare function outcomeOf(build: BuildDetail): OutcomeMap | null;
+export declare function OutcomeMapView({ build }: {
+    readonly build: BuildDetail;
+}): ReactElement | null;
+//# sourceMappingURL=outcome.d.ts.map

package/dist/ui/outcome.js

@@ -0,0 +1,162 @@
+import { jsx as _jsx, jsxs as _jsxs } from "react/jsx-runtime";
+import { count, number } from './text.js';
+/**
+ * The map, or `null` when there is no honest one to draw.
+ *
+ * A run that carried no diff has no left column, and a diff the store could not
+ * attribute has a left column that would be a lie — `whole` is the refusal, and
+ * drawing files with no edges under them would say the commit reaches nothing.
+ * The reach panel prints that refusal in words; this returns nothing rather than
+ * printing a second, worse version of it.
+ */
+export function outcomeOf(build) {
+    const reach = build.reach;
+    if (reach === null || reach.whole !== undefined || reach.subjects === undefined)
+        return null;
+    const drawn = rendersOf(build.subjects, reach);
+    const claimed = new Set();
+    const edits = reach.changed.map((file) => {
+        const arrivals = reach.components
+            .filter((component) => component.throughUnread === undefined && component.trail[0] === file)
+            .map((component) => ({
+            component: component.component,
+            trail: component.trail,
+            renders: drawn.get(component.component) ?? [],
+        }));
+        for (const arrival of arrivals)
+            claimed.add(arrival.component);
+        return { file, arrivals, ...verdictOf(arrivals) };
+    });
+    const aside = reach.components
+        .filter((component) => !claimed.has(component.component))
+        .map((component) => ({
+        component: component.component,
+        trail: component.trail,
+        ...(component.throughUnread === undefined ? {} : { throughUnread: component.throughUnread }),
+        renders: drawn.get(component.component) ?? [],
+    }));
+    const unreached = build.subjects.filter((subject) => subject.verdict === 'changed' && reach.subjects?.[subject.subject]?.reached === false).length;
+    return { edits, aside, unreached };
+}
+/** Every render that draws each component, in the order the report listed them. */
+function rendersOf(subjects, reach) {
+    const drawn = new Map();
+    for (const subject of subjects) {
+        const entry = reach.subjects?.[subject.subject];
+        if (entry === undefined)
+            continue;
+        for (const component of entry.through) {
+            const list = drawn.get(component) ?? [];
+            list.push({ subject, landing: landingOf(subject, component) });
+            drawn.set(component, list);
+        }
+    }
+    return drawn;
+}
+/**
+ * What one render says about one component on it.
+ *
+ * `caused` is the region's own claim and nothing weaker stands in for it. A
+ * subject that changed while carrying this component is `moved` — the component
+ * was there, something moved, and which of the two facts explains the other is
+ * not recorded. Verdicts that describe no comparison stay off the axis entirely:
+ * a new subject never had a baseline to hold still against.
+ */
+function landingOf(subject, component) {
+    if (subject.verdict === 'unchanged')
+        return 'still';
+    if (subject.verdict !== 'changed')
+        return 'uncompared';
+    return subject.regions.some((region) => region.cause === true && region.component === component)
+        ? 'caused'
+        : 'moved';
+}
+/**
+ * The strongest true reading of a file, and the count behind it.
+ *
+ * Strongest rather than most common: a file that caused one difference and
+ * reaches four quiet components has caused a difference, and a summary ranked by
+ * how many of its arrivals were quiet would file the edit under *nothing moved*.
+ */
+function verdictOf(arrivals) {
+    const renders = arrivals.flatMap((arrival) => arrival.renders);
+    const caused = new Set(renders.filter((each) => each.landing === 'caused').map((each) => each.subject.subject)).size;
+    if (arrivals.length === 0)
+        return { effect: 'unreaching', caused: 0 };
+    if (caused > 0)
+        return { effect: 'caused', caused };
+    if (renders.length === 0)
+        return { effect: 'uncaptured', caused: 0 };
+    if (renders.some((each) => each.landing === 'moved'))
+        return { effect: 'present', caused: 0 };
+    return { effect: 'still', caused: 0 };
+}
+/** The sentence each effect is worth, and the tone it is worth saying it in. */
+const EFFECTS = {
+    caused: { tone: 'va-effect-cause', say: (edit) => `the cause in ${count(edit.caused, 'render')}` },
+    present: { tone: 'va-effect-quiet', say: () => 'present, never the cause' },
+    still: { tone: 'va-effect-ask', say: () => 'nothing it reaches moved' },
+    uncaptured: { tone: 'va-effect-ask', say: () => 'nothing renders what it reaches' },
+    unreaching: { tone: 'va-effect-quiet', say: () => 'reaches no component' },
+};
+export function OutcomeMapView({ build }) {
+    const map = outcomeOf(build);
+    if (map === null)
+        return null;
+    return (_jsxs("div", { className: "va-map", children: [_jsx("ol", { className: "va-edits", children: map.edits.map((edit) => (_jsx(EditRow, { edit: edit }, edit.file))) }), map.aside.length === 0 ? null : (_jsxs("div", { className: "va-map-aside", children: [_jsxs("p", { className: "va-map-note", children: [count(map.aside.length, 'component'), " reached by a chain that does not open at a changed file. The traversal seeds every file it could not read, so these were reached by the scan\u2019s blind spot rather than by the commit."] }), _jsx("ul", { className: "va-arrivals", children: map.aside.map((arrival) => (_jsx(ArrivalRow, { arrival: arrival }, arrival.component))) })] })), map.unreached === 0 ? null : (_jsxs("p", { className: "va-map-note va-map-alarm", children: [count(map.unreached, 'render'), " moved with no edge on this map \u2014 nothing in the commit arrives there. They are counted below, with their record."] }))] }));
+}
+function EditRow({ edit }) {
+    const effect = EFFECTS[edit.effect];
+    return (_jsxs("li", { className: "va-edit", children: [_jsxs("p", { className: "va-edit-head", children: [_jsx("code", { className: "va-edit-file", children: edit.file }), _jsx("span", { className: `va-effect ${effect.tone}`, children: effect.say(edit) })] }), edit.arrivals.length === 0 ? null : (_jsx("ul", { className: "va-arrivals", children: edit.arrivals.map((arrival) => (_jsx(ArrivalRow, { arrival: arrival }, arrival.component))) }))] }));
+}
+/**
+ * One component, its chain, and a bar of what became of the renders drawing it.
+ *
+ * The bar is the reason this is a map rather than a table: eleven renders under
+ * one component is a number, and ten orange with one green beside it is the shape
+ * of an edit that missed one variant. The counts are printed beside it, because a
+ * bar alone is a picture of a proportion nobody can quote.
+ */
+function ArrivalRow({ arrival }) {
+    const tally = {
+        caused: arrival.renders.filter((each) => each.landing === 'caused').length,
+        moved: arrival.renders.filter((each) => each.landing === 'moved').length,
+        still: arrival.renders.filter((each) => each.landing === 'still').length,
+        uncompared: arrival.renders.filter((each) => each.landing === 'uncompared').length,
+    };
+    const through = arrival.trail.slice(1, -1);
+    return (_jsxs("li", { className: "va-arrival", children: [_jsx("span", { className: "va-arrival-name", children: arrival.component }), through.length === 0 ? null : (_jsxs("span", { className: "va-arrival-through", title: arrival.trail.join(' → '), children: ["through ", through.length === 1 ? through[0] : count(through.length, 'file')] })), arrival.throughUnread === undefined ? null : (_jsx("span", { className: "va-arrival-through", title: arrival.throughUnread, children: "from an unread file" })), _jsx(Bar, { tally: tally }), _jsx("span", { className: "va-arrival-tally va-num", children: phrase(tally) })] }));
+}
+/**
+ * The proportion, with no bar drawn for a component nothing renders.
+ *
+ * An empty track and a track of one colour are different findings and would look
+ * identical at this size, so the empty one is not drawn at all — the phrase beside
+ * it is the whole answer there.
+ */
+function Bar({ tally }) {
+    const total = tally.caused + tally.moved + tally.still + tally.uncompared;
+    if (total === 0)
+        return null;
+    return (_jsx("span", { className: "va-bar", "aria-hidden": "true", children: ['caused', 'moved', 'still', 'uncompared'].map((landing) => tally[landing] === 0 ? null : (_jsx("span", { className: `va-bar-part va-bar-${landing}`, style: { flexGrow: tally[landing] } }, landing))) }));
+}
+/**
+ * The counts, said as a reviewer would say them.
+ *
+ * `still` is printed even when it is the only thing to print, because *four
+ * renders, none of them moved* is the finding on this row. A phrase that listed
+ * only what moved would render that row blank.
+ */
+function phrase(tally) {
+    const total = tally.caused + tally.moved + tally.still + tally.uncompared;
+    if (total === 0)
+        return 'no render draws it';
+    const parts = [
+        tally.caused === 0 ? undefined : `${number(tally.caused)} caused`,
+        tally.moved === 0 ? undefined : `${number(tally.moved)} moved`,
+        tally.still === 0 ? undefined : `${number(tally.still)} still`,
+        tally.uncompared === 0 ? undefined : `${number(tally.uncompared)} not compared`,
+    ].filter((part) => part !== undefined);
+    return `${count(total, 'render')} · ${parts.join(' · ')}`;
+}
+//# sourceMappingURL=outcome.js.map

package/dist/ui/outcome.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"outcome.js","sourceRoot":"","sources":["../../src/ui/outcome.tsx"],"names":[],"mappings":";AA2CA,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,WAAW,CAAC;AAyC1C;;;;;;;;GAQG;AACH,MAAM,UAAU,SAAS,CAAC,KAAkB;IAC1C,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC;IAC1B,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,CAAC,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,QAAQ,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IAE7F,MAAM,KAAK,GAAG,SAAS,CAAC,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;IAC/C,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;QACvC,MAAM,QAAQ,GAAG,KAAK,CAAC,UAAU;aAC9B,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,aAAa,KAAK,SAAS,IAAI,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC;aAC3F,GAAG,CAAC,CAAC,SAAS,EAAW,EAAE,CAAC,CAAC;YAC5B,SAAS,EAAE,SAAS,CAAC,SAAS;YAC9B,KAAK,EAAE,SAAS,CAAC,KAAK;YACtB,OAAO,EAAE,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,SAAS,CAAC,IAAI,EAAE;SAC9C,CAAC,CAAC,CAAC;QACN,KAAK,MAAM,OAAO,IAAI,QAAQ;YAAE,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;QAC/D,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,SAAS,CAAC,QAAQ,CAAC,EAAE,CAAC;IACpD,CAAC,CAAC,CAAC;IAEH,MAAM,KAAK,GAAG,KAAK,CAAC,UAAU;SAC3B,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;SACxD,GAAG,CAAC,CAAC,SAAS,EAAW,EAAE,CAAC,CAAC;QAC5B,SAAS,EAAE,SAAS,CAAC,SAAS;QAC9B,KAAK,EAAE,SAAS,CAAC,KAAK;QACtB,GAAG,CAAC,SAAS,CAAC,aAAa,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,SAAS,CAAC,aAAa,EAAE,CAAC;QAC5F,OAAO,EAAE,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,SAAS,CAAC,IAAI,EAAE;KAC9C,CAAC,CAAC,CAAC;IAEN,MAAM,SAAS,GAAG,KAAK,CAAC,QAAQ,CAAC,MAAM,CACrC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,OAAO,KAAK,SAAS,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,OAAO,KAAK,KAAK,CACnG,CAAC,MAAM,CAAC;IAET,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC;AACrC,CAAC;AAED,mFAAmF;AACnF,SAAS,SAAS,CAChB,QAAgC,EAChC,KAAgB;IAEhB,MAAM,KAAK,GAAG,IAAI,GAAG,EAA0E,CAAC;IAChG,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC/B,MAAM,KAAK,GAAG,KAAK,CAAC,QAAQ,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;QAChD,IAAI,KAAK,KAAK,SAAS;YAAE,SAAS;QAClC,KAAK,MAAM,SAAS,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;YACtC,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC;YACxC,IAAI,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,SAAS,CAAC,OAAO,EAAE,SAAS,CAAC,EAAE,CAAC,CAAC;YAC/D,KAAK,CAAC,GAAG,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;QAC7B,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;;;;GAQG;AACH,SAAS,SAAS,CAAC,OAAoB,EAAE,SAAiB;IACxD,IAAI,OAAO,CAAC,OAAO,KAAK,WAAW;QAAE,OAAO,OAAO,CAAC;IACpD,IAAI,OAAO,CAAC,OAAO,KAAK,SAAS;QAAE,OAAO,YAAY,CAAC;IACvD,OAAO,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,KAAK,IAAI,IAAI,MAAM,CAAC,SAAS,KAAK,SAAS,CAAC;QAC9F,CAAC,CAAC,QAAQ;QACV,CAAC,CAAC,OAAO,CAAC;AACd,CAAC;AAED;;;;;;GAMG;AACH,SAAS,SAAS,CAAC,QAA4B;IAC7C,MAAM,OAAO,GAAG,QAAQ,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;IAC/D,MAAM,MAAM,GAAG,IAAI,GAAG,CACpB,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,KAAK,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,CACxF,CAAC,IAAI,CAAC;IAEP,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC;IACtE,IAAI,MAAM,GAAG,CAAC;QAAE,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC;IACpD,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC;IACrE,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,KAAK,OAAO,CAAC;QAAE,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC;IAC9F,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC;AACxC,CAAC;AAED,gFAAgF;AAChF,MAAM,OAAO,GAA8F;IACzG,MAAM,EAAE,EAAE,IAAI,EAAE,iBAAiB,EAAE,GAAG,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,gBAAgB,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,EAAE,EAAE;IAClG,OAAO,EAAE,EAAE,IAAI,EAAE,iBAAiB,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,0BAA0B,EAAE;IAC3E,KAAK,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,0BAA0B,EAAE;IACvE,UAAU,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,iCAAiC,EAAE;IACnF,UAAU,EAAE,EAAE,IAAI,EAAE,iBAAiB,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,sBAAsB,EAAE;CAC3E,CAAC;AAEF,MAAM,UAAU,cAAc,CAAC,EAAE,KAAK,EAAmC;IACvE,MAAM,GAAG,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC;IAC7B,IAAI,GAAG,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAE9B,OAAO,CACL,eAAK,SAAS,EAAC,QAAQ,aACrB,aAAI,SAAS,EAAC,UAAU,YACrB,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CACvB,KAAC,OAAO,IAAiB,IAAI,EAAE,IAAI,IAArB,IAAI,CAAC,IAAI,CAAgB,CACxC,CAAC,GACC,EAEJ,GAAG,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAC/B,eAAK,SAAS,EAAC,cAAc,aAC3B,aAAG,SAAS,EAAC,aAAa,aACvB,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,EAAE,WAAW,CAAC,kMAGnC,EACJ,aAAI,SAAS,EAAC,aAAa,YACxB,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAC1B,KAAC,UAAU,IAAyB,OAAO,EAAE,OAAO,IAAnC,OAAO,CAAC,SAAS,CAAsB,CACzD,CAAC,GACC,IACD,CACP,EAEA,GAAG,CAAC,SAAS,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAC5B,aAAG,SAAS,EAAC,0BAA0B,aACpC,KAAK,CAAC,GAAG,CAAC,SAAS,EAAE,QAAQ,CAAC,8HAE7B,CACL,IACG,CACP,CAAC;AACJ,CAAC;AAED,SAAS,OAAO,CAAC,EAAE,IAAI,EAA2B;IAChD,MAAM,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAEpC,OAAO,CACL,cAAI,SAAS,EAAC,SAAS,aACrB,aAAG,SAAS,EAAC,cAAc,aACzB,eAAM,SAAS,EAAC,cAAc,YAAE,IAAI,CAAC,IAAI,GAAQ,EACjD,eAAM,SAAS,EAAE,aAAa,MAAM,CAAC,IAAI,EAAE,YAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,GAAQ,IACpE,EACH,IAAI,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CACnC,aAAI,SAAS,EAAC,aAAa,YACxB,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAC9B,KAAC,UAAU,IAAyB,OAAO,EAAE,OAAO,IAAnC,OAAO,CAAC,SAAS,CAAsB,CACzD,CAAC,GACC,CACN,IACE,CACN,CAAC;AACJ,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,UAAU,CAAC,EAAE,OAAO,EAAiC;IAC5D,MAAM,KAAK,GAAG;QACZ,MAAM,EAAE,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,KAAK,QAAQ,CAAC,CAAC,MAAM;QAC1E,KAAK,EAAE,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,KAAK,OAAO,CAAC,CAAC,MAAM;QACxE,KAAK,EAAE,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,KAAK,OAAO,CAAC,CAAC,MAAM;QACxE,UAAU,EAAE,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,KAAK,YAAY,CAAC,CAAC,MAAM;KACnF,CAAC;IACF,MAAM,OAAO,GAAG,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAE3C,OAAO,CACL,cAAI,SAAS,EAAC,YAAY,aACxB,eAAM,SAAS,EAAC,iBAAiB,YAAE,OAAO,CAAC,SAAS,GAAQ,EAC3D,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAC7B,gBAAM,SAAS,EAAC,oBAAoB,EAAC,KAAK,EAAE,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,yBAC1D,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,MAAM,CAAC,IACrE,CACR,EACA,OAAO,CAAC,aAAa,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAC5C,eAAM,SAAS,EAAC,oBAAoB,EAAC,KAAK,EAAE,OAAO,CAAC,aAAa,oCAE1D,CACR,EACD,KAAC,GAAG,IAAC,KAAK,EAAE,KAAK,GAAI,EACrB,eAAM,SAAS,EAAC,yBAAyB,YAAE,MAAM,CAAC,KAAK,CAAC,GAAQ,IAC7D,CACN,CAAC;AACJ,CAAC;AASD;;;;;;GAMG;AACH,SAAS,GAAG,CAAC,EAAE,KAAK,EAA6B;IAC/C,MAAM,KAAK,GAAG,KAAK,CAAC,MAAM,GAAG,KAAK,CAAC,KAAK,GAAG,KAAK,CAAC,KAAK,GAAG,KAAK,CAAC,UAAU,CAAC;IAC1E,IAAI,KAAK,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAE7B,OAAO,CACL,eAAM,SAAS,EAAC,QAAQ,iBAAa,MAAM,YACvC,CAAC,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,YAAY,CAAW,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CACrE,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAC5B,eAEE,SAAS,EAAE,sBAAsB,OAAO,EAAE,EAC1C,KAAK,EAAE,EAAE,QAAQ,EAAE,KAAK,CAAC,OAAO,CAAC,EAAE,IAF9B,OAAO,CAGZ,CACH,CACF,GACI,CACR,CAAC;AACJ,CAAC;AAED;;;;;;GAMG;AACH,SAAS,MAAM,CAAC,KAAY;IAC1B,MAAM,KAAK,GAAG,KAAK,CAAC,MAAM,GAAG,KAAK,CAAC,KAAK,GAAG,KAAK,CAAC,KAAK,GAAG,KAAK,CAAC,UAAU,CAAC;IAC1E,IAAI,KAAK,KAAK,CAAC;QAAE,OAAO,oBAAoB,CAAC;IAE7C,MAAM,KAAK,GAAG;QACZ,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,SAAS;QACjE,KAAK,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,QAAQ;QAC9D,KAAK,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,QAAQ;QAC9D,KAAK,CAAC,UAAU,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC,eAAe;KAChF,CAAC,MAAM,CAAC,CAAC,IAAI,EAAkB,EAAE,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;IAEvD,OAAO,GAAG,KAAK,CAAC,KAAK,EAAE,QAAQ,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;AAC5D,CAAC","sourcesContent":["/**\n * The edit, drawn as far as it got.\n *\n * Every other panel starts from a difference and works backwards. This one starts\n * from the commit and works forwards: the files somebody changed, the components\n * the import graph carries them to, and what happened on the renders those\n * components appear in. Three records that already exist, joined on the one axis\n * none of them carries alone — the diff knows nothing about renders, the graph\n * knows nothing about pixels, and the comparison knows nothing about what was\n * edited.\n *\n * ## Five things a file can turn out to have done\n *\n * Only the first is the one everybody builds for.\n *\n * - **the cause in N renders** — a component reached from here is named as the\n *   cause of a difference. The ordinary case.\n * - **present, never the cause** — it renders on screens that moved, and no region\n *   in any of them names it. The screens changed for somebody else's reasons.\n * - **nothing it reaches moved** — every render carrying it held still. An author\n *   who believed they were changing this surface finds out here, and nowhere else\n *   in this category: a comparison tool is silent about a green subject, and\n *   silence is what *worked* looks like too.\n * - **nothing renders what it reaches** — the components exist, the graph arrives\n *   at them, and no subject in the suite draws one. That is a coverage hole\n *   reported against the edit that just walked into it, rather than against a\n *   percentage nobody reads.\n * - **reaches no component** — a server file, a config, a test. Named rather than\n *   hidden, because a file the graph drops is the other reason a change can be\n *   invisible, and it must not look like the case above it.\n *\n * ## What is not claimed\n *\n * A render moving is not evidence that a file on it moved it. `present, never the\n * cause` is exactly that refusal wearing a label: the edge from file to render is\n * the import graph's, and only the region's own `cause` promotes it to an\n * attribution. Splitting collateral between the files that could have caused it is\n * the one number nothing here measured, and the map counts rather than divides for\n * the same reason the docket does.\n */\n\nimport type { ReactElement } from 'react';\nimport type { BuildDetail, ReachView, SubjectView } from '../review-types.js';\nimport { count, number } from './text.js';\n\n/** What became of one render that draws a reached component. */\nexport type Landing = 'caused' | 'moved' | 'still' | 'uncompared';\n\n/** One component the commit arrives at, and every render that draws it. */\nexport interface Arrival {\n  readonly component: string;\n  /** Seed first, component last. Its middle is the chain worth printing. */\n  readonly trail: readonly string[];\n  /** Set when the chain opens at a file the scan could not read, not at an edit. */\n  readonly throughUnread?: string;\n  readonly renders: readonly { readonly subject: SubjectView; readonly landing: Landing }[];\n}\n\n/** What a changed file turned out to have done, strongest reading first. */\nexport type Effect = 'caused' | 'present' | 'still' | 'uncaptured' | 'unreaching';\n\nexport interface Edit {\n  readonly file: string;\n  readonly arrivals: readonly Arrival[];\n  readonly effect: Effect;\n  /** Renders this file's components are the named cause of. Distinct subjects. */\n  readonly caused: number;\n}\n\nexport interface OutcomeMap {\n  readonly edits: readonly Edit[];\n  /**\n   * Reached components no changed file claims.\n   *\n   * Their own row, never folded into an edit. A component reached only through a\n   * file the scan could not read was reached by the blind spot rather than by the\n   * commit, and hanging it under a file somebody actually edited would read as an\n   * attribution the traversal declined to make.\n   */\n  readonly aside: readonly Arrival[];\n  /** Changed subjects the commit reaches none of. Counted here, listed below. */\n  readonly unreached: number;\n}\n\n/**\n * The map, or `null` when there is no honest one to draw.\n *\n * A run that carried no diff has no left column, and a diff the store could not\n * attribute has a left column that would be a lie — `whole` is the refusal, and\n * drawing files with no edges under them would say the commit reaches nothing.\n * The reach panel prints that refusal in words; this returns nothing rather than\n * printing a second, worse version of it.\n */\nexport function outcomeOf(build: BuildDetail): OutcomeMap | null {\n  const reach = build.reach;\n  if (reach === null || reach.whole !== undefined || reach.subjects === undefined) return null;\n\n  const drawn = rendersOf(build.subjects, reach);\n  const claimed = new Set<string>();\n  const edits = reach.changed.map((file) => {\n    const arrivals = reach.components\n      .filter((component) => component.throughUnread === undefined && component.trail[0] === file)\n      .map((component): Arrival => ({\n        component: component.component,\n        trail: component.trail,\n        renders: drawn.get(component.component) ?? [],\n      }));\n    for (const arrival of arrivals) claimed.add(arrival.component);\n    return { file, arrivals, ...verdictOf(arrivals) };\n  });\n\n  const aside = reach.components\n    .filter((component) => !claimed.has(component.component))\n    .map((component): Arrival => ({\n      component: component.component,\n      trail: component.trail,\n      ...(component.throughUnread === undefined ? {} : { throughUnread: component.throughUnread }),\n      renders: drawn.get(component.component) ?? [],\n    }));\n\n  const unreached = build.subjects.filter(\n    (subject) => subject.verdict === 'changed' && reach.subjects?.[subject.subject]?.reached === false,\n  ).length;\n\n  return { edits, aside, unreached };\n}\n\n/** Every render that draws each component, in the order the report listed them. */\nfunction rendersOf(\n  subjects: readonly SubjectView[],\n  reach: ReachView,\n): Map<string, { readonly subject: SubjectView; readonly landing: Landing }[]> {\n  const drawn = new Map<string, { readonly subject: SubjectView; readonly landing: Landing }[]>();\n  for (const subject of subjects) {\n    const entry = reach.subjects?.[subject.subject];\n    if (entry === undefined) continue;\n    for (const component of entry.through) {\n      const list = drawn.get(component) ?? [];\n      list.push({ subject, landing: landingOf(subject, component) });\n      drawn.set(component, list);\n    }\n  }\n  return drawn;\n}\n\n/**\n * What one render says about one component on it.\n *\n * `caused` is the region's own claim and nothing weaker stands in for it. A\n * subject that changed while carrying this component is `moved` — the component\n * was there, something moved, and which of the two facts explains the other is\n * not recorded. Verdicts that describe no comparison stay off the axis entirely:\n * a new subject never had a baseline to hold still against.\n */\nfunction landingOf(subject: SubjectView, component: string): Landing {\n  if (subject.verdict === 'unchanged') return 'still';\n  if (subject.verdict !== 'changed') return 'uncompared';\n  return subject.regions.some((region) => region.cause === true && region.component === component)\n    ? 'caused'\n    : 'moved';\n}\n\n/**\n * The strongest true reading of a file, and the count behind it.\n *\n * Strongest rather than most common: a file that caused one difference and\n * reaches four quiet components has caused a difference, and a summary ranked by\n * how many of its arrivals were quiet would file the edit under *nothing moved*.\n */\nfunction verdictOf(arrivals: readonly Arrival[]): { readonly effect: Effect; readonly caused: number } {\n  const renders = arrivals.flatMap((arrival) => arrival.renders);\n  const caused = new Set(\n    renders.filter((each) => each.landing === 'caused').map((each) => each.subject.subject),\n  ).size;\n\n  if (arrivals.length === 0) return { effect: 'unreaching', caused: 0 };\n  if (caused > 0) return { effect: 'caused', caused };\n  if (renders.length === 0) return { effect: 'uncaptured', caused: 0 };\n  if (renders.some((each) => each.landing === 'moved')) return { effect: 'present', caused: 0 };\n  return { effect: 'still', caused: 0 };\n}\n\n/** The sentence each effect is worth, and the tone it is worth saying it in. */\nconst EFFECTS: Readonly<Record<Effect, { readonly tone: string; readonly say: (edit: Edit) => string }>> = {\n  caused: { tone: 'va-effect-cause', say: (edit) => `the cause in ${count(edit.caused, 'render')}` },\n  present: { tone: 'va-effect-quiet', say: () => 'present, never the cause' },\n  still: { tone: 'va-effect-ask', say: () => 'nothing it reaches moved' },\n  uncaptured: { tone: 'va-effect-ask', say: () => 'nothing renders what it reaches' },\n  unreaching: { tone: 'va-effect-quiet', say: () => 'reaches no component' },\n};\n\nexport function OutcomeMapView({ build }: { readonly build: BuildDetail }): ReactElement | null {\n  const map = outcomeOf(build);\n  if (map === null) return null;\n\n  return (\n    <div className=\"va-map\">\n      <ol className=\"va-edits\">\n        {map.edits.map((edit) => (\n          <EditRow key={edit.file} edit={edit} />\n        ))}\n      </ol>\n\n      {map.aside.length === 0 ? null : (\n        <div className=\"va-map-aside\">\n          <p className=\"va-map-note\">\n            {count(map.aside.length, 'component')} reached by a chain that does not open at a\n            changed file. The traversal seeds every file it could not read, so these were reached by\n            the scan&rsquo;s blind spot rather than by the commit.\n          </p>\n          <ul className=\"va-arrivals\">\n            {map.aside.map((arrival) => (\n              <ArrivalRow key={arrival.component} arrival={arrival} />\n            ))}\n          </ul>\n        </div>\n      )}\n\n      {map.unreached === 0 ? null : (\n        <p className=\"va-map-note va-map-alarm\">\n          {count(map.unreached, 'render')} moved with no edge on this map — nothing in the commit\n          arrives there. They are counted below, with their record.\n        </p>\n      )}\n    </div>\n  );\n}\n\nfunction EditRow({ edit }: { readonly edit: Edit }): ReactElement {\n  const effect = EFFECTS[edit.effect];\n\n  return (\n    <li className=\"va-edit\">\n      <p className=\"va-edit-head\">\n        <code className=\"va-edit-file\">{edit.file}</code>\n        <span className={`va-effect ${effect.tone}`}>{effect.say(edit)}</span>\n      </p>\n      {edit.arrivals.length === 0 ? null : (\n        <ul className=\"va-arrivals\">\n          {edit.arrivals.map((arrival) => (\n            <ArrivalRow key={arrival.component} arrival={arrival} />\n          ))}\n        </ul>\n      )}\n    </li>\n  );\n}\n\n/**\n * One component, its chain, and a bar of what became of the renders drawing it.\n *\n * The bar is the reason this is a map rather than a table: eleven renders under\n * one component is a number, and ten orange with one green beside it is the shape\n * of an edit that missed one variant. The counts are printed beside it, because a\n * bar alone is a picture of a proportion nobody can quote.\n */\nfunction ArrivalRow({ arrival }: { readonly arrival: Arrival }): ReactElement {\n  const tally = {\n    caused: arrival.renders.filter((each) => each.landing === 'caused').length,\n    moved: arrival.renders.filter((each) => each.landing === 'moved').length,\n    still: arrival.renders.filter((each) => each.landing === 'still').length,\n    uncompared: arrival.renders.filter((each) => each.landing === 'uncompared').length,\n  };\n  const through = arrival.trail.slice(1, -1);\n\n  return (\n    <li className=\"va-arrival\">\n      <span className=\"va-arrival-name\">{arrival.component}</span>\n      {through.length === 0 ? null : (\n        <span className=\"va-arrival-through\" title={arrival.trail.join(' → ')}>\n          through {through.length === 1 ? through[0] : count(through.length, 'file')}\n        </span>\n      )}\n      {arrival.throughUnread === undefined ? null : (\n        <span className=\"va-arrival-through\" title={arrival.throughUnread}>\n          from an unread file\n        </span>\n      )}\n      <Bar tally={tally} />\n      <span className=\"va-arrival-tally va-num\">{phrase(tally)}</span>\n    </li>\n  );\n}\n\ninterface Tally {\n  readonly caused: number;\n  readonly moved: number;\n  readonly still: number;\n  readonly uncompared: number;\n}\n\n/**\n * The proportion, with no bar drawn for a component nothing renders.\n *\n * An empty track and a track of one colour are different findings and would look\n * identical at this size, so the empty one is not drawn at all — the phrase beside\n * it is the whole answer there.\n */\nfunction Bar({ tally }: { readonly tally: Tally }): ReactElement | null {\n  const total = tally.caused + tally.moved + tally.still + tally.uncompared;\n  if (total === 0) return null;\n\n  return (\n    <span className=\"va-bar\" aria-hidden=\"true\">\n      {(['caused', 'moved', 'still', 'uncompared'] as const).map((landing) =>\n        tally[landing] === 0 ? null : (\n          <span\n            key={landing}\n            className={`va-bar-part va-bar-${landing}`}\n            style={{ flexGrow: tally[landing] }}\n          />\n        ),\n      )}\n    </span>\n  );\n}\n\n/**\n * The counts, said as a reviewer would say them.\n *\n * `still` is printed even when it is the only thing to print, because *four\n * renders, none of them moved* is the finding on this row. A phrase that listed\n * only what moved would render that row blank.\n */\nfunction phrase(tally: Tally): string {\n  const total = tally.caused + tally.moved + tally.still + tally.uncompared;\n  if (total === 0) return 'no render draws it';\n\n  const parts = [\n    tally.caused === 0 ? undefined : `${number(tally.caused)} caused`,\n    tally.moved === 0 ? undefined : `${number(tally.moved)} moved`,\n    tally.still === 0 ? undefined : `${number(tally.still)} still`,\n    tally.uncompared === 0 ? undefined : `${number(tally.uncompared)} not compared`,\n  ].filter((part): part is string => part !== undefined);\n\n  return `${count(total, 'render')} · ${parts.join(' · ')}`;\n}\n"]}

package/dist/ui/parted.d.ts

@@ -0,0 +1,68 @@
+/**
+ * Where one change's renders stopped agreeing with each other.
+ *
+ * A change is approved once and lands many times. `Button` moved in seven
+ * renders and the page says so, which reads as one thing having happened seven
+ * times — and on this build it is two things. Two of those renders moved by
+ * 6,418 pixels into one shape and five moved by about 3,500 into another, so a
+ * reviewer pressing approve is signing off on two outcomes under one name and
+ * has been shown neither.
+ *
+ * The shape is already recorded: a region carries a fingerprint of the
+ * difference, so renders that moved *identically* share one and renders that
+ * absorbed the same edit differently do not. Grouping by it costs nothing and
+ * turns `7 renders · 2 shapes` — a count nobody can act on — into the two groups
+ * and what separates them.
+ *
+ * ## Not `partingOf`
+ *
+ * `@variance-authority/core`'s parting reads two documents and climbs to the
+ * hook cell that decided a difference. This never opens a document. It divides
+ * one component's renders by the digest of what happened to each, which is the
+ * same question — *where did these part* — asked at the only grain a review
+ * surface has, and answerable on data the build already carried.
+ *
+ * ## The shared name is a name, not a cause
+ *
+ * When every subject in a group extends one prefix and no other group's does,
+ * that prefix is printed. It is the inference `VariationRecord`'s `named`
+ * already makes — a subject whose name extends another's is that subject plus an
+ * axis — and it is correct exactly as often as the naming convention is kept. So
+ * it is printed as a label beside the group and never as a because: *these two
+ * are the `route/detail` renders*, not *`route/detail` caused this*.
+ *
+ * One shape is reported too. *Seven renders, one shape* is the answer that makes
+ * the divided case legible, and a section that appeared only on divergence would
+ * leave a reviewer unable to tell agreement from a panel that had not loaded.
+ */
+import type { Origin } from './grouping.js';
+/** One group of renders that moved identically. */
+export interface Shape {
+    /** The fingerprint they share. Not printed; it is an identity, not a finding. */
+    readonly shape: string;
+    /** Subjects in it, sorted. */
+    readonly renders: readonly string[];
+    readonly least: number;
+    readonly most: number;
+    /**
+     * The name every render here extends and no other group's does.
+     *
+     * Absent when the group has one render — the subject is already the coordinate
+     * — or when the names have nothing in common that is theirs alone.
+     */
+    readonly only?: string;
+}
+/** One change's renders, divided by what happened to each. */
+export interface Parted {
+    readonly shapes: readonly Shape[];
+    /**
+     * Renders whose leading region recorded no fingerprint.
+     *
+     * Their own list, never a shape. Two renders that both recorded nothing have
+     * not been found to agree, and folding them together would report the
+     * identical difference twice about a pair nothing measured.
+     */
+    readonly unshaped: readonly string[];
+}
+export declare function partedBy(origin: Origin): Parted;
+//# sourceMappingURL=parted.d.ts.map