@inflexa-ai/harness 0.31.1 → 0.33.0

package/dist/report-render/assets.d.ts

@@ -66,6 +66,16 @@ export declare const ECHARTS_ASSET: PageAsset;
  * entries alone, thus this specifier resolves as a path under the installed package directory.
  */
 export declare const AG_GRID_ASSET: PageAsset;
+/**
+ * The provenance library. The page-side popover reads the `tsprov` global that this file declares.
+ *
+ * The entry names the browser bundle of the package. The package `exports` map publishes the module entries
+ * alone, thus this specifier resolves as a path under the installed package directory.
+ *
+ * The harness imports no API of the library. It stages these bytes and nothing more, thus the walk of a
+ * chain belongs to the page and the renderer stays free of every provenance API.
+ */
+export declare const TSPROV_ASSET: PageAsset;
 /** The sans font. The file is the latin subset of the variable font, thus one file carries each weight. */
 export declare const SANS_FONT_ASSET: PageAsset;
 /**

package/dist/report-render/assets.js

@@ -77,6 +77,19 @@ export const AG_GRID_ASSET = {
     file: `${DEPS_DIR}/ag-grid-community.min.js`,
     specifier: "ag-grid-community/dist/ag-grid-community.min.js",
 };
+/**
+ * The provenance library. The page-side popover reads the `tsprov` global that this file declares.
+ *
+ * The entry names the browser bundle of the package. The package `exports` map publishes the module entries
+ * alone, thus this specifier resolves as a path under the installed package directory.
+ *
+ * The harness imports no API of the library. It stages these bytes and nothing more, thus the walk of a
+ * chain belongs to the page and the renderer stays free of every provenance API.
+ */
+export const TSPROV_ASSET = {
+    file: `${DEPS_DIR}/tsprov.min.js`,
+    specifier: "@inflexa-ai/tsprov/dist/browser/tsprov.min.js",
+};
 /** The sans font. The file is the latin subset of the variable font, thus one file carries each weight. */
 export const SANS_FONT_ASSET = {
     file: `${DEPS_DIR}/space-grotesk-latin-wght-normal.woff2`,
@@ -112,6 +125,7 @@ export const MONO_FONT_700_ASSET = {
 export const PAGE_ASSETS = [
     ECHARTS_ASSET,
     AG_GRID_ASSET,
+    TSPROV_ASSET,
     SANS_FONT_ASSET,
     MONO_FONT_400_ASSET,
     MONO_FONT_500_ASSET,

package/dist/report-render/design.js

@@ -116,6 +116,7 @@ export const DESIGN_CSS = `${FONT_FACES}
 
   /* Semantic tags */
   --color-high-bg:     #f0fdf4;
+  --color-high-border: #bbf7d0;
   --color-high-text:   #15803d;
   --color-medium-bg:   #fffbeb;
   --color-medium-text: #b45309;
@@ -378,6 +379,251 @@ img {
   text-decoration: underline;
 }
 
+/* ── Lineage control and popover ──────────────────────── */
+/* The control sits beside the bracket marker. It reads as a quiet branch glyph and never as a second
+   marker, thus it takes the muted color until a hover. The button carries no browser chrome, because a
+   chrome box inside a line of prose would break the line. */
+.report-lineage {
+  display: inline-flex;
+  align-items: center;
+  margin-left: 2px;
+  padding: 0;
+  line-height: 0;
+  vertical-align: -2px;
+  color: var(--color-text-muted);
+  background: none;
+  border: 0;
+  cursor: pointer;
+}
+.report-lineage:hover {
+  color: var(--color-primary-500);
+}
+/* The drawing strokes in the current color, thus the two color rules above reach it and the sheet holds one
+   color for the two states. */
+.report-lineage-glyph {
+  display: block;
+}
+/* The panel floats over the page. A data card clips its own overflow, thus the page script places the panel
+   against the document and no card cuts it. The panel takes the width of its longest row, thus a name reads
+   whole and a cut is the exception. The cap bounds it against the design and against the viewport, and the
+   viewport half holds the same margin at each side as the clamp of the script. Thus a narrow window shows
+   the panel between the two margins. */
+.report-lineage-popover {
+  position: absolute;
+  z-index: 50;
+  width: max-content;
+  max-width: min(48rem, calc(100vw - 24px));
+  background: var(--color-card);
+  border: 1px solid var(--color-border);
+  box-shadow: 0 12px 32px -12px rgba(15, 23, 42, 0.18);
+  animation: report-lineage-open 0.12s ease-out;
+}
+.report-lineage-header {
+  display: flex;
+  align-items: center;
+  gap: 10px;
+  padding: 12px 16px;
+  border-bottom: 1px solid var(--color-border-subtle);
+}
+.report-lineage-title {
+  font-family: var(--font-mono);
+  font-size: 10px;
+  font-weight: 600;
+  letter-spacing: 0.08em;
+  text-transform: uppercase;
+  color: var(--color-text-muted);
+}
+/* The header names the marker that opened the panel and the depth of the chain under it. Thus the reader
+   reads the size of the chain before the body scrolls. */
+.report-lineage-count {
+  font-family: var(--font-mono);
+  font-size: 11px;
+  color: var(--color-text-secondary);
+}
+.report-lineage-close {
+  margin-left: auto;
+  padding: 0;
+  font-family: var(--font-mono);
+  font-size: 14px;
+  line-height: 1;
+  color: var(--color-text-muted);
+  background: none;
+  border: 0;
+  cursor: pointer;
+}
+.report-lineage-close:hover {
+  color: var(--color-heading);
+}
+/* A deep pipeline builds more rows than a window holds. The cap reads against the viewport, thus the body
+   scrolls inside the panel and the panel never grows the page. */
+.report-lineage-body {
+  max-height: 60vh;
+  overflow-y: auto;
+  padding: 16px 16px 8px;
+}
+/* One base row carries each file of the rail. A modifier marks the pinned artifact and a raw input, and a
+   row with no modifier is an artifact that the rail continues past. */
+.report-lineage-row {
+  display: flex;
+  align-items: center;
+  gap: 8px;
+  padding: 6px 10px;
+  background: var(--color-bg-alt);
+  border: 1px solid var(--color-border-subtle);
+}
+.report-lineage-row + .report-lineage-row {
+  margin-top: 4px;
+}
+.report-lineage-row-pin {
+  padding: 8px 10px;
+  background: var(--color-primary-50);
+  border-color: var(--color-primary-100);
+}
+.report-lineage-row-producer {
+  padding: 8px 10px;
+  background: var(--color-card);
+  border-color: var(--color-border);
+}
+/* The terminal tint marks a file that no command of this analysis made. It is where a branch ends, thus the
+   tint and the tag of the row state the same fact. */
+.report-lineage-row-raw {
+  background: var(--color-high-bg);
+  border-color: var(--color-high-border);
+}
+.report-lineage-tag {
+  flex-shrink: 0;
+  padding: 2px 6px;
+  font-family: var(--font-mono);
+  font-size: 9px;
+  letter-spacing: 0.06em;
+  color: var(--color-text-secondary);
+  background: var(--color-border);
+}
+.report-lineage-tag-pin {
+  font-weight: 600;
+  color: var(--color-card);
+  background: var(--color-primary-500);
+}
+.report-lineage-tag-raw {
+  font-weight: 600;
+  color: var(--color-card);
+  background: var(--color-high-text);
+}
+/* The path takes the whole free width of the row, and it never wraps the row into two lines. The panel grows
+   to the longest path, thus a window that gives the panel its cap needs no cut. In a narrow window the page
+   script cuts a long path at its start, and it cuts an over-long file name in the middle of that name. Thus
+   the ellipsis of this rule is the last guard, for a row too narrow to hold even a cut name. */
+.report-lineage-path {
+  flex: 1;
+  overflow: hidden;
+  font-family: var(--font-mono);
+  font-size: 12px;
+  color: var(--color-text);
+  text-overflow: ellipsis;
+  white-space: nowrap;
+}
+.report-lineage-row-pin .report-lineage-path,
+.report-lineage-row-raw .report-lineage-path {
+  color: var(--color-text-strong);
+}
+/* The directory prefix dims, thus the file name reads first inside a long path. */
+.report-lineage-dir {
+  color: var(--color-text-muted);
+}
+.report-lineage-hash {
+  flex-shrink: 0;
+  margin-left: auto;
+  font-family: var(--font-mono);
+  font-size: 10px;
+  color: var(--color-text-muted);
+}
+.report-lineage-prompt {
+  flex-shrink: 0;
+  color: var(--color-text-secondary);
+}
+.report-lineage-script {
+  overflow: hidden;
+  font-family: var(--font-mono);
+  font-size: 12px;
+  color: var(--color-text-strong);
+  text-overflow: ellipsis;
+  white-space: nowrap;
+}
+.report-lineage-meta {
+  flex-shrink: 0;
+  margin-left: auto;
+  font-family: var(--font-mono);
+  font-size: 10px;
+  color: var(--color-text-muted);
+}
+/* The connector sits between two levels of the rail. The page script gives it the indent of its level, thus
+   one rule serves each depth. */
+.report-lineage-link {
+  display: flex;
+  gap: 10px;
+  padding: 2px 0;
+}
+.report-lineage-rail {
+  width: 1px;
+  background: var(--color-border);
+}
+.report-lineage-rail-pin {
+  background: var(--color-primary-100);
+}
+.report-lineage-link-label {
+  padding: 6px 0;
+  font-family: var(--font-mono);
+  font-size: 9px;
+  letter-spacing: 0.08em;
+  color: var(--color-text-muted);
+}
+/* The dashed edge marks a row that names files and shows none of them. Thus a count row never reads as one
+   more hop of the chain. */
+.report-lineage-more {
+  margin-top: 4px;
+  padding: 5px 10px;
+  font-family: var(--font-mono);
+  font-size: 11px;
+  color: var(--color-text-muted);
+  /* One line always: a wrapped count row breaks the rail rhythm in a narrow
+     window, and a cut count loses nothing that the rows above do not show. */
+  white-space: nowrap;
+  overflow: hidden;
+  text-overflow: ellipsis;
+  border: 1px dashed var(--color-border);
+}
+.report-lineage-footer {
+  display: flex;
+  align-items: center;
+  gap: 8px;
+  padding: 10px 16px;
+  background: var(--color-bg-alt);
+  border-top: 1px solid var(--color-border-subtle);
+}
+.report-lineage-check {
+  flex-shrink: 0;
+  color: var(--color-high-text);
+}
+/* The footer states that the chain is complete, or it states the absence or the truncation that stopped it.
+   A reader must read the rail against what it does not hold, thus the note sits under the rail and never
+   beside one row of it. */
+.report-lineage-note {
+  font-family: var(--font-mono);
+  font-size: 10px;
+  line-height: 1.5;
+  color: var(--color-text-secondary);
+}
+@keyframes report-lineage-open {
+  from {
+    opacity: 0;
+    transform: translateY(-4px);
+  }
+  to {
+    opacity: 1;
+    transform: translateY(0);
+  }
+}
+
 /* ── Corner-accent card ───────────────────────────────── */
 /* The data cards keep square corners. The L-shaped accents grow on hover. */
 .corner-accents {
@@ -789,6 +1035,10 @@ a.report-citation-source:hover {
     opacity: 1;
     transform: none;
   }
+  /* The panel stands at once, thus the open costs no motion. */
+  .report-lineage-popover {
+    animation: none;
+  }
 }
 
 /* ── Print ────────────────────────────────────────────── */
@@ -796,6 +1046,12 @@ a.report-citation-source:hover {
   .report-nav {
     display: none;
   }
+  /* The control opens a panel, and paper opens nothing. The appendix carries the same references, thus the
+     printed page loses no evidence. */
+  .report-lineage,
+  .report-lineage-popover {
+    display: none;
+  }
   /* The printer gives the page margin. Thus the screen padding of the container drops out. */
   body:has(#report-sidebar) {
     padding-left: 0;

package/dist/report-render/page.d.ts

@@ -22,6 +22,14 @@ export declare const ASSET_HEAD: string;
  * whole directory.
  */
 export declare const GRID_ASSET_HEAD: string;
+/**
+ * The head reference of the provenance library.
+ *
+ * The library walks the chain of one pin, and a page with no provenance document holds no pin to walk.
+ * Thus the skeleton writes this tag only for a page that carries the document, and the manifest still
+ * stages the file for the whole directory.
+ */
+export declare const LINEAGE_ASSET_HEAD: string;
 /**
  * The name of the readiness event, and the name of the window sentinel that guards a late listener. The
  * bootstrap below emits both names, thus this module owns them. A capture that waits for the page reads the
@@ -181,3 +189,70 @@ export declare const TABLE_CELL_FORMATTER = "function formatCell(cell, kind, bou
  * it must never stop a sibling grid and it must never throw out of the page.
  */
 export declare const GRID_BOOTSTRAP: string;
+/**
+ * The name of the provenance library on the page.
+ *
+ * The browser bundle of the package declares this one global, and the page and the library meet there and
+ * nowhere else. The renderer imports no API of the library, thus the two ship apart.
+ *
+ * A page whose staged libraries were stripped registers no such global. That absence is a normal
+ * condition: the popover still opens, and it shows the pin as the last hop under an explicit note.
+ */
+export declare const TSPROV_GLOBAL = "tsprov";
+/** The note of a page that carries no lineage library. The chain then stops at the pin of the block. */
+export declare const LINEAGE_NO_LIBRARY_NOTE = "The lineage library is not on this page. Thus the chain stops at this pin.";
+/** The note of a library call that gave no answer. The pin stays the last hop that the page knows. */
+export declare const LINEAGE_NO_ANSWER_NOTE = "The lineage library gave no answer for this pin. Thus the chain stops here.";
+/** The note of a pin that the document holds no node for. */
+export declare const LINEAGE_NO_NODE_NOTE = "The document holds no node for this pin. Thus the chain stops here.";
+/** The note of a chain that the library cut at its own depth bound. */
+export declare const LINEAGE_TRUNCATED_NOTE = "The library cut this chain at its depth bound. Thus the chain continues past the last hop.";
+/** The note of an external record. A paper is no artifact, thus no data chain reaches it. */
+export declare const LINEAGE_RECORD_NOTE = "An external record has no data chain. Thus this reference ends at the record.";
+/**
+ * The footer note of a chain that reached the raw data.
+ *
+ * The signed form states the attestation, and the page carries one only where the source held one. Thus
+ * the footer never claims a signature that the page does not hold.
+ */
+export declare const LINEAGE_COMPLETE_NOTE = "The chain is complete \u00B7 each hop is content-addressed";
+export declare const LINEAGE_SIGNED_NOTE = "The chain is complete \u00B7 each hop is content-addressed \u00B7 an attestation covers it";
+/**
+ * The page-side script of the lineage popover.
+ *
+ * A grounded block stamps its block id and its keys. A control beside a marker names the place of its key
+ * in that stamp. Thus the script reads the markup for everything that it shows, and it holds no copy of the
+ * document model.
+ *
+ * One delegated listener serves the whole page. It opens the panel of the clicked control, it closes the
+ * open panel when a second control opens its own, and it closes on a click outside the panel and on the
+ * `Escape` key. As a result at most one panel stands at one time, and the page needs no listener for each
+ * control.
+ *
+ * The panel is a child of the body, positioned against the document. A card clips its own overflow, thus a
+ * panel inside a card would show as a strip. The position reads the box of the control, and it holds the
+ * panel inside the viewport on each side. The panel opens under the control, and it opens over the control
+ * where the space under it is short. It never covers the control that opened it: where neither side holds
+ * the whole panel, the body shrinks instead. A resize invalidates the measure, thus a resize places the
+ * open panel again.
+ *
+ * The rail comes from the edges of the walk and never from its node set. A `generated` edge binds an
+ * artifact to the command that made it, and a `used` edge binds that command to a file that it read. Each
+ * input file continues the rail with its own producer, down to a file that no command made. Thus the panel
+ * shows the chain and it shows nothing else: a sibling output collapses behind one count row, and a step,
+ * a run, and an agent never become a row.
+ *
+ * The panel takes the width of its longest row, up to the cap of the sheet. Thus a normal window shows each
+ * name whole, and the cut answers a window too narrow for the row. The fit measures against the width of the
+ * laid-out panel, which the open pins before the first cut. Without the pin a cut would shrink the panel and
+ * the next measure would read a narrower box, thus the rows would cut each other down.
+ *
+ * The hover of a row gives the whole path, and it answers for the run prefix and for a cut alike.
+ *
+ * The script builds each node and it writes each string as text. Thus a hostile path, a hostile command,
+ * and a hostile step of the document reach the panel as text and never as markup.
+ *
+ * The page makes no request. The document rides the page already, and the library reads it in memory. The
+ * graph builds one time, on the first click, thus a reader who opens no panel pays nothing for the parse.
+ */
+export declare const LINEAGE_POPOVER: string;