@mmnto/totem 1.72.0 → 1.73.0

package/dist/spine/derive-labels.d.ts

@@ -0,0 +1,99 @@
+import type { CorpusDisposition } from './corpus-dispositions.js';
+import type { GroundTruthLabel, RuleFiring } from './windtunnel-scorer.js';
+/**
+ * strategy#709 5d-iii — the ground-truth label deriver (pure core).
+ *
+ * Produces the cert-run answer key (`firingLabelId → TP|FP`) by joining the
+ * enumerated `RuleFiring`s against the frozen held-out `CorpusDisposition`s, then
+ * classifying each bound thread through the closed 5d-i taxonomy. The CLI
+ * `derive-labels` command supplies firings enumerated byte-identically to the
+ * certifying run (shared firing-setup) and the integrity-gated dispositions;
+ * this function is the deterministic, zero-LLM transform between them.
+ *
+ * Span-join invariant (codex hard fold): a corpus firing binds to a disposition
+ * thread on the SAME pr ONLY when (a) the thread's path matches the firing's
+ * file and (b) the firing's normalized `matchedLine` equals an ADDED (`+`)
+ * post-image row of the thread's `diffHunk`. Context rows, removed rows, hunk
+ * headers, and file headers are INELIGIBLE — a disposition labels a firing only
+ * by content the PR actually added, never by a line it merely sits near. 0 or
+ * >1 bound threads ⟹ omit (the scorer routes the un-keyed firing to
+ * `needsAdjudication`).
+ */
+/** Why a non-negative firing received no label (diagnostic only; never in the answer key). */
+export type UnlabeledReason = 
+/** corpus firing: no disposition thread bound by path + added-line content. */
+'no-matching-disposition'
+/** corpus firing: >1 disposition thread bound — ambiguous, never labels. */
+ | 'ambiguous-multiple-dispositions'
+/** corpus firing: a thread bound, but its taxonomy class is non-label-bearing (UNLABELED). */
+ | 'unlabeled-class'
+/** positive-control firing that is NOT the declared (pr, targetRuleId) target. */
+ | 'incidental-positive';
+/**
+ * Deriver-side data-quality diagnostics (gemini: deriver reports DATA QUALITY,
+ * the scorer reports MODEL PERFORMANCE). Deterministic + zero-LLM. Surfaced so a
+ * sparse first verdict reads as "here's the coverage + why", not a silent fail.
+ */
+export interface DeriveLabelDiagnostics {
+    /** Total firings enumerated (all control kinds). */
+    totalFirings: number;
+    /** Negative-control firings (no label — the scorer culls the rule). */
+    negativeFirings: number;
+    /** Corpus firings (the real precision surface). */
+    corpusFirings: number;
+    /** Positive-control firings. */
+    positiveFirings: number;
+    /** Corpus firings that received a TP/FP label. */
+    boundCorpusFirings: number;
+    /** boundCorpusFirings / corpusFirings — 0 when there are no corpus firings. */
+    dispositionDensity: number;
+    /** Non-negative firings with no label (the scorer's future `needsAdjudication` set). */
+    unlabeledFirings: number;
+    /** unlabeledFirings / (corpusFirings + positiveFirings) — 0 when that denominator is 0. */
+    unlabeledRate: number;
+    /** Label counts in the emitted answer key. */
+    labelCounts: {
+        TP: number;
+        FP: number;
+    };
+    /** Per-rule labeled-firing counts (ruleId → {TP, FP}); only rules that labeled appear. */
+    perRuleLabeled: Record<string, {
+        TP: number;
+        FP: number;
+    }>;
+    /** Breakdown of why firings went unlabeled. */
+    unlabeledByReason: Record<UnlabeledReason, number>;
+}
+/**
+ * Provenance for one emitted label — links the answer-key entry back to its
+ * disposition source for audit. NOT part of the hashed answer key (whose values
+ * stay a bare `TP|FP`); surfaced in the deriver's report only.
+ */
+export interface LabelEvidence {
+    labelId: string;
+    label: GroundTruthLabel;
+    pr: number;
+    ruleId: string;
+    filePath: string;
+    /** Source disposition thread id (corpus labels only; positive-target labels omit it). */
+    threadId?: string;
+    /** Root review-comment databaseId of the bound thread (corpus labels only). */
+    commentId?: number;
+    source: 'corpus-disposition' | 'positive-control-target';
+}
+export interface DeriveLabelsResult {
+    /**
+     * The answer key: `firingLabelId → TP|FP`. The ONLY thing written to
+     * `ground-truth-labels.json` (and the bytes `groundTruthSha` covers).
+     */
+    labels: Record<string, GroundTruthLabel>;
+    diagnostics: DeriveLabelDiagnostics;
+    /** Per-label provenance (audit; surfaced in the report, never in the hashed key). */
+    evidence: LabelEvidence[];
+}
+/**
+ * Derive the cert-run ground-truth answer key from enumerated firings + frozen
+ * held-out dispositions. Pure + deterministic — no I/O, no clock, no LLM.
+ */
+export declare function deriveLabelsFromDispositions(firings: readonly RuleFiring[], dispositions: readonly CorpusDisposition[]): DeriveLabelsResult;
+//# sourceMappingURL=derive-labels.d.ts.map

package/dist/spine/derive-labels.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"derive-labels.d.ts","sourceRoot":"","sources":["../../src/spine/derive-labels.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,iBAAiB,EAA2B,MAAM,0BAA0B,CAAC;AAG3F,OAAO,KAAK,EAAE,gBAAgB,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAC;AAE3E;;;;;;;;;;;;;;;;;;GAkBG;AAEH,8FAA8F;AAC9F,MAAM,MAAM,eAAe;AACzB,+EAA+E;AAC7E,yBAAyB;AAC3B,4EAA4E;GAC1E,iCAAiC;AACnC,8FAA8F;GAC5F,iBAAiB;AACnB,kFAAkF;GAChF,qBAAqB,CAAC;AAE1B;;;;GAIG;AACH,MAAM,WAAW,sBAAsB;IACrC,oDAAoD;IACpD,YAAY,EAAE,MAAM,CAAC;IACrB,uEAAuE;IACvE,eAAe,EAAE,MAAM,CAAC;IACxB,mDAAmD;IACnD,aAAa,EAAE,MAAM,CAAC;IACtB,gCAAgC;IAChC,eAAe,EAAE,MAAM,CAAC;IACxB,kDAAkD;IAClD,kBAAkB,EAAE,MAAM,CAAC;IAC3B,+EAA+E;IAC/E,kBAAkB,EAAE,MAAM,CAAC;IAC3B,wFAAwF;IACxF,gBAAgB,EAAE,MAAM,CAAC;IACzB,2FAA2F;IAC3F,aAAa,EAAE,MAAM,CAAC;IACtB,8CAA8C;IAC9C,WAAW,EAAE;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,EAAE,EAAE,MAAM,CAAA;KAAE,CAAC;IACxC,0FAA0F;IAC1F,cAAc,EAAE,MAAM,CAAC,MAAM,EAAE;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,EAAE,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IAC3D,+CAA+C;IAC/C,iBAAiB,EAAE,MAAM,CAAC,eAAe,EAAE,MAAM,CAAC,CAAC;CACpD;AAED;;;;GAIG;AACH,MAAM,WAAW,aAAa;IAC5B,OAAO,EAAE,MAAM,CAAC;IAChB,KAAK,EAAE,gBAAgB,CAAC;IACxB,EAAE,EAAE,MAAM,CAAC;IACX,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,EAAE,MAAM,CAAC;IACjB,yFAAyF;IACzF,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,+EAA+E;IAC/E,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,MAAM,EAAE,oBAAoB,GAAG,yBAAyB,CAAC;CAC1D;AAED,MAAM,WAAW,kBAAkB;IACjC;;;OAGG;IACH,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC;IACzC,WAAW,EAAE,sBAAsB,CAAC;IACpC,qFAAqF;IACrF,QAAQ,EAAE,aAAa,EAAE,CAAC;CAC3B;AAwBD;;;GAGG;AACH,wBAAgB,4BAA4B,CAC1C,OAAO,EAAE,SAAS,UAAU,EAAE,EAC9B,YAAY,EAAE,SAAS,iBAAiB,EAAE,GACzC,kBAAkB,CA8IpB"}

package/dist/spine/derive-labels.js

@@ -0,0 +1,160 @@
+import { classifyDisposition, dispositionToLabel } from './disposition-taxonomy.js';
+import { normalizeMatchedLine } from './windtunnel-firing.js';
+/**
+ * Extract the normalized ADDED (`+`) post-image rows of a unified-diff hunk.
+ * Only `+`-prefixed content rows are eligible: context rows (leading space),
+ * removed rows (`-`), the hunk header (`@@`), file headers (`+++`/`---`), and
+ * the no-newline marker (`\`) are all excluded. Each eligible row is stripped of
+ * its leading `+` and normalized with `normalizeMatchedLine` (the SAME rule the
+ * firing's `matchedLine` is built with) so the content bind keys on identical
+ * bytes.
+ */
+function addedHunkLines(diffHunk) {
+    const added = new Set();
+    for (const row of diffHunk.split('\n')) {
+        if (row.charCodeAt(0) !== 0x2b /* '+' */)
+            continue; // added rows only
+        // The unified-diff file header is "+++ <path>" — three '+' THEN A SPACE. A real
+        // added line such as `++i` appears as the diff row "+++i" (no space) and MUST
+        // bind, so match the header by its trailing space, not a bare `+++` prefix (CR).
+        if (/^\+\+\+ /.test(row))
+            continue; // file header, not added content
+        added.add(normalizeMatchedLine(row.slice(1)));
+    }
+    return added;
+}
+/**
+ * Derive the cert-run ground-truth answer key from enumerated firings + frozen
+ * held-out dispositions. Pure + deterministic — no I/O, no clock, no LLM.
+ */
+export function deriveLabelsFromDispositions(firings, dispositions) {
+    // Index dispositions by PR. Fail loud on a duplicate-PR entry (greptile): a producer
+    // bug in `fetch-dispositions`, or a partially-valid manual edit that still passes the
+    // re-stamped `corpusDispositionsSha` gate, could ship two entries for one PR — and a
+    // silent last-wins Map would drop the first entry's threads, so firings that should
+    // bind to them get a wrong `no-matching-disposition` with no diagnostic. A structural
+    // input-contract violation throws (Tenet 4); only DATA ambiguity fails soft to UNLABELED.
+    const dispByPr = new Map();
+    for (const d of dispositions) {
+        if (dispByPr.has(d.pr)) {
+            throw new Error(`deriveLabelsFromDispositions: duplicate disposition entry for PR ${d.pr} — the ` +
+                `dispositions array must carry exactly one entry per PR (a producer or edit bug).`);
+        }
+        dispByPr.set(d.pr, d);
+    }
+    // Memoize the parsed added-line set per disposition THREAD: the span-join scans every
+    // thread for each corpus firing, so without this `addedHunkLines` would re-split +
+    // re-normalize the same `diffHunk` once per firing (GCA). The WeakMap keys on the
+    // thread object, so it's GC-friendly and stays internal to this call (still pure).
+    const addedLinesCache = new WeakMap();
+    const getAddedLines = (thread) => {
+        let cached = addedLinesCache.get(thread);
+        if (!cached) {
+            cached = addedHunkLines(thread.diffHunk);
+            addedLinesCache.set(thread, cached);
+        }
+        return cached;
+    };
+    const labels = {};
+    const evidence = [];
+    const perRuleLabeled = {};
+    const labelCounts = { TP: 0, FP: 0 };
+    const unlabeledByReason = {
+        'no-matching-disposition': 0,
+        'ambiguous-multiple-dispositions': 0,
+        'unlabeled-class': 0,
+        'incidental-positive': 0,
+    };
+    let negativeFirings = 0;
+    let corpusFirings = 0;
+    let positiveFirings = 0;
+    let boundCorpusFirings = 0;
+    const emit = (firing, label, ev) => {
+        labels[firing.labelId] = label;
+        labelCounts[label] += 1;
+        (perRuleLabeled[firing.ruleId] ??= { TP: 0, FP: 0 })[label] += 1;
+        evidence.push(ev);
+    };
+    for (const firing of firings) {
+        switch (firing.controlKind) {
+            case 'negative':
+                // Negative controls never label — the scorer culls the firing rule (S2/C5).
+                negativeFirings += 1;
+                break;
+            case 'positive': {
+                positiveFirings += 1;
+                // TP structurally ONLY for the declared (pr, targetRuleId) target firing
+                // (codex BLOCKING-1). An incidental non-target firing on a positive
+                // fixture is NOT laundered TP — omit it and report; the scorer routes the
+                // un-keyed firing to needsAdjudication.
+                if (firing.targetRuleId !== undefined && firing.ruleId === firing.targetRuleId) {
+                    emit(firing, 'TP', {
+                        labelId: firing.labelId,
+                        label: 'TP',
+                        pr: firing.pr,
+                        ruleId: firing.ruleId,
+                        filePath: firing.filePath,
+                        source: 'positive-control-target',
+                    });
+                }
+                else {
+                    unlabeledByReason['incidental-positive'] += 1;
+                }
+                break;
+            }
+            case 'corpus': {
+                corpusFirings += 1;
+                const disp = dispByPr.get(firing.pr);
+                const bound = disp
+                    ? disp.threads.filter((t) => t.path.replace(/\\/g, '/') === firing.filePath &&
+                        getAddedLines(t).has(firing.matchedLine))
+                    : [];
+                if (bound.length !== 1) {
+                    unlabeledByReason[bound.length === 0 ? 'no-matching-disposition' : 'ambiguous-multiple-dispositions'] += 1;
+                    break;
+                }
+                const thread = bound[0];
+                const label = dispositionToLabel(classifyDisposition(thread.comments));
+                if (label === null) {
+                    unlabeledByReason['unlabeled-class'] += 1;
+                    break;
+                }
+                boundCorpusFirings += 1;
+                emit(firing, label, {
+                    labelId: firing.labelId,
+                    label,
+                    pr: firing.pr,
+                    ruleId: firing.ruleId,
+                    filePath: firing.filePath,
+                    threadId: thread.threadId,
+                    commentId: thread.comments[0]?.commentId,
+                    source: 'corpus-disposition',
+                });
+                break;
+            }
+        }
+    }
+    const unlabeledFirings = unlabeledByReason['no-matching-disposition'] +
+        unlabeledByReason['ambiguous-multiple-dispositions'] +
+        unlabeledByReason['unlabeled-class'] +
+        unlabeledByReason['incidental-positive'];
+    const scoredDenominator = corpusFirings + positiveFirings;
+    return {
+        labels,
+        evidence,
+        diagnostics: {
+            totalFirings: firings.length,
+            negativeFirings,
+            corpusFirings,
+            positiveFirings,
+            boundCorpusFirings,
+            dispositionDensity: corpusFirings === 0 ? 0 : boundCorpusFirings / corpusFirings,
+            unlabeledFirings,
+            unlabeledRate: scoredDenominator === 0 ? 0 : unlabeledFirings / scoredDenominator,
+            labelCounts,
+            perRuleLabeled,
+            unlabeledByReason,
+        },
+    };
+}
+//# sourceMappingURL=derive-labels.js.map

package/dist/spine/derive-labels.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"derive-labels.js","sourceRoot":"","sources":["../../src/spine/derive-labels.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,mBAAmB,EAAE,kBAAkB,EAAE,MAAM,2BAA2B,CAAC;AACpF,OAAO,EAAE,oBAAoB,EAAE,MAAM,wBAAwB,CAAC;AA6F9D;;;;;;;;GAQG;AACH,SAAS,cAAc,CAAC,QAAgB;IACtC,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,KAAK,MAAM,GAAG,IAAI,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;QACvC,IAAI,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,SAAS;YAAE,SAAS,CAAC,kBAAkB;QACtE,gFAAgF;QAChF,8EAA8E;QAC9E,iFAAiF;QACjF,IAAI,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC;YAAE,SAAS,CAAC,iCAAiC;QACrE,KAAK,CAAC,GAAG,CAAC,oBAAoB,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAChD,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,4BAA4B,CAC1C,OAA8B,EAC9B,YAA0C;IAE1C,qFAAqF;IACrF,sFAAsF;IACtF,qFAAqF;IACrF,oFAAoF;IACpF,sFAAsF;IACtF,0FAA0F;IAC1F,MAAM,QAAQ,GAAG,IAAI,GAAG,EAA6B,CAAC;IACtD,KAAK,MAAM,CAAC,IAAI,YAAY,EAAE,CAAC;QAC7B,IAAI,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;YACvB,MAAM,IAAI,KAAK,CACb,oEAAoE,CAAC,CAAC,EAAE,SAAS;gBAC/E,kFAAkF,CACrF,CAAC;QACJ,CAAC;QACD,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;IACxB,CAAC;IAED,sFAAsF;IACtF,mFAAmF;IACnF,kFAAkF;IAClF,mFAAmF;IACnF,MAAM,eAAe,GAAG,IAAI,OAAO,EAAwC,CAAC;IAC5E,MAAM,aAAa,GAAG,CAAC,MAA+B,EAAe,EAAE;QACrE,IAAI,MAAM,GAAG,eAAe,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACzC,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,MAAM,GAAG,cAAc,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;YACzC,eAAe,CAAC,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QACtC,CAAC;QACD,OAAO,MAAM,CAAC;IAChB,CAAC,CAAC;IAEF,MAAM,MAAM,GAAqC,EAAE,CAAC;IACpD,MAAM,QAAQ,GAAoB,EAAE,CAAC;IACrC,MAAM,cAAc,GAA+C,EAAE,CAAC;IACtE,MAAM,WAAW,GAAG,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC;IACrC,MAAM,iBAAiB,GAAoC;QACzD,yBAAyB,EAAE,CAAC;QAC5B,iCAAiC,EAAE,CAAC;QACpC,iBAAiB,EAAE,CAAC;QACpB,qBAAqB,EAAE,CAAC;KACzB,CAAC;IACF,IAAI,eAAe,GAAG,CAAC,CAAC;IACxB,IAAI,aAAa,GAAG,CAAC,CAAC;IACtB,IAAI,eAAe,GAAG,CAAC,CAAC;IACxB,IAAI,kBAAkB,GAAG,CAAC,CAAC;IAE3B,MAAM,IAAI,GAAG,CAAC,MAAkB,EAAE,KAAuB,EAAE,EAAiB,EAAQ,EAAE;QACpF,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,KAAK,CAAC;QAC/B,WAAW,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACxB,CAAC,cAAc,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACjE,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACpB,CAAC,CAAC;IAEF,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,QAAQ,MAAM,CAAC,WAAW,EAAE,CAAC;YAC3B,KAAK,UAAU;gBACb,4EAA4E;gBAC5E,eAAe,IAAI,CAAC,CAAC;gBACrB,MAAM;YACR,KAAK,UAAU,CAAC,CAAC,CAAC;gBAChB,eAAe,IAAI,CAAC,CAAC;gBACrB,yEAAyE;gBACzE,oEAAoE;gBACpE,0EAA0E;gBAC1E,wCAAwC;gBACxC,IAAI,MAAM,CAAC,YAAY,KAAK,SAAS,IAAI,MAAM,CAAC,MAAM,KAAK,MAAM,CAAC,YAAY,EAAE,CAAC;oBAC/E,IAAI,CAAC,MAAM,EAAE,IAAI,EAAE;wBACjB,OAAO,EAAE,MAAM,CAAC,OAAO;wBACvB,KAAK,EAAE,IAAI;wBACX,EAAE,EAAE,MAAM,CAAC,EAAE;wBACb,MAAM,EAAE,MAAM,CAAC,MAAM;wBACrB,QAAQ,EAAE,MAAM,CAAC,QAAQ;wBACzB,MAAM,EAAE,yBAAyB;qBAClC,CAAC,CAAC;gBACL,CAAC;qBAAM,CAAC;oBACN,iBAAiB,CAAC,qBAAqB,CAAC,IAAI,CAAC,CAAC;gBAChD,CAAC;gBACD,MAAM;YACR,CAAC;YACD,KAAK,QAAQ,CAAC,CAAC,CAAC;gBACd,aAAa,IAAI,CAAC,CAAC;gBACnB,MAAM,IAAI,GAAG,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;gBACrC,MAAM,KAAK,GAAG,IAAI;oBAChB,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CACjB,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,KAAK,MAAM,CAAC,QAAQ;wBAC9C,aAAa,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,WAAW,CAAC,CAC3C;oBACH,CAAC,CAAC,EAAE,CAAC;gBACP,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;oBACvB,iBAAiB,CACf,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,yBAAyB,CAAC,CAAC,CAAC,iCAAiC,CACnF,IAAI,CAAC,CAAC;oBACP,MAAM;gBACR,CAAC;gBACD,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,CAAE,CAAC;gBACzB,MAAM,KAAK,GAAG,kBAAkB,CAAC,mBAAmB,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC;gBACvE,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;oBACnB,iBAAiB,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC;oBAC1C,MAAM;gBACR,CAAC;gBACD,kBAAkB,IAAI,CAAC,CAAC;gBACxB,IAAI,CAAC,MAAM,EAAE,KAAK,EAAE;oBAClB,OAAO,EAAE,MAAM,CAAC,OAAO;oBACvB,KAAK;oBACL,EAAE,EAAE,MAAM,CAAC,EAAE;oBACb,MAAM,EAAE,MAAM,CAAC,MAAM;oBACrB,QAAQ,EAAE,MAAM,CAAC,QAAQ;oBACzB,QAAQ,EAAE,MAAM,CAAC,QAAQ;oBACzB,SAAS,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,SAAS;oBACxC,MAAM,EAAE,oBAAoB;iBAC7B,CAAC,CAAC;gBACH,MAAM;YACR,CAAC;QACH,CAAC;IACH,CAAC;IAED,MAAM,gBAAgB,GACpB,iBAAiB,CAAC,yBAAyB,CAAC;QAC5C,iBAAiB,CAAC,iCAAiC,CAAC;QACpD,iBAAiB,CAAC,iBAAiB,CAAC;QACpC,iBAAiB,CAAC,qBAAqB,CAAC,CAAC;IAC3C,MAAM,iBAAiB,GAAG,aAAa,GAAG,eAAe,CAAC;IAE1D,OAAO;QACL,MAAM;QACN,QAAQ;QACR,WAAW,EAAE;YACX,YAAY,EAAE,OAAO,CAAC,MAAM;YAC5B,eAAe;YACf,aAAa;YACb,eAAe;YACf,kBAAkB;YAClB,kBAAkB,EAAE,aAAa,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,kBAAkB,GAAG,aAAa;YAChF,gBAAgB;YAChB,aAAa,EAAE,iBAAiB,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,gBAAgB,GAAG,iBAAiB;YACjF,WAAW;YACX,cAAc;YACd,iBAAiB;SAClB;KACF,CAAC;AACJ,CAAC"}

package/dist/spine/derive-labels.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=derive-labels.test.d.ts.map

package/dist/spine/derive-labels.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"derive-labels.test.d.ts","sourceRoot":"","sources":["../../src/spine/derive-labels.test.ts"],"names":[],"mappings":""}

package/dist/spine/derive-labels.test.js

@@ -0,0 +1,179 @@
+import { describe, expect, it } from 'vitest';
+import { deriveLabelsFromDispositions } from './derive-labels.js';
+// ─── builders ────────────────────────────────────────
+function firing(over) {
+    return {
+        ruleId: 'rule-a',
+        pr: 1,
+        filePath: 'src/a.ts',
+        matchedLine: 'forbiddenCall()',
+        controlKind: 'corpus',
+        ...over,
+    };
+}
+function thread(over) {
+    return {
+        path: 'src/a.ts',
+        diffHunk: '@@ -1,2 +1,3 @@\n context();\n+forbiddenCall()',
+        isResolved: false,
+        isOutdated: false,
+        comments: [{ author: 'Jane', body: 'fixed' }],
+        ...over,
+    };
+}
+function disposition(pr, threads) {
+    return { pr, mergeCommitSha: String(pr).padStart(40, '0'), threads };
+}
+// ─── span-join: added-line-only binding (codex hard fold) ────────────────────
+describe('deriveLabelsFromDispositions — span-join (added-line-only)', () => {
+    it('binds a corpus firing to a disposition via an ADDED (+) hunk row', () => {
+        const { labels, diagnostics } = deriveLabelsFromDispositions([firing({ labelId: 'L1' })], [disposition(1, [thread({})])]);
+        expect(labels['L1']).toBe('TP'); // 'fixed' → accepted-fix → TP
+        expect(diagnostics.boundCorpusFirings).toBe(1);
+    });
+    it('does NOT bind to a CONTEXT row (leading space) — context-only ⟹ no label', () => {
+        const { labels, diagnostics } = deriveLabelsFromDispositions([firing({ labelId: 'L1' })], 
+        // same text present ONLY as a context row — never as an added row.
+        [disposition(1, [thread({ diffHunk: '@@ -1,2 +1,2 @@\n context();\n forbiddenCall()' })])]);
+        expect(labels['L1']).toBeUndefined();
+        expect(diagnostics.unlabeledByReason['no-matching-disposition']).toBe(1);
+    });
+    it('binds via the ADDED row even when the same text also appears as a context row', () => {
+        const { labels } = deriveLabelsFromDispositions([firing({ labelId: 'L1' })], [
+            disposition(1, [
+                thread({ diffHunk: '@@ -1,3 +1,4 @@\n forbiddenCall()\n-old()\n+forbiddenCall()' }),
+            ]),
+        ]);
+        expect(labels['L1']).toBe('TP');
+    });
+    it('ignores a +++ file header that coincidentally matches the line', () => {
+        const { labels, diagnostics } = deriveLabelsFromDispositions([firing({ labelId: 'L1', matchedLine: '+ b/forbiddenCall()' })], [disposition(1, [thread({ diffHunk: '+++ b/forbiddenCall()\n context();' })])]);
+        expect(labels['L1']).toBeUndefined();
+        expect(diagnostics.unlabeledByReason['no-matching-disposition']).toBe(1);
+    });
+    it('binds a real added line that itself starts with `++` (diff row "+++i") — not a file header', () => {
+        const { labels } = deriveLabelsFromDispositions([firing({ labelId: 'L1', matchedLine: '++i;' })], 
+        // source line `++i;` appears in a unified diff as the row "+++i;" (add-marker + content);
+        // it must bind, unlike the `+++ <path>` file header (CR #10 false-negative guard).
+        [disposition(1, [thread({ diffHunk: '@@ -1,1 +1,2 @@\n+++i;' })])]);
+        expect(labels['L1']).toBe('TP');
+    });
+    it('does NOT bind across files (path mismatch) even on identical added content', () => {
+        const { labels } = deriveLabelsFromDispositions([firing({ labelId: 'L1', filePath: 'src/a.ts' })], [disposition(1, [thread({ path: 'src/other.ts' })])]);
+        expect(labels['L1']).toBeUndefined();
+    });
+    it('matches trailing-whitespace-drifted content (mirrors normalizeMatchedLine)', () => {
+        const { labels } = deriveLabelsFromDispositions([firing({ labelId: 'L1', matchedLine: 'forbiddenCall()' })], 
+        // the added row carries trailing whitespace; the bind must still hold.
+        [disposition(1, [thread({ diffHunk: '@@ -1,1 +1,2 @@\n+forbiddenCall()   ' })])]);
+        expect(labels['L1']).toBe('TP');
+    });
+});
+// ─── ambiguity never labels (codex: 0 or >1 ⟹ omit) ──────────────────────────
+describe('deriveLabelsFromDispositions — ambiguity', () => {
+    it('omits when ZERO dispositions bind', () => {
+        const { labels, diagnostics } = deriveLabelsFromDispositions([firing({ labelId: 'L1', pr: 99 })], [disposition(1, [thread({})])]);
+        expect(labels['L1']).toBeUndefined();
+        expect(diagnostics.unlabeledByReason['no-matching-disposition']).toBe(1);
+    });
+    it('omits when MORE THAN ONE disposition binds (ambiguous)', () => {
+        const { labels, diagnostics } = deriveLabelsFromDispositions([firing({ labelId: 'L1' })], [
+            disposition(1, [
+                thread({}),
+                thread({ comments: [{ author: 'Jo', body: 'false positive' }] }),
+            ]),
+        ]);
+        expect(labels['L1']).toBeUndefined();
+        expect(diagnostics.unlabeledByReason['ambiguous-multiple-dispositions']).toBe(1);
+    });
+    it('throws loud on a duplicate-PR dispositions entry (no silent last-wins)', () => {
+        expect(() => deriveLabelsFromDispositions([firing({ labelId: 'L1' })], [disposition(1, [thread({})]), disposition(1, [thread({})])])).toThrow(/duplicate disposition entry for PR 1/);
+    });
+});
+// ─── taxonomy projection (5d-i) ──────────────────────────────────────────────
+describe('deriveLabelsFromDispositions — taxonomy projection', () => {
+    it('accepted-fix ⟹ TP, declined-as-false-positive ⟹ FP, soft-decline ⟹ UNLABELED', () => {
+        const { labels, diagnostics } = deriveLabelsFromDispositions([
+            firing({ labelId: 'TPf', pr: 1, filePath: 'src/a.ts' }),
+            firing({ labelId: 'FPf', pr: 2, filePath: 'src/b.ts' }),
+            firing({ labelId: 'UNf', pr: 3, filePath: 'src/c.ts' }),
+        ], [
+            disposition(1, [thread({ comments: [{ author: 'Jane', body: 'fixed' }] })]),
+            disposition(2, [
+                thread({
+                    path: 'src/b.ts',
+                    comments: [{ author: 'Jane', body: 'this is a false positive' }],
+                }),
+            ]),
+            disposition(3, [
+                thread({
+                    path: 'src/c.ts',
+                    comments: [{ author: 'Jane', body: 'out of scope for this PR' }],
+                }),
+            ]),
+        ]);
+        expect(labels['TPf']).toBe('TP');
+        expect(labels['FPf']).toBe('FP');
+        expect(labels['UNf']).toBeUndefined(); // soft decline routes to UNLABELED
+        expect(diagnostics.unlabeledByReason['unlabeled-class']).toBe(1);
+    });
+});
+// ─── control kinds ───────────────────────────────────────────────────────────
+describe('deriveLabelsFromDispositions — control kinds', () => {
+    it('negative-control firings never label (the scorer culls)', () => {
+        const { labels, diagnostics } = deriveLabelsFromDispositions([firing({ labelId: 'N1', controlKind: 'negative' })], []);
+        expect(labels['N1']).toBeUndefined();
+        expect(diagnostics.negativeFirings).toBe(1);
+    });
+    it('positive-control: TP ONLY for the declared (pr,targetRuleId) target; incidental omitted', () => {
+        const { labels, diagnostics } = deriveLabelsFromDispositions([
+            // declared target: ruleId === targetRuleId ⟹ structural TP
+            firing({ labelId: 'PT', controlKind: 'positive', pr: 5, ruleId: 'R1', targetRuleId: 'R1' }),
+            // incidental: a different rule fired on the positive fixture ⟹ omit + report
+            firing({ labelId: 'PI', controlKind: 'positive', pr: 5, ruleId: 'R2', targetRuleId: 'R1' }),
+        ], []);
+        expect(labels['PT']).toBe('TP');
+        expect(labels['PI']).toBeUndefined();
+        expect(diagnostics.unlabeledByReason['incidental-positive']).toBe(1);
+        expect(diagnostics.positiveFirings).toBe(2);
+    });
+});
+// ─── diagnostics + evidence ──────────────────────────────────────────────────
+describe('deriveLabelsFromDispositions — diagnostics + evidence', () => {
+    it('reports density, per-rule counts, evidence-refs, and is deterministic', () => {
+        const firings = [
+            firing({ labelId: 'a', ruleId: 'rule-x', pr: 1, filePath: 'src/a.ts' }),
+            firing({ labelId: 'b', ruleId: 'rule-x', pr: 2, filePath: 'src/b.ts' }), // unbound
+        ];
+        const dispositions = [
+            disposition(1, [
+                thread({ threadId: 'T_abc', comments: [{ commentId: 42, author: 'Jane', body: 'fixed' }] }),
+            ]),
+        ];
+        const first = deriveLabelsFromDispositions(firings, dispositions);
+        const second = deriveLabelsFromDispositions(firings, dispositions);
+        expect(first).toEqual(second); // deterministic
+        expect(first.diagnostics.corpusFirings).toBe(2);
+        expect(first.diagnostics.boundCorpusFirings).toBe(1);
+        expect(first.diagnostics.dispositionDensity).toBe(0.5);
+        expect(first.diagnostics.labelCounts).toEqual({ TP: 1, FP: 0 });
+        expect(first.diagnostics.perRuleLabeled['rule-x']).toEqual({ TP: 1, FP: 0 });
+        // evidence-ref links the emitted label back to its disposition source (audit).
+        expect(first.evidence).toHaveLength(1);
+        expect(first.evidence[0]).toMatchObject({
+            labelId: 'a',
+            label: 'TP',
+            threadId: 'T_abc',
+            commentId: 42,
+            source: 'corpus-disposition',
+        });
+        // the answer key carries ONLY TP|FP values (no evidence leaks into the hashed key).
+        expect(Object.values(first.labels)).toEqual(['TP']);
+    });
+    it('density is 0 (not NaN) when there are no corpus firings', () => {
+        const { diagnostics } = deriveLabelsFromDispositions([firing({ labelId: 'N', controlKind: 'negative' })], []);
+        expect(diagnostics.dispositionDensity).toBe(0);
+        expect(diagnostics.unlabeledRate).toBe(0);
+    });
+});
+//# sourceMappingURL=derive-labels.test.js.map

package/dist/spine/derive-labels.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"derive-labels.test.js","sourceRoot":"","sources":["../../src/spine/derive-labels.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAG9C,OAAO,EAAE,4BAA4B,EAAE,MAAM,oBAAoB,CAAC;AAGlE,wDAAwD;AAExD,SAAS,MAAM,CAAC,IAAuD;IACrE,OAAO;QACL,MAAM,EAAE,QAAQ;QAChB,EAAE,EAAE,CAAC;QACL,QAAQ,EAAE,UAAU;QACpB,WAAW,EAAE,iBAAiB;QAC9B,WAAW,EAAE,QAAQ;QACrB,GAAG,IAAI;KACR,CAAC;AACJ,CAAC;AAED,SAAS,MAAM,CAAC,IAAsC;IACpD,OAAO;QACL,IAAI,EAAE,UAAU;QAChB,QAAQ,EAAE,gDAAgD;QAC1D,UAAU,EAAE,KAAK;QACjB,UAAU,EAAE,KAAK;QACjB,QAAQ,EAAE,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;QAC7C,GAAG,IAAI;KACR,CAAC;AACJ,CAAC;AAED,SAAS,WAAW,CAAC,EAAU,EAAE,OAAkC;IACjE,OAAO,EAAE,EAAE,EAAE,cAAc,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,EAAE,EAAE,GAAG,CAAC,EAAE,OAAO,EAAE,CAAC;AACvE,CAAC;AAED,gFAAgF;AAEhF,QAAQ,CAAC,4DAA4D,EAAE,GAAG,EAAE;IAC1E,EAAE,CAAC,kEAAkE,EAAE,GAAG,EAAE;QAC1E,MAAM,EAAE,MAAM,EAAE,WAAW,EAAE,GAAG,4BAA4B,CAC1D,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,EAC3B,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAC/B,CAAC;QACF,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,8BAA8B;QAC/D,MAAM,CAAC,WAAW,CAAC,kBAAkB,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0EAA0E,EAAE,GAAG,EAAE;QAClF,MAAM,EAAE,MAAM,EAAE,WAAW,EAAE,GAAG,4BAA4B,CAC1D,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;QAC3B,mEAAmE;QACnE,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,EAAE,QAAQ,EAAE,gDAAgD,EAAE,CAAC,CAAC,CAAC,CAAC,CAC3F,CAAC;QACF,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,aAAa,EAAE,CAAC;QACrC,MAAM,CAAC,WAAW,CAAC,iBAAiB,CAAC,yBAAyB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC3E,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+EAA+E,EAAE,GAAG,EAAE;QACvF,MAAM,EAAE,MAAM,EAAE,GAAG,4BAA4B,CAC7C,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,EAC3B;YACE,WAAW,CAAC,CAAC,EAAE;gBACb,MAAM,CAAC,EAAE,QAAQ,EAAE,6DAA6D,EAAE,CAAC;aACpF,CAAC;SACH,CACF,CAAC;QACF,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gEAAgE,EAAE,GAAG,EAAE;QACxE,MAAM,EAAE,MAAM,EAAE,WAAW,EAAE,GAAG,4BAA4B,CAC1D,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,qBAAqB,EAAE,CAAC,CAAC,EAC/D,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,EAAE,QAAQ,EAAE,oCAAoC,EAAE,CAAC,CAAC,CAAC,CAAC,CAC/E,CAAC;QACF,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,aAAa,EAAE,CAAC;QACrC,MAAM,CAAC,WAAW,CAAC,iBAAiB,CAAC,yBAAyB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC3E,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4FAA4F,EAAE,GAAG,EAAE;QACpG,MAAM,EAAE,MAAM,EAAE,GAAG,4BAA4B,CAC7C,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,CAAC,CAAC;QAChD,0FAA0F;QAC1F,mFAAmF;QACnF,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,EAAE,QAAQ,EAAE,wBAAwB,EAAE,CAAC,CAAC,CAAC,CAAC,CACnE,CAAC;QACF,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4EAA4E,EAAE,GAAG,EAAE;QACpF,MAAM,EAAE,MAAM,EAAE,GAAG,4BAA4B,CAC7C,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,CAAC,CAAC,EACjD,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,CAAC,CAAC,CAAC,CAAC,CACrD,CAAC;QACF,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,aAAa,EAAE,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4EAA4E,EAAE,GAAG,EAAE;QACpF,MAAM,EAAE,MAAM,EAAE,GAAG,4BAA4B,CAC7C,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,iBAAiB,EAAE,CAAC,CAAC;QAC3D,uEAAuE;QACvE,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,EAAE,QAAQ,EAAE,sCAAsC,EAAE,CAAC,CAAC,CAAC,CAAC,CACjF,CAAC;QACF,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gFAAgF;AAEhF,QAAQ,CAAC,0CAA0C,EAAE,GAAG,EAAE;IACxD,EAAE,CAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,EAAE,MAAM,EAAE,WAAW,EAAE,GAAG,4BAA4B,CAC1D,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,EACnC,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAC/B,CAAC;QACF,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,aAAa,EAAE,CAAC;QACrC,MAAM,CAAC,WAAW,CAAC,iBAAiB,CAAC,yBAAyB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC3E,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wDAAwD,EAAE,GAAG,EAAE;QAChE,MAAM,EAAE,MAAM,EAAE,WAAW,EAAE,GAAG,4BAA4B,CAC1D,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,EAC3B;YACE,WAAW,CAAC,CAAC,EAAE;gBACb,MAAM,CAAC,EAAE,CAAC;gBACV,MAAM,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,gBAAgB,EAAE,CAAC,EAAE,CAAC;aACjE,CAAC;SACH,CACF,CAAC;QACF,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,aAAa,EAAE,CAAC;QACrC,MAAM,CAAC,WAAW,CAAC,iBAAiB,CAAC,iCAAiC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACnF,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wEAAwE,EAAE,GAAG,EAAE;QAChF,MAAM,CAAC,GAAG,EAAE,CACV,4BAA4B,CAC1B,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,EAC3B,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAC7D,CACF,CAAC,OAAO,CAAC,sCAAsC,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gFAAgF;AAEhF,QAAQ,CAAC,oDAAoD,EAAE,GAAG,EAAE;IAClE,EAAE,CAAC,8EAA8E,EAAE,GAAG,EAAE;QACtF,MAAM,EAAE,MAAM,EAAE,WAAW,EAAE,GAAG,4BAA4B,CAC1D;YACE,MAAM,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,EAAE,QAAQ,EAAE,UAAU,EAAE,CAAC;YACvD,MAAM,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,EAAE,QAAQ,EAAE,UAAU,EAAE,CAAC;YACvD,MAAM,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,EAAE,QAAQ,EAAE,UAAU,EAAE,CAAC;SACxD,EACD;YACE,WAAW,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;YAC3E,WAAW,CAAC,CAAC,EAAE;gBACb,MAAM,CAAC;oBACL,IAAI,EAAE,UAAU;oBAChB,QAAQ,EAAE,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,0BAA0B,EAAE,CAAC;iBACjE,CAAC;aACH,CAAC;YACF,WAAW,CAAC,CAAC,EAAE;gBACb,MAAM,CAAC;oBACL,IAAI,EAAE,UAAU;oBAChB,QAAQ,EAAE,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,0BAA0B,EAAE,CAAC;iBACjE,CAAC;aACH,CAAC;SACH,CACF,CAAC;QACF,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,aAAa,EAAE,CAAC,CAAC,mCAAmC;QAC1E,MAAM,CAAC,WAAW,CAAC,iBAAiB,CAAC,iBAAiB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACnE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gFAAgF;AAEhF,QAAQ,CAAC,8CAA8C,EAAE,GAAG,EAAE;IAC5D,EAAE,CAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,MAAM,EAAE,MAAM,EAAE,WAAW,EAAE,GAAG,4BAA4B,CAC1D,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,UAAU,EAAE,CAAC,CAAC,EACpD,EAAE,CACH,CAAC;QACF,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,aAAa,EAAE,CAAC;QACrC,MAAM,CAAC,WAAW,CAAC,eAAe,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yFAAyF,EAAE,GAAG,EAAE;QACjG,MAAM,EAAE,MAAM,EAAE,WAAW,EAAE,GAAG,4BAA4B,CAC1D;YACE,2DAA2D;YAC3D,MAAM,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC;YAC3F,6EAA6E;YAC7E,MAAM,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC;SAC5F,EACD,EAAE,CACH,CAAC;QACF,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,aAAa,EAAE,CAAC;QACrC,MAAM,CAAC,WAAW,CAAC,iBAAiB,CAAC,qBAAqB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACrE,MAAM,CAAC,WAAW,CAAC,eAAe,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gFAAgF;AAEhF,QAAQ,CAAC,uDAAuD,EAAE,GAAG,EAAE;IACrE,EAAE,CAAC,uEAAuE,EAAE,GAAG,EAAE;QAC/E,MAAM,OAAO,GAAiB;YAC5B,MAAM,CAAC,EAAE,OAAO,EAAE,GAAG,EAAE,MAAM,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC,EAAE,QAAQ,EAAE,UAAU,EAAE,CAAC;YACvE,MAAM,CAAC,EAAE,OAAO,EAAE,GAAG,EAAE,MAAM,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC,EAAE,QAAQ,EAAE,UAAU,EAAE,CAAC,EAAE,UAAU;SACpF,CAAC;QACF,MAAM,YAAY,GAAG;YACnB,WAAW,CAAC,CAAC,EAAE;gBACb,MAAM,CAAC,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;aAC5F,CAAC;SACH,CAAC;QACF,MAAM,KAAK,GAAG,4BAA4B,CAAC,OAAO,EAAE,YAAY,CAAC,CAAC;QAClE,MAAM,MAAM,GAAG,4BAA4B,CAAC,OAAO,EAAE,YAAY,CAAC,CAAC;QAEnE,MAAM,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,gBAAgB;QAC/C,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAChD,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,kBAAkB,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACrD,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,kBAAkB,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACvD,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,WAAW,CAAC,CAAC,OAAO,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC;QAChE,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,cAAc,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC;QAC7E,+EAA+E;QAC/E,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACvC,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC;YACtC,OAAO,EAAE,GAAG;YACZ,KAAK,EAAE,IAAI;YACX,QAAQ,EAAE,OAAO;YACjB,SAAS,EAAE,EAAE;YACb,MAAM,EAAE,oBAAoB;SAC7B,CAAC,CAAC;QACH,oFAAoF;QACpF,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,MAAM,EAAE,WAAW,EAAE,GAAG,4BAA4B,CAClD,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,GAAG,EAAE,WAAW,EAAE,UAAU,EAAE,CAAC,CAAC,EACnD,EAAE,CACH,CAAC;QACF,MAAM,CAAC,WAAW,CAAC,kBAAkB,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC/C,MAAM,CAAC,WAAW,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/spine/disposition-taxonomy.d.ts

@@ -0,0 +1,40 @@
+import type { GroundTruthLabel } from './windtunnel-scorer.js';
+/**
+ * The closed disposition taxonomy (strategy#709 RULED). `accepted-fix` and
+ * `declined-as-false-positive` are the only LABEL-BEARING classes; the rest are
+ * deliberately UNLABELED outcomes — a valid-but-not-actioned decline is NOT
+ * evidence the code is clean, so it never labels a firing.
+ */
+export type DispositionClass = 'accepted-fix' | 'declined-as-false-positive' | 'scope' | 'defer' | 'superseded' | 'style' | 'ambiguous';
+/** A single review-thread comment (the provider-neutral subset the taxonomy reads). */
+export interface DispositionComment {
+    author: string;
+    body: string;
+}
+/**
+ * Classify a held-out review thread's disposition under the closed taxonomy.
+ *
+ * Reads the HUMAN (non-bot) comments only — the human is the one who disposes; a
+ * bot's own follow-up is not a disposition (and `isResolved` alone is never TP,
+ * codex WARNING-5). Conservative precedence:
+ *   1. No human disposition comment              → ambiguous (UNLABELED)
+ *   2. accepted-fix AND false-positive present   → ambiguous (conflicting signals)
+ *   3. accepted-fix, no decline of any kind      → accepted-fix (TP)
+ *   4. false-positive, no fix and no soft decline → declined-as-false-positive (FP)
+ *   5. otherwise a soft decline present          → scope | defer | superseded | style (UNLABELED)
+ *   6. no recognizable signal                    → ambiguous (UNLABELED)
+ *
+ * Steps 3/4 require a CLEAN signal: a fix that is also scoped/deferred, or an FP
+ * rebuttal that is also a scope/defer decline, collapses to ambiguous — the
+ * answer key must not credit a contradictory disposition. This defeats codex's
+ * falsifying case ("declined, too broad / tracked for later" never becomes FP).
+ */
+export declare function classifyDisposition(comments: ReadonlyArray<DispositionComment>): DispositionClass;
+/**
+ * Project a taxonomy class onto a cert-run ground-truth label. The two
+ * label-bearing classes map to TP/FP; every UNLABELED class returns `null` — the
+ * deriver OMITS the firing's labelId from `ground-truth-labels.json`, and the
+ * scorer routes the un-keyed firing to `needsAdjudication` → HONEST-NEGATIVE.
+ */
+export declare function dispositionToLabel(cls: DispositionClass): GroundTruthLabel | null;
+//# sourceMappingURL=disposition-taxonomy.d.ts.map

package/dist/spine/disposition-taxonomy.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"disposition-taxonomy.d.ts","sourceRoot":"","sources":["../../src/spine/disposition-taxonomy.ts"],"names":[],"mappings":"AAqCA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAI/D;;;;;GAKG;AACH,MAAM,MAAM,gBAAgB,GACxB,cAAc,GACd,4BAA4B,GAC5B,OAAO,GACP,OAAO,GACP,YAAY,GACZ,OAAO,GACP,WAAW,CAAC;AAEhB,uFAAuF;AACvF,MAAM,WAAW,kBAAkB;IACjC,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,EAAE,MAAM,CAAC;CACd;AAgHD;;;;;;;;;;;;;;;;;GAiBG;AACH,wBAAgB,mBAAmB,CAAC,QAAQ,EAAE,aAAa,CAAC,kBAAkB,CAAC,GAAG,gBAAgB,CA6CjG;AAED;;;;;GAKG;AACH,wBAAgB,kBAAkB,CAAC,GAAG,EAAE,gBAAgB,GAAG,gBAAgB,GAAG,IAAI,CAajF"}