@preventive/triage 1.0.0-alpha.13 → 1.0.0-alpha.15

package/report/src/parse-md-id.js

@@ -0,0 +1,137 @@
+// FROZEN. The id fingerprint of a Claude Security (markdown) finding.
+//
+// A finding's uuid (finding-id.js) is the key every piece of stored
+// triage hangs off — markers, buckets, comments, fixes — so it has to
+// be a function of the source document alone, and it has to stay that
+// function. `parse-md.js` is not that: what it produces is
+// presentation, and it changes whenever the card does.
+//
+// So the fingerprint comes from a second parse of the same block, the
+// one in this file. It reads a fixed subset of the format — the title,
+// `## Details`, `## Location`, `## Impact`, `## Reproduction steps` and
+// the severity — into severity, description and location of a fixed
+// shape. That is what the uuid hashes: parse-md.js stamps it on the
+// finding as `_idBasis`, and deriveFindingId uses it in place of the
+// finding's own fields.
+//
+// DO NOT change the behaviour of anything in this file — not to fix a
+// bug in it, not to share code with parse-md.js, not to make it read
+// better, not to widen the subset it reads. Every byte it emits is
+// baked into uuids in users' browsers; the golden values in
+// tests/finding-id-md.test.js are what it must keep producing.
+//
+// `## Evidence` is outside the subset. A finding whose only cited site
+// is an evidence row therefore keys by file 'unknown' / line '?' over
+// a description with no evidence in it, and two findings in one report
+// whose title / details / impact / reproduction and severity are all
+// identical share an id. That is the rule, not an oversight: an id
+// that leaves data out of the hash is recoverable, an id that moves is
+// not.
+
+const VALID_SEVERITIES = new Set(['critical', 'high', 'medium', 'low', 'high_bug', 'bug', 'informational'])
+
+// The fingerprint object `deriveFindingId` hashes for one finding
+// block, in a fixed key order (JSON.stringify is order-sensitive, so
+// the order IS part of the id). The discriminator is the location when
+// the source carries a `## Location`, and file / line otherwise — the
+// same two branches deriveFindingId takes for a finding that carries
+// no basis.
+export function frozenIdBasis(block) {
+  const basis = frozenParse(block)
+  if (!basis) return null
+  const { severity, description, location, file, line } = basis
+  return location
+    ? { severity, description, location }
+    : { severity, description, file, line }
+}
+
+// This file's parse of one `# Title` block: severity, description and
+// location, from the fixed subset of the format described above.
+function frozenParse(block) {
+  const newlineIdx = block.indexOf('\n')
+  const title = (newlineIdx === -1 ? block : block.slice(0, newlineIdx)).trim()
+  if (!title) return null
+  const body = newlineIdx === -1 ? '' : block.slice(newlineIdx + 1)
+
+  const { sectionsText, metaText } = splitBody(body)
+  const sections = parseSections(sectionsText)
+  const meta = parseMeta(metaText)
+  const { file, line, locationLink } = parseLocation(sections.location || '')
+
+  const sevRaw = (meta.severity || '').toLowerCase()
+  const severity = VALID_SEVERITIES.has(sevRaw) ? sevRaw : 'medium'
+
+  return {
+    severity,
+    description: buildDescription(title, sections),
+    location: locationLink,
+    file: file || 'unknown',
+    line,
+  }
+}
+
+// ── The frozen readers ───────────────────────────────────────────────
+
+function splitBody(body) {
+  const dashRe = /^---\s*$/mu
+  const dashMatch = dashRe.exec(body)
+  if (!dashMatch) return { sectionsText: body, metaText: '' }
+  const sectionsText = body.slice(0, dashMatch.index).trim()
+  const rest = body.slice(dashMatch.index + dashMatch[0].length).replace(/^\n/u, '')
+  const next = dashRe.exec(rest)
+  const metaText = next ? rest.slice(0, next.index) : rest
+  return { sectionsText, metaText }
+}
+
+function parseSections(sectionsText) {
+  const sections = {}
+  const parts = sectionsText.split(/^## /mu)
+  for (let i = 1; i < parts.length; i++) {
+    const part = parts[i]
+    const nl = part.indexOf('\n')
+    const header = (nl === -1 ? part : part.slice(0, nl)).trim().toLowerCase()
+    const content = (nl === -1 ? '' : part.slice(nl + 1)).trim()
+    if (header) sections[header] = content
+  }
+  return sections
+}
+
+function parseMeta(metaText) {
+  const meta = {}
+  for (const m of metaText.matchAll(/\*\*([^:]+):\*\*\s*(.+)/gu)) {
+    meta[m[1].trim().toLowerCase()] = m[2].trim()
+  }
+  return meta
+}
+
+function parseLocation(loc) {
+  let file = '', line = '?', locationLink = ''
+  const linkMatch = loc.match(/\[([^\]]+)\]\(([^)]+)\)/u)
+  if (linkMatch) {
+    file = linkMatch[1].trim()
+    locationLink = linkMatch[2]
+    const lineFromUrl = linkMatch[2].match(/#L(\d+)/u)
+    if (lineFromUrl) line = lineFromUrl[1]
+  } else {
+    file = loc.trim()
+    locationLink = loc.trim()
+  }
+  // `:42` suffix on the file path — common shorthand. Only consume
+  // if we don't already have a line from a `#L<n>` anchor.
+  const colonMatch = file.match(/^(.+):(\d+)$/u)
+  if (colonMatch) {
+    file = colonMatch[1]
+    if (line === '?') line = colonMatch[2]
+  }
+  return { file, line, locationLink }
+}
+
+function buildDescription(title, sections) {
+  const bodyParts = [title]
+  if (sections.details) bodyParts.push(sections.details)
+  if (sections.impact) bodyParts.push(`Impact: ${sections.impact}`)
+  if (sections['reproduction steps']) bodyParts.push(`Reproduction: ${sections['reproduction steps']}`)
+  return stripBold(bodyParts.join('\n\n'))
+}
+
+function stripBold(text) { return text.replaceAll('**', '') }

package/report/src/parse-md.js

@@ -0,0 +1,253 @@
+// Claude Security's markdown findings — a secondary input format,
+// supported but deliberately not advertised in the README. Returns what
+// ingest.js expects from JSON, `{ type, source, findings }`, or null when
+// the text isn't this format, so the caller can surface the JSON parse
+// failure instead.
+//
+// One finding (several are separated by a `---` line):
+//
+//   # <Title>
+//
+//   ## Details
+//   ## Evidence
+//   1. [<name>](<url>)
+//      <Description>
+//   ## Impact
+//   ## Reproduction steps
+//   ## Recommended fix
+//
+//   ---
+//   **Severity:** <critical|high|medium|low>
+//   **Status:** Open
+//   **Category:** <category>
+//   **Repository:** <owner/repo>
+//   **Branch:** <branch>
+//   **Date created:** <YYYY-MM-DD>
+//
+// A report cites its site as a one-line `## Location` or as an
+// `## Evidence` list; both are read, `## Location` winning. Every
+// `## …` section is optional — only the title and the metadata block
+// carry anything mandatory.
+
+import { frozenIdBasis } from './parse-md-id.js'
+import { findMdLink, normalizeNewlines, splitHeadingLine, unescapeMd } from './md-structure.js'
+
+const VALID_SEVERITIES = new Set(['critical', 'high', 'medium', 'low', 'high_bug', 'bug', 'informational'])
+
+export function parseMarkdownFindings(content) {
+  const text = normalizeNewlines(content).trim()
+  // Format guard: these documents always start with an h1. Anything
+  // else returns null, so the caller surfaces the JSON error rather
+  // than a misleading markdown one.
+  if (!text.startsWith('# ')) return null
+
+  // Each finding starts at a line beginning with `# `; whatever
+  // preceded the first one is preamble, and empty chunks drop out.
+  const blocks = text.split(/^# /mu).filter((b) => b.trim().length > 0)
+
+  const findings = []
+  for (const block of blocks) {
+    const f = parseBlock(block)
+    if (f) findings.push(f)
+  }
+  if (findings.length === 0) return null
+
+  // `source` is what the renderer recognises the product by — the page
+  // header reads `Claude Security results` — rather than sniffing the
+  // extension, which a rename defeats. The report-level `type` is the
+  // product's category as for every source-marked producer: this is ONE
+  // analyzer, and the per-finding `**Category:**` says what kind of
+  // issue a finding is, not which run found it.
+  return { type: 'security', source: 'claude-security', findings }
+}
+
+function parseBlock(block) {
+  const { title, body } = splitHeadingLine(block)
+  if (!title) return null
+
+  const { sectionsText, metaText } = splitBody(body)
+  const sections = parseSections(sectionsText)
+  const meta = parseMeta(metaText)
+  const evidence = evidenceRows(sections.evidence || '')
+  // `## Location`, else the FIRST `## Evidence` row — the primary site
+  // by the format's convention. Every row, this one included, also
+  // lands on `finding.evidence` below.
+  const { file, line, locationLink } = parseLocation(
+    sections.location || evidence[0]?.ref || '',
+  )
+
+  // Medium when missing or unrecognized, so an unparsable finding stays
+  // visible rather than dropping out silently.
+  const sevRaw = (meta.severity || '').toLowerCase()
+  const severity = VALID_SEVERITIES.has(sevRaw) ? sevRaw : 'medium'
+
+  const description = buildDescription(title, sections, evidence.length > 0)
+
+  const finding = { file: file || 'unknown', line, severity, description }
+  if (locationLink) finding.location = locationLink
+  if (evidence.length > 0) finding.evidence = evidence.map(evidenceEntry)
+  // Narrative FIELDS, not description — the same two slots a native
+  // dump fills, so a report that names them here and one that carries
+  // them as fields read alike. The field is also what render-finding.js
+  // can collapse into a `<details>`, where a `**Label:**` paragraph in
+  // the description is an always-open block. They survive a round trip
+  // through this finding's own export, which writes them as sections
+  // that parse-deepview-md.js narrativeSplit reads back as fields.
+  if (sections['reproduction steps']) finding.reproduction = sections['reproduction steps']
+  if (sections['recommended fix']) finding.recommendation = sections['recommended fix']
+  if (meta.repository) finding.repo = { github: meta.repository }
+  // Auxiliary metadata, kept as plain strings: nothing renders these
+  // specifically, but the markdown export prints what a finding carries.
+  if (meta.branch) finding.branch = meta.branch
+  if (meta['date created']) finding.dateCreated = meta['date created']
+  if (meta.status) finding.status = meta.status
+  // The issue class the report filed the finding under ("insufficient
+  // verification of data authenticity"), as written. NOT the finding's
+  // `type`, which is the analyzer run a native dump names — this report
+  // has one analyzer, and `source` above says which.
+  if (meta.category) finding.category = meta.category
+  // The fingerprint is parse-md-id.js's own parse of this same block,
+  // not the fields above: those are presentation and free to change, it
+  // is not. Nothing this parser resolved is passed in. Read that
+  // module's header before touching either side.
+  const idBasis = frozenIdBasis(block)
+  if (idBasis) finding._idBasis = idBasis
+
+  return finding
+}
+
+// The sections half (before the first `---`) and the metadata half
+// (from there to the next `---` or the end).
+function splitBody(body) {
+  const dashRe = /^---\s*$/mu
+  const dashMatch = dashRe.exec(body)
+  if (!dashMatch) return { sectionsText: body, metaText: '' }
+  const sectionsText = body.slice(0, dashMatch.index).trim()
+  const rest = body.slice(dashMatch.index + dashMatch[0].length).replace(/^\n/u, '')
+  const next = dashRe.exec(rest)
+  const metaText = next ? rest.slice(0, next.index) : rest
+  return { sectionsText, metaText }
+}
+
+// Named sections, split on `## Header`. Whatever precedes the first
+// heading is dropped.
+function parseSections(sectionsText) {
+  const sections = {}
+  for (const part of sectionsText.split(/^## /mu).slice(1)) {
+    const { title, body } = splitHeadingLine(part)
+    const header = title.toLowerCase()
+    if (header) sections[header] = body.trim()
+  }
+  return sections
+}
+
+// `**Label:** value` per line, keyed case-folded.
+function parseMeta(metaText) {
+  const meta = {}
+  for (const m of metaText.matchAll(/\*\*([^:]+):\*\*\s*(.+)/gu)) {
+    meta[m[1].trim().toLowerCase()] = m[2].trim()
+  }
+  return meta
+}
+
+// One `## Location` line or one `## Evidence` row, a markdown link
+// preferred. The line comes from a `#L<n>` anchor in the url, a `:<n>`
+// suffix on the name, or nowhere (`?`). A RANGE is kept whole (`10-20`),
+// as parse-piolium.js keeps it, with the en / em dashes the Evidence
+// template writes normalized to a hyphen.
+//
+// `locationLink` is the url, or the raw text when there is none:
+// finding-id.js keys off it with no fileHash available, so two imports
+// of a finding share one uuid and its triage.
+function parseLocation(loc) {
+  let file = '', line = '?', locationLink = ''
+  // Brackets and parens and all: `app/(main)/[id]/page.ts` is an
+  // ordinary Next.js path, and a reading that stops at the first `]`
+  // finds no link in it — leaving the whole `[…](…)` as the file name,
+  // the line `?`, and an evidence row with no url.
+  const link = findMdLink(loc)
+  if (link) {
+    file = link.label.trim()
+    locationLink = link.url.trim()
+    const lineFromUrl = locationLink.match(/#L(\d+)(?:-L?(\d+))?/u)
+    if (lineFromUrl) line = lineFromUrl[2] ? `${lineFromUrl[1]}-${lineFromUrl[2]}` : lineFromUrl[1]
+  } else {
+    file = loc.trim()
+    locationLink = loc.trim()
+  }
+  // Backticks are notation and a `\_` is the report escaping markdown;
+  // the path is the unescaped name, which is what the displays print
+  // and what a rebuilt blob URL must address. The url is left exactly
+  // as written — reports don't escape there, and it keys the id.
+  file = unescapeMd(file.replaceAll('`', '')).trim()
+  // A `:42` / `:10–20` suffix: taken only when the anchor gave no line,
+  // but shed from the path either way.
+  const colonMatch = file.match(/^(.+):(\d+)(?:\s*[-–—]\s*L?(\d+))?$/u)
+  if (colonMatch) {
+    file = colonMatch[1]
+    if (line === '?') line = colonMatch[3] ? `${colonMatch[2]}-${colonMatch[3]}` : colonMatch[2]
+  }
+  // `linked` says how the row came in, which `locationLink` can't —
+  // the fallback puts raw text there, and that is an id discriminator,
+  // not an href.
+  return { file, line, locationLink, linked: link !== null }
+}
+
+// Rows of an `## Evidence` section, in document order:
+//
+//   1. [libs/a.ts:10–20](https://github.com/o/r/blob/<sha>/libs/a.ts#L10-L20)
+//      Why this line matters.
+//
+// Only a marker line is a reference — numbered or bulleted — and the
+// prose under it is that row's note, left-trimmed, since the renderer
+// indents the row itself.
+//
+// A section with no markers still yields one row when it is a single
+// line, or around the first line carrying a link. Free prose yields
+// none, and parseBlock leaves it in the description rather than
+// promoting a sentence to a path.
+const EVIDENCE_ITEM_RE = /^[ \t]*(?:\d+[.)]|[-*+])\s+/u
+
+function evidenceRows(text) {
+  const rows = []
+  for (const line of text.split('\n')) {
+    if (EVIDENCE_ITEM_RE.test(line)) rows.push({ ref: line.replace(EVIDENCE_ITEM_RE, '').trim(), note: [] })
+    else if (rows.length > 0 && line.trim()) rows.at(-1).note.push(line.trim())
+  }
+  if (rows.length === 0) {
+    const bare = text.split('\n').map((l) => l.trim()).filter(Boolean)
+    const at = bare.findIndex((l) => findMdLink(l) !== null)
+    if (at === -1 && bare.length !== 1) return []
+    const refAt = at === -1 ? 0 : at
+    rows.push({ ref: bare[refAt], note: bare.filter((_, i) => i !== refAt) })
+  }
+  return rows.filter((r) => r.ref)
+}
+
+// One row as it lands on the finding. `url` only where the row carried
+// a real link — the raw-text fallback is an id discriminator, not an
+// href to hand a renderer.
+function evidenceEntry({ ref, note }) {
+  const { file, line, locationLink, linked } = parseLocation(ref)
+  const entry = { file: file || 'unknown', line }
+  if (locationLink && linked) entry.url = locationLink
+  const text = note.join('\n')
+  if (text) entry.text = text
+  return entry
+}
+
+// Title + body sections, section labels emitted as `**Label:**` — the
+// shape parse-piolium gives its fields, which render-finding.js turns
+// into real `<strong>` emphasis and the markdown export re-emits as the
+// markdown it is. Everything else survives verbatim, `pre-wrap` on
+// `.desc` keeping the shape the report wrote.
+function buildDescription(title, sections, hasEvidenceRows) {
+  const bodyParts = [title]
+  if (sections.details) bodyParts.push(sections.details)
+  // An Evidence section that parsed into rows lives on
+  // `finding.evidence`, and repeating it here would double it. One that
+  // parsed into none is free prose, and stays rather than being lost.
+  if (sections.evidence && !hasEvidenceRows) bodyParts.push(`**Evidence:**\n${sections.evidence}`)
+  if (sections.impact) bodyParts.push(`**Impact:** ${sections.impact}`)
+  return bodyParts.join('\n\n')
+}

package/report/src/parse-piolium-id.js

@@ -0,0 +1,79 @@
+// FROZEN. The id fingerprint of a Piolium finding's LOCATION.
+//
+// A finding's uuid (finding-id.js) is the key every piece of stored
+// triage hangs off, so it has to be a function of the source document
+// alone, and it has to stay that function. The reference reader in
+// md-structure.js is not that: `parseCodeRef` is what the card shows a
+// finding's file, line and link as, and it changes when a report turns
+// up that it reads wrongly — which is exactly what happened to the
+// reader this one was copied from, whose link expression could not see
+// a path with brackets in it (`app/(main)/[id]/page.ts`).
+//
+// So the fingerprint comes from a second reading of the same text, the
+// one in this file: `parseCodeRef` as it stood when the ids in users'
+// browsers were derived, bug and all. parse-piolium.js stamps what it
+// returns onto each finding as `_idBasis`, and deriveFindingId uses it
+// in place of the finding's own fields.
+//
+// DO NOT change the behaviour of anything in this file — not to fix
+// the bug it preserves, not to share code with md-structure.js, not to
+// make it read better. Every byte it emits is baked into uuids;
+// report/tests/finding-id-piolium.test.js holds the golden values it
+// must keep producing.
+//
+// What it does NOT freeze: the severity and the description, which the
+// live parser hands in. Those are the same exposure they have always
+// been for this format — a change to how a Piolium description is
+// built still re-keys these findings, as it always would have. This
+// file pins the half that was about to move.
+
+// `parseCodeRef` (md-structure.js), as of the last commit before the
+// link reading was fixed. Its own copies of the expressions, so
+// nothing it depends on can drift underneath it.
+function frozenCodeRef(raw) {
+  let text = (raw || '').trim()
+  let locationLink = ''
+  const link = /\[([^\]]+)\]\(([^)]+)\)/u.exec(text)
+  if (link) {
+    text = link[1].trim()
+    locationLink = link[2].trim()
+  }
+  let line = ''
+  const anchor = /#L(\d+)/u.exec(locationLink)
+  if (anchor) line = anchor[1]
+  const spans = [...text.matchAll(/`([^`]+)`/gu)].map((m) => m[1].trim())
+  const pathish = spans.find((s) => !s.includes('(') && (s.includes('/') || /\.\w/u.test(s)))
+  let file = pathish ?? (text.replaceAll('`', '').trim().split(/[\s,]+/u).find(Boolean) || '')
+  const frag = /^(.*?)#L(\d+)(?:-L?\d+)?$/u.exec(file)
+  if (frag) {
+    file = frag[1]
+    if (!line) line = frag[2]
+  }
+  const colon = /^(.+):(\d+(?:-\d+)?)$/u.exec(file)
+  if (colon) {
+    if (!line) line = colon[2]
+    return { file: colon[1], line, locationLink }
+  }
+  return { file, line: line || '?', locationLink }
+}
+
+// The fingerprint object `deriveFindingId` hashes for one finding, in
+// a fixed key order (JSON.stringify keeps insertion order, so the
+// order IS part of the id). The discriminator is the location when the
+// reference carried a link — or the `piolium:<id>` stand-in an
+// unlocated finding gets — and file / line otherwise: the same two
+// branches deriveFindingId takes for a finding that carries no basis,
+// which is what these findings had before this file existed.
+//
+// `lineBullet` is the `**Line:**` value the detail reader falls back
+// to, and `id` the finding's own; an index row passes neither but its
+// row id.
+export function frozenIdBasis({ severity, description, ref, lineBullet = '', id = '' }) {
+  const read = frozenCodeRef(ref)
+  const file = read.file || 'unknown'
+  const line = read.line === '?' && lineBullet ? lineBullet : read.line
+  const location = read.locationLink || (file === 'unknown' && id ? `piolium:${id}` : '')
+  return location
+    ? { severity, description, location }
+    : { severity, description, file, line }
+}

package/report/src/parse-piolium-rows.js

@@ -0,0 +1,131 @@
+// Table rows and list items → findings for the Piolium parser: the
+// index, overview and variants tables and the link-list rendering all
+// reduce to one row shape and one construction. parse-piolium.js owns
+// the document structure and the finding BLOCKS.
+
+import { cellValue, parseCodeRef, stripBold, tableObjects } from './md-structure.js'
+import { frozenIdBasis } from './parse-piolium-id.js'
+import {
+  idCell, leadingId, leadingLink, mapSeverity, severityFromId, slugTitle,
+} from './parse-piolium-tokens.js'
+
+// Normalize a table-row object to the shared row shape used by the
+// index, variant tables, group tables, and the row→finding conversion.
+// The PoC column appears both as `PoC Status` and plain `PoC`.
+export function indexRowOf(obj) {
+  return {
+    id: idCell(obj.id || ''),
+    title: cellValue(obj.title),
+    severity: cellValue(obj.severity),
+    pocStatus: cellValue(obj['poc status'] || obj.poc),
+    status: cellValue(obj.status),
+    parent: idCell(cellValue(obj.parent || '')),
+    location: cellValue(obj.location),
+  }
+}
+
+// A finding known only from a table row. Rows usually carry no path, so
+// they land on the same `unknown` / `?` placeholders, and two rows
+// sharing a title and tier would derive the SAME uuid for ingest's
+// dedupe to swallow one of. The report id is the only discriminator such
+// a row has, so it goes in the `location` fingerprint field — which
+// deriveFindingId prefers over file/line and nothing renders —
+// namespaced to read as an opaque token rather than a URL. A Location
+// column, where a table has one, is parsed like any code reference.
+export function fromIndexRow(row, sevFallback = '') {
+  const severity = mapSeverity(row.severity)
+    || sevFallback
+    || severityFromId(row.id)
+    || 'medium'
+  const { file, line, locationLink } = parseCodeRef(row.location || '')
+  const finding = {
+    file: file || 'unknown',
+    line,
+    severity,
+    description: stripBold(row.title || row.id),
+  }
+  if (locationLink) finding.location = locationLink
+  else if (finding.file === 'unknown' && row.id) finding.location = `piolium:${row.id}`
+  // The fingerprint reads the same reference its own way — see
+  // parse-piolium-id.js.
+  finding._idBasis = frozenIdBasis({
+    severity, description: finding.description, ref: row.location || '', id: row.id,
+  })
+  if (row.pocStatus) finding.pocStatus = row.pocStatus
+  if (row.status) finding.status = row.status
+  if (row.parent) finding.parent = row.parent
+  return finding
+}
+
+// Findings rendered as a list: the mode outline asks for "links to
+// per-finding report.md", so an item leads with a
+// `[<id>-<slug>](…/report.md)` link or a bold id, then a summary. Label
+// bullets and "none found" placeholders are not findings.
+export function listFindings(body, sev, index) {
+  const out = []
+  for (const line of body.split('\n')) {
+    const m = /^\s{0,3}(?:[-*+]|\d{1,3}[.)])\s+(.+)$/u.exec(line)
+    if (!m) continue
+    let text = m[1].trim()
+    if (/^\*\*[^:*]+:\*\*/u.test(text)) continue
+
+    // The item leads with a link or a bold token; either way it reads
+    // as plain `<id or title> <summary>` text from here on.
+    const linked = leadingLink(text)
+    const link = linked?.link ?? ''
+    if (linked) {
+      text = linked.text
+    } else {
+      const bold = /^\*\*([^*]+)\*\*\s*[:—–-]*\s*(.*)$/u.exec(text)
+      if (bold) text = bold[2] ? `${bold[1].trim()} ${bold[2].trim()}` : bold[1].trim()
+    }
+    if (/^(?:none\b|no |n\/a\b)/iu.test(text)) continue
+
+    // An id-led item takes its title from the slug and keeps the
+    // summary as its body; anything else is title only.
+    const lead = leadingId(text)
+    const id = lead?.id ?? ''
+    let title = text
+    if (lead) {
+      const slugT = slugTitle(lead.slug)
+      title = slugT && lead.rest ? `${slugT}\n\n${lead.rest}` : (lead.rest || slugT || lead.id)
+    }
+
+    const row = index.get(id)
+    const severity = mapSeverity(row?.severity)
+      || sev
+      || severityFromId(id)
+      || 'medium'
+    const finding = { file: 'unknown', line: '?', severity, description: stripBold(title) }
+    if (id) finding.location = `piolium:${id}`
+    else if (link) finding.location = link
+    if (link.endsWith('report.md')) finding.reportPath = link
+    if (row?.pocStatus) finding.pocStatus = row.pocStatus
+    if (row?.status) finding.status = row.status
+    if (row?.parent) finding.parent = row.parent
+    out.push({ id, finding })
+  }
+  return out
+}
+
+// Variant rows → findings, parented to the enclosing block where the row
+// names none. They are also REGISTERED as index rows, so a variant's own
+// `#### <id>` entry adopts their severity / PoC / parent even with no
+// `## Summary of Findings` in the report. No table falls back to a
+// bullet list at the caller's group severity.
+export function variantFindings(tableText, index, parentId, sevFallback = '') {
+  const out = []
+  for (const obj of tableObjects(tableText)) {
+    const row = indexRowOf(obj)
+    if (!row.id && !row.title) continue
+    if (!row.parent && parentId) row.parent = parentId
+    if (row.id && !index.has(row.id)) index.set(row.id, row)
+    out.push({ id: row.id, finding: fromIndexRow(row, sevFallback) })
+  }
+  if (out.length > 0) return out
+  const items = listFindings(tableText, sevFallback, index)
+  for (const e of items) {
+    if (parentId && !e.finding.parent) e.finding.parent = parentId
+  }
+  return items
+}