feat(categorize): confidence calibration engine + measurement loop (cascade step 4) (#1784)
Turns the selector's raw confidence into a score that means what it says. - lib/agent/categorize/calibration.ts: the engine. Isotonic regression (pool-adjacent-violators, distribution-free + monotonic) over (confidence, was_correct) samples → a calibrator; plus reliabilityByBucket, ECE, and bandFor(). bandFor NEVER returns 'auto' without a fitted calibrator (no silent booking on an unproven score) and never auto-books above an amount cap. 12 engine tests (overconfidence pulled down, underconfidence lifted, monotonicity, ECE, band gating). - Measurement loop: migration categorize_calibration_samples (append-only, company-scoped RLS, confidence CHECK [0,1]) + POST /api/agent/categorize/ outcome logging one sample (proposed vs actually booked) fire-and-forget from QuickReviewDialog on a successful book (sandbox skipped). AiCategorizeProposal surfaces the proposal metadata via onProposal. - scripts/fit-categorize-calibration.ts (read-only): prints the reliability diagram + ECE + fitted calibrator once data has accumulated. Fitting needs a few hundred real outcomes, so nothing calibrates today — the loop starts collecting, and "säker" stays uncalibrated (no auto-book) until the data proves it. 131 unit tests green; RLS covered by a pg-real test. Co-authored-by: Jakob Wennberg <311770904+jakobwennberg-oss@users.noreply.github.com> Co-authored-by: Claude Opus 4.8 <noreply@anthropic.com>
This commit is contained in:
co-authored by
Jakob Wennberg
Claude Opus 4.8
parent
524d9978f1
commit
704bf93e08
@@ -0,0 +1,104 @@
|
||||
import { describe, it, expect } from 'vitest'
|
||||
import {
|
||||
reliabilityByBucket,
|
||||
expectedCalibrationError,
|
||||
fitIsotonic,
|
||||
calibrate,
|
||||
bandFor,
|
||||
type Sample,
|
||||
} from '../calibration'
|
||||
|
||||
// Build N samples at a given confidence with a given true accuracy.
|
||||
function samplesAt(confidence: number, accuracy: number, n: number): Sample[] {
|
||||
const correct = Math.round(accuracy * n)
|
||||
return Array.from({ length: n }, (_, i) => ({ confidence, correct: i < correct }))
|
||||
}
|
||||
|
||||
describe('reliabilityByBucket', () => {
|
||||
it('reports empirical accuracy per confidence bucket', () => {
|
||||
const samples = [...samplesAt(0.95, 0.7, 100), ...samplesAt(0.55, 0.5, 100)]
|
||||
const buckets = reliabilityByBucket(samples, 10)
|
||||
const high = buckets.find((b) => b.lo === 0.9)!
|
||||
const mid = buckets.find((b) => b.lo === 0.5)!
|
||||
expect(high.n).toBe(100)
|
||||
expect(high.accuracy).toBeCloseTo(0.7, 2)
|
||||
expect(mid.accuracy).toBeCloseTo(0.5, 2)
|
||||
})
|
||||
})
|
||||
|
||||
describe('expectedCalibrationError', () => {
|
||||
it('is ~0 for a well-calibrated corpus', () => {
|
||||
const samples = [...samplesAt(0.9, 0.9, 100), ...samplesAt(0.5, 0.5, 100)]
|
||||
expect(expectedCalibrationError(samples)).toBeLessThan(0.02)
|
||||
})
|
||||
it('is large for an overconfident corpus', () => {
|
||||
// Model says 0.95 but is only right 60% of the time.
|
||||
const samples = samplesAt(0.95, 0.6, 200)
|
||||
expect(expectedCalibrationError(samples)).toBeGreaterThan(0.3)
|
||||
})
|
||||
})
|
||||
|
||||
describe('fitIsotonic', () => {
|
||||
it('returns null below the minimum sample count (stay uncalibrated)', () => {
|
||||
expect(fitIsotonic(samplesAt(0.9, 0.9, 50), 200)).toBeNull()
|
||||
})
|
||||
|
||||
it('learns to pull an overconfident score down', () => {
|
||||
// 0.95 raw but only 60% correct → calibrated should be ~0.6, not ~0.95.
|
||||
const samples = [...samplesAt(0.95, 0.6, 300), ...samplesAt(0.5, 0.5, 300)]
|
||||
const cal = fitIsotonic(samples, 200)!
|
||||
expect(cal.fittedOn).toBe(600)
|
||||
expect(calibrate(0.95, cal)).toBeLessThan(0.7)
|
||||
expect(calibrate(0.95, cal)).toBeGreaterThan(0.5)
|
||||
})
|
||||
|
||||
it('is monotonic non-decreasing (PAV guarantee)', () => {
|
||||
// Deliberately non-monotonic raw→accuracy; PAV must pool the violation.
|
||||
const samples = [
|
||||
...samplesAt(0.4, 0.8, 200), // low conf but high accuracy
|
||||
...samplesAt(0.7, 0.5, 200), // higher conf but lower accuracy (violation)
|
||||
...samplesAt(0.9, 0.9, 200),
|
||||
]
|
||||
const cal = fitIsotonic(samples, 200)!
|
||||
const grid = [0.3, 0.5, 0.7, 0.9]
|
||||
const vals = grid.map((r) => calibrate(r, cal))
|
||||
for (let i = 1; i < vals.length; i++) {
|
||||
expect(vals[i]).toBeGreaterThanOrEqual(vals[i - 1])
|
||||
}
|
||||
})
|
||||
|
||||
it('lifts an underconfident score up', () => {
|
||||
// 0.55 raw but 90% correct → calibrated should be well above 0.55.
|
||||
const samples = [...samplesAt(0.55, 0.9, 300), ...samplesAt(0.2, 0.2, 300)]
|
||||
const cal = fitIsotonic(samples, 200)!
|
||||
expect(calibrate(0.55, cal)).toBeGreaterThan(0.8)
|
||||
})
|
||||
})
|
||||
|
||||
describe('bandFor', () => {
|
||||
it('never auto-books without a calibrator, even at high raw confidence', () => {
|
||||
expect(bandFor(0.99, null, { amount: 100 })).toBe('suggest')
|
||||
expect(bandFor(0.6, null)).toBe('review')
|
||||
})
|
||||
|
||||
it('auto-books a small amount at high calibrated probability with a calibrator', () => {
|
||||
const cal = fitIsotonic(samplesAt(0.96, 0.99, 400), 200)!
|
||||
expect(bandFor(0.96, cal, { amount: 499 })).toBe('auto')
|
||||
})
|
||||
|
||||
it('never auto-books a large amount, however confident', () => {
|
||||
const cal = fitIsotonic(samplesAt(0.96, 0.99, 400), 200)!
|
||||
expect(bandFor(0.96, cal, { amount: 50000 })).toBe('suggest')
|
||||
})
|
||||
|
||||
it('drops to review when the calibrated probability is low even if raw was high', () => {
|
||||
// raw 0.95 but the calibrator learned it is really ~0.6 → not auto, not even suggest at 0.7.
|
||||
const cal = fitIsotonic([...samplesAt(0.95, 0.6, 300), ...samplesAt(0.5, 0.5, 300)], 200)!
|
||||
expect(bandFor(0.95, cal, { amount: 100 })).toBe('review')
|
||||
})
|
||||
|
||||
it('honours custom thresholds', () => {
|
||||
const cal = fitIsotonic(samplesAt(0.8, 0.85, 400), 200)!
|
||||
expect(bandFor(0.8, cal, { amount: 100, autoThreshold: 0.8 })).toBe('auto')
|
||||
})
|
||||
})
|
||||
@@ -0,0 +1,175 @@
|
||||
/**
|
||||
* Calibration for the auto-booking cascade (step 4).
|
||||
*
|
||||
* The Tier-2 selector emits a raw combined confidence in [0,1], but raw model/
|
||||
* ensemble scores are NOT calibrated: "0.9" does not mean "right 90% of the
|
||||
* time" until you fit it against real outcomes. This module turns a corpus of
|
||||
* (confidence, was_correct) samples — collected as users book or edit the
|
||||
* proposals — into a monotonic calibrator (isotonic regression), and decides
|
||||
* the auto-book / suggest / review band from the CALIBRATED probability.
|
||||
*
|
||||
* Until a calibrator is fitted (not enough data yet), `bandFor` runs in
|
||||
* uncalibrated mode: it never returns 'auto' (no silent booking on an
|
||||
* unproven score) and uses conservative raw thresholds for suggest/review.
|
||||
* This is what keeps "säker" honest before the data exists.
|
||||
*
|
||||
* Pure functions only: no I/O. The samples come from the caller.
|
||||
*/
|
||||
|
||||
export interface Sample {
|
||||
/** Raw combined confidence the selector reported, in [0,1]. */
|
||||
confidence: number
|
||||
/** True when the proposed account was the one actually booked (unedited). */
|
||||
correct: boolean
|
||||
}
|
||||
|
||||
/** A fitted, monotonic non-decreasing mapping from raw confidence to calibrated probability. */
|
||||
export interface Calibrator {
|
||||
/** Sorted ascending; each point maps a raw confidence to its calibrated probability. */
|
||||
points: { raw: number; calibrated: number }[]
|
||||
/** How many samples it was fitted on (for trust / staleness checks). */
|
||||
fittedOn: number
|
||||
}
|
||||
|
||||
function clamp01(x: number): number {
|
||||
return x < 0 ? 0 : x > 1 ? 1 : x
|
||||
}
|
||||
|
||||
/**
|
||||
* Reliability diagram: bucket samples by confidence and report empirical
|
||||
* accuracy per bucket. The gap between meanConfidence and accuracy is the
|
||||
* miscalibration; the classic "overconfident" model shows accuracy < confidence.
|
||||
*/
|
||||
export function reliabilityByBucket(
|
||||
samples: Sample[],
|
||||
bins = 10,
|
||||
): { lo: number; hi: number; n: number; meanConfidence: number; accuracy: number }[] {
|
||||
const out: { lo: number; hi: number; n: number; meanConfidence: number; accuracy: number }[] = []
|
||||
for (let b = 0; b < bins; b++) {
|
||||
const lo = b / bins
|
||||
const hi = (b + 1) / bins
|
||||
const inBucket = samples.filter(
|
||||
(s) => s.confidence >= lo && (b === bins - 1 ? s.confidence <= hi : s.confidence < hi),
|
||||
)
|
||||
const n = inBucket.length
|
||||
const meanConfidence = n ? inBucket.reduce((a, s) => a + s.confidence, 0) / n : 0
|
||||
const accuracy = n ? inBucket.filter((s) => s.correct).length / n : 0
|
||||
out.push({ lo, hi, n, meanConfidence, accuracy })
|
||||
}
|
||||
return out
|
||||
}
|
||||
|
||||
/**
|
||||
* Expected Calibration Error: the sample-weighted average |confidence - accuracy|
|
||||
* across buckets. 0 = perfectly calibrated. Empty buckets contribute nothing.
|
||||
*/
|
||||
export function expectedCalibrationError(samples: Sample[], bins = 10): number {
|
||||
if (samples.length === 0) return 0
|
||||
const buckets = reliabilityByBucket(samples, bins)
|
||||
let err = 0
|
||||
for (const bkt of buckets) {
|
||||
if (bkt.n === 0) continue
|
||||
err += (bkt.n / samples.length) * Math.abs(bkt.meanConfidence - bkt.accuracy)
|
||||
}
|
||||
return err
|
||||
}
|
||||
|
||||
/**
|
||||
* Fit an isotonic (monotonic non-decreasing) calibrator via pool-adjacent-
|
||||
* violators (PAV). This is the standard, distribution-free way to calibrate a
|
||||
* ranking score: it never assumes a parametric shape, only that higher raw
|
||||
* confidence should not map to lower true accuracy.
|
||||
*
|
||||
* Returns null when there is too little data to trust (below `minSamples`):
|
||||
* the caller then stays in uncalibrated mode.
|
||||
*/
|
||||
export function fitIsotonic(samples: Sample[], minSamples = 200): Calibrator | null {
|
||||
if (samples.length < minSamples) return null
|
||||
|
||||
// Sort by raw confidence; y = 1 for correct, 0 for wrong.
|
||||
const sorted = [...samples].sort((a, b) => a.confidence - b.confidence)
|
||||
|
||||
// PAV over blocks of (sum, count) → each block's mean is monotonic non-decreasing.
|
||||
interface Block {
|
||||
x: number // representative raw confidence (max in block, so it's a step boundary)
|
||||
sum: number
|
||||
count: number
|
||||
}
|
||||
const blocks: Block[] = []
|
||||
for (const s of sorted) {
|
||||
blocks.push({ x: s.confidence, sum: s.correct ? 1 : 0, count: 1 })
|
||||
// Merge while the last block violates monotonicity (its mean < previous mean).
|
||||
while (
|
||||
blocks.length >= 2 &&
|
||||
blocks[blocks.length - 1].sum / blocks[blocks.length - 1].count <
|
||||
blocks[blocks.length - 2].sum / blocks[blocks.length - 2].count
|
||||
) {
|
||||
const b = blocks.pop()!
|
||||
const a = blocks.pop()!
|
||||
blocks.push({ x: Math.max(a.x, b.x), sum: a.sum + b.sum, count: a.count + b.count })
|
||||
}
|
||||
}
|
||||
|
||||
const points = blocks.map((b) => ({ raw: b.x, calibrated: clamp01(b.sum / b.count) }))
|
||||
return { points, fittedOn: samples.length }
|
||||
}
|
||||
|
||||
/**
|
||||
* Map a raw confidence to its calibrated probability using a fitted calibrator.
|
||||
* Step function: the calibrated value of the first block whose boundary is ≥ raw
|
||||
* (clamped to the ends). Monotonic by construction.
|
||||
*/
|
||||
export function calibrate(raw: number, calibrator: Calibrator): number {
|
||||
const r = clamp01(raw)
|
||||
const { points } = calibrator
|
||||
if (points.length === 0) return r
|
||||
for (const p of points) {
|
||||
if (r <= p.raw) return p.calibrated
|
||||
}
|
||||
return points[points.length - 1].calibrated
|
||||
}
|
||||
|
||||
export type Band = 'auto' | 'suggest' | 'review'
|
||||
|
||||
export interface BandOptions {
|
||||
/** The transaction's absolute amount (SEK); large/unusual never auto-books. */
|
||||
amount?: number
|
||||
/** Above this the item is never auto-booked regardless of confidence (default 2000 kr). */
|
||||
autoBookAmountCap?: number
|
||||
/** Calibrated probability required to auto-book (default 0.95). */
|
||||
autoThreshold?: number
|
||||
/** Calibrated probability required to pre-fill as a suggestion (default 0.70). */
|
||||
suggestThreshold?: number
|
||||
}
|
||||
|
||||
/**
|
||||
* Decide the band from a raw confidence, calibrating first when a calibrator is
|
||||
* available. Without a calibrator (not enough data), 'auto' is never returned:
|
||||
* an unproven score must not silently book.
|
||||
*/
|
||||
export function bandFor(
|
||||
rawConfidence: number,
|
||||
calibrator: Calibrator | null,
|
||||
opts: BandOptions = {},
|
||||
): Band {
|
||||
const {
|
||||
amount,
|
||||
autoBookAmountCap = 2000,
|
||||
autoThreshold = 0.95,
|
||||
suggestThreshold = 0.7,
|
||||
} = opts
|
||||
|
||||
const p = calibrator ? calibrate(rawConfidence, calibrator) : clamp01(rawConfidence)
|
||||
|
||||
// Auto-book only with a real calibrator, a high calibrated probability, and a
|
||||
// small/routine amount. Any of those missing → at most a suggestion.
|
||||
if (
|
||||
calibrator &&
|
||||
p >= autoThreshold &&
|
||||
(amount === undefined || Math.abs(amount) <= autoBookAmountCap)
|
||||
) {
|
||||
return 'auto'
|
||||
}
|
||||
if (p >= suggestThreshold) return 'suggest'
|
||||
return 'review'
|
||||
}
|
||||
@@ -1024,6 +1024,7 @@ export const ARCHIVE_EXCLUDED_TABLES: Record<string, string> = {
|
||||
booking_template_usage: 'usage telemetry',
|
||||
calendar_feeds: 'feed tokens (secrets)',
|
||||
capability_grants: 'entitlement state',
|
||||
categorize_calibration_samples: 'auto-booking confidence telemetry, not räkenskapsinformation',
|
||||
chat_messages: 'AI assistant state, not räkenskapsinformation',
|
||||
chat_sessions: 'AI assistant state, not räkenskapsinformation',
|
||||
company_capability_config: 'entitlement state',
|
||||
|
||||
Reference in New Issue
Block a user