@trazum/core 1.37.0 → 1.39.0

package/README.md

@@ -92,6 +92,33 @@ running on different models in different sources (judged on each source's
 dearest model, so a stray experiment is not a migration), and names sources
 where caching loses money while the aggregate pays off.
 
+## The plan
+
+`buildPlan(report, levers, pricingLastReviewed)` turns a report and its
+levers into a ranked `PlanDocument`: route and batch on one slice arrive as a
+single pre-combined action (`combinedUsd`, never a sum), the truncation
+action's stake is the measured retry bill, and a cache action exists only for
+a settled loss — an unsettled verdict is a missing field, and "add the field"
+is the report's advice, not a plan's. Projected savings and measured stakes
+are totalled separately; every action carries typed assumptions
+(`PlanAssumption`) the log cannot confirm, as data rather than prose, so the
+renderer localizes them and a later verification can match them
+structurally. `planLabelName` renders the unlabelled bucket without leaking
+the sentinel.
+
+## Did it work?
+
+`verifyPlan(plan, newerReport, { currentPricingLastReviewed })` holds a saved
+plan to the report of a later log, with three outcomes and never two:
+`arrived`, `not-arrived`, or `cannot-tell` — the workload vanished, the
+fields the detection needs stopped being recorded, or tokens cannot say
+which tier billed them. Differences carry the world's measured movement from
+the plan's recorded baseline (calls, tokens per call, both numbers and never
+a verdict), a repricing between the two documents is flagged rather than
+silently priced through, and each verdict says whether it fails a gate:
+`not-arrived` always, `fields-stopped` too — a team must not pass on the
+strength of its own log's silence — and a vanished workload never.
+
 ## Comparing two versions
 
 ```ts

package/dist/index.d.ts

@@ -13,6 +13,10 @@ export { coverageDrift, COVERAGE_FIELDS, COVERAGE_DRIFT_MIN } from './coverage-d
 export { explainGateFailure, gateMargin, GATE_MARGIN_TIGHT } from './gate-explain.js';
 export { measuredUsage, labelCoverage, MIN_SCALE_DAYS, SCALE_TO_DAYS } from './measured-profile.js';
 export { assignSources, fleetRollup } from './fleet.js';
+export { buildPlan, planLabelName } from './plan.js';
+export type { PlanAction, PlanActionKind, PlanAssumption, PlanDocument } from './plan.js';
+export { verifyPlan } from './verify.js';
+export type { CannotTellReason, PlanVerification, VerifiedAction, VerifyOutcome } from './verify.js';
 export type { FleetSource, FleetRollup } from './fleet.js';
 export type { MeasuredUsage, LabelCoverage } from './measured-profile.js';
 export type { GateExplanation } from './gate-explain.js';

package/dist/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,cAAc,YAAY,CAAC;AAC3B,OAAO,EAAE,uBAAuB,EAAE,cAAc,EAAE,oBAAoB,EAAE,MAAM,gBAAgB,CAAC;AAC/F,OAAO,EACL,UAAU,EACV,cAAc,EACd,YAAY,EACZ,cAAc,EACd,YAAY,EACZ,QAAQ,GACT,MAAM,YAAY,CAAC;AACpB,YAAY,EACV,cAAc,EACd,YAAY,EACZ,mBAAmB,EACnB,cAAc,EACd,aAAa,EACb,kBAAkB,EAClB,WAAW,EACX,WAAW,GACZ,MAAM,YAAY,CAAC;AACpB,OAAO,EAAE,kBAAkB,EAAE,yBAAyB,EAAE,MAAM,mBAAmB,CAAC;AAGlF,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,WAAW,EAAE,mBAAmB,EAAE,MAAM,cAAc,CAAC;AACtF,YAAY,EAAE,WAAW,EAAE,aAAa,EAAE,aAAa,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAQ7F,OAAO,EACL,mBAAmB,EACnB,uBAAuB,EACvB,wBAAwB,EACxB,6BAA6B,EAC7B,YAAY,GACb,MAAM,UAAU,CAAC;AAClB,YAAY,EAAE,iBAAiB,EAAE,eAAe,EAAE,MAAM,UAAU,CAAC;AACnE,OAAO,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAC9C,YAAY,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAClD,OAAO,EAAE,aAAa,EAAE,eAAe,EAAE,kBAAkB,EAAE,MAAM,qBAAqB,CAAC;AACzF,OAAO,EAAE,kBAAkB,EAAE,UAAU,EAAE,iBAAiB,EAAE,MAAM,mBAAmB,CAAC;AACtF,OAAO,EAAE,aAAa,EAAE,aAAa,EAAE,cAAc,EAAE,aAAa,EAAE,MAAM,uBAAuB,CAAC;AACpG,OAAO,EAAE,aAAa,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AACxD,YAAY,EAAE,WAAW,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAC3D,YAAY,EAAE,aAAa,EAAE,aAAa,EAAE,MAAM,uBAAuB,CAAC;AAC1E,YAAY,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AACzD,YAAY,EAAE,aAAa,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AAKxE,OAAO,EAAE,uBAAuB,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AACxE,YAAY,EAAE,UAAU,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AAGzF,OAAO,EAAE,oBAAoB,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAGnE,OAAO,EAAE,4BAA4B,EAAE,iBAAiB,EAAE,MAAM,uBAAuB,CAAC;AACxF,YAAY,EAAE,eAAe,EAAE,sBAAsB,EAAE,sBAAsB,EAAE,MAAM,uBAAuB,CAAC;AAC7G,YAAY,EAAE,aAAa,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAIlF,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AACxD,YAAY,EAAE,eAAe,EAAE,sBAAsB,EAAE,MAAM,uBAAuB,CAAC;AACrF,OAAO,EAAE,aAAa,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAC7D,YAAY,EAAE,gBAAgB,EAAE,aAAa,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AACnF,OAAO,EAAE,0BAA0B,EAAE,qBAAqB,EAAE,MAAM,qBAAqB,CAAC;AAExF,OAAO,EAAE,wBAAwB,EAAE,iBAAiB,EAAE,MAAM,mBAAmB,CAAC;AAChF,YAAY,EAAE,kBAAkB,EAAE,gBAAgB,EAAE,kBAAkB,EAAE,MAAM,mBAAmB,CAAC;AAClG,YAAY,EACV,oBAAoB,EACpB,oBAAoB,EACpB,qBAAqB,GACtB,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAAE,wBAAwB,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AAC3E,YAAY,EAAE,WAAW,EAAE,kBAAkB,EAAE,kBAAkB,EAAE,MAAM,mBAAmB,CAAC;AAC7F,YAAY,EAAE,kBAAkB,EAAE,mBAAmB,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AACtG,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,YAAY,EAAE,UAAU,EAAE,gBAAgB,EAAE,OAAO,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AACtF,OAAO,EAAE,oBAAoB,EAAE,kBAAkB,EAAE,MAAM,eAAe,CAAC;AACzE,OAAO,EAAE,cAAc,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAC7D,OAAO,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAC;AAChD,OAAO,EAAE,WAAW,EAAE,MAAM,gBAAgB,CAAC;AAC7C,OAAO,EAAE,aAAa,EAAE,MAAM,WAAW,CAAC;AAC1C,YAAY,EAAE,aAAa,EAAE,aAAa,EAAE,SAAS,EAAE,UAAU,EAAE,WAAW,EAAE,MAAM,WAAW,CAAC;AAClG,YAAY,EAAE,eAAe,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AAC1F,YAAY,EAAE,cAAc,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAClE,OAAO,EAAE,qBAAqB,EAAE,aAAa,EAAE,aAAa,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AACpG,YAAY,EACV,cAAc,EACd,iBAAiB,EACjB,cAAc,EACd,aAAa,GACd,MAAM,cAAc,CAAC;AACtB,YAAY,EAAE,iBAAiB,EAAE,uBAAuB,EAAE,MAAM,gBAAgB,CAAC;AACjF,OAAO,EACL,MAAM,EACN,aAAa,EACb,gBAAgB,EAChB,qBAAqB,EACrB,aAAa,EACb,iBAAiB,EACjB,QAAQ,EACR,UAAU,EACV,gBAAgB,EAChB,cAAc,EACd,SAAS,EACT,gBAAgB,EAChB,cAAc,GACf,MAAM,cAAc,CAAC;AACtB,YAAY,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAC;AACrD,YAAY,EAAE,WAAW,EAAE,UAAU,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AAG3E,OAAO,EACL,iBAAiB,EACjB,kBAAkB,EAClB,oBAAoB,EACpB,mBAAmB,EACnB,mBAAmB,EACnB,oBAAoB,EACpB,mBAAmB,GACpB,MAAM,sBAAsB,CAAC;AAC9B,YAAY,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAC3D,OAAO,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAC;AAMpD,OAAO,EAAE,QAAQ,EAAE,gBAAgB,EAAE,WAAW,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAC;AACrF,YAAY,EAAE,SAAS,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAC;AAC/D,OAAO,EAAE,WAAW,EAAE,YAAY,EAAE,SAAS,EAAE,MAAM,eAAe,CAAC;AACrE,YAAY,EAAE,WAAW,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AACjE,YAAY,EAAE,gBAAgB,EAAE,MAAM,iBAAiB,CAAC;AACxD,OAAO,EACL,iBAAiB,EACjB,gBAAgB,EAChB,aAAa,EACb,kBAAkB,EAClB,QAAQ,EACR,iBAAiB,EACjB,cAAc,EACd,iBAAiB,EACjB,aAAa,GACd,MAAM,eAAe,CAAC;AACvB,YAAY,EACV,cAAc,EACd,cAAc,EACd,kBAAkB,EAClB,gBAAgB,EAChB,kBAAkB,GACnB,MAAM,eAAe,CAAC;AACvB,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,YAAY,CAAC;AAC5C,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAC7D,OAAO,EAAE,cAAc,EAAE,UAAU,EAAE,SAAS,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AACtF,OAAO,EAAE,eAAe,EAAE,aAAa,EAAE,MAAM,iBAAiB,CAAC;AACjE,YAAY,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAC;AACvD,OAAO,EAAE,kBAAkB,EAAE,MAAM,YAAY,CAAC;AAKhD,OAAO,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAC/C,YAAY,EACV,aAAa,EACb,cAAc,EACd,aAAa,EACb,cAAc,GACf,MAAM,cAAc,CAAC;AACtB,YAAY,EAAE,mBAAmB,EAAE,MAAM,YAAY,CAAC;AAKtD,OAAO,EAAE,gBAAgB,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AACtE,YAAY,EACV,eAAe,EACf,YAAY,EACZ,mBAAmB,GACpB,MAAM,oBAAoB,CAAC;AAI5B,OAAO,EAAE,cAAc,EAAE,QAAQ,EAAE,SAAS,EAAE,iBAAiB,EAAE,MAAM,cAAc,CAAC;AACtF,YAAY,EAAE,eAAe,EAAE,cAAc,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAC;AAItF,OAAO,EAAE,gBAAgB,EAAE,MAAM,aAAa,CAAC;AAC/C,YAAY,EAAE,SAAS,EAAE,QAAQ,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AACpF,OAAO,EAAE,QAAQ,EAAE,oBAAoB,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAC9E,OAAO,EACL,aAAa,EACb,gBAAgB,EAChB,iBAAiB,EACjB,eAAe,EACf,cAAc,EACd,cAAc,EACd,cAAc,EACd,eAAe,EACf,qBAAqB,GACtB,MAAM,UAAU,CAAC;AAClB,YAAY,EACV,aAAa,EACb,uBAAuB,EACvB,wBAAwB,EACxB,sBAAsB,EACtB,qBAAqB,EACrB,qBAAqB,EACrB,qBAAqB,GACtB,MAAM,UAAU,CAAC;AAGlB,OAAO,EACL,cAAc,EACd,OAAO,EACP,WAAW,EACX,QAAQ,EACR,WAAW,EACX,aAAa,EACb,EAAE,EACF,EAAE,GACH,MAAM,iBAAiB,CAAC;AACzB,YAAY,EAAE,YAAY,EAAE,MAAM,EAAE,gBAAgB,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,iBAAiB,CAAC;AAGhG,OAAO,EACL,eAAe,EACf,kBAAkB,EAClB,YAAY,EACZ,iBAAiB,EACjB,kBAAkB,GACnB,MAAM,gBAAgB,CAAC;AACxB,YAAY,EACV,aAAa,EACb,iBAAiB,EACjB,iBAAiB,EACjB,eAAe,EACf,YAAY,EACZ,aAAa,EACb,gBAAgB,EAChB,cAAc,GACf,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,OAAO,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAC;AAC/D,OAAO,EAAE,WAAW,EAAE,uBAAuB,EAAE,MAAM,cAAc,CAAC;AAGpE,OAAO,EACL,eAAe,EACf,gBAAgB,EAChB,eAAe,EACf,aAAa,EACb,eAAe,EACf,mBAAmB,GACpB,MAAM,UAAU,CAAC;AAClB,YAAY,EAAE,iBAAiB,EAAE,uBAAuB,EAAE,MAAM,UAAU,CAAC;AAG3E,OAAO,EAAE,cAAc,EAAE,oBAAoB,EAAE,MAAM,cAAc,CAAC;AACpE,YAAY,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AAG/C,OAAO,EAAE,cAAc,EAAE,4BAA4B,EAAE,MAAM,aAAa,CAAC;AAC3E,YAAY,EAAE,aAAa,EAAE,iBAAiB,EAAE,qBAAqB,EAAE,MAAM,aAAa,CAAC;AAK3F,OAAO,EAAE,cAAc,EAAE,YAAY,EAAE,aAAa,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AACzF,YAAY,EAAE,mBAAmB,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAGjF,OAAO,EAAE,QAAQ,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,eAAe,CAAC;AACjE,YAAY,EAAE,QAAQ,EAAE,UAAU,EAAE,WAAW,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AAGxF,OAAO,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAC9C,YAAY,EACV,gBAAgB,EAChB,cAAc,EACd,SAAS,EACT,aAAa,GACd,MAAM,cAAc,CAAC;AAKtB,OAAO,EAAE,SAAS,EAAE,iBAAiB,EAAE,WAAW,EAAE,MAAM,WAAW,CAAC;AACtE,OAAO,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAKzD,OAAO,EACL,eAAe,EACf,WAAW,EACX,iBAAiB,EACjB,WAAW,EACX,kBAAkB,EAClB,gBAAgB,EAChB,uBAAuB,EACvB,SAAS,EACT,WAAW,GACZ,MAAM,oBAAoB,CAAC;AAC5B,YAAY,EAAE,cAAc,EAAE,WAAW,EAAE,YAAY,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AAChG,OAAO,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,cAAc,YAAY,CAAC;AAC3B,OAAO,EAAE,uBAAuB,EAAE,cAAc,EAAE,oBAAoB,EAAE,MAAM,gBAAgB,CAAC;AAC/F,OAAO,EACL,UAAU,EACV,cAAc,EACd,YAAY,EACZ,cAAc,EACd,YAAY,EACZ,QAAQ,GACT,MAAM,YAAY,CAAC;AACpB,YAAY,EACV,cAAc,EACd,YAAY,EACZ,mBAAmB,EACnB,cAAc,EACd,aAAa,EACb,kBAAkB,EAClB,WAAW,EACX,WAAW,GACZ,MAAM,YAAY,CAAC;AACpB,OAAO,EAAE,kBAAkB,EAAE,yBAAyB,EAAE,MAAM,mBAAmB,CAAC;AAGlF,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,WAAW,EAAE,mBAAmB,EAAE,MAAM,cAAc,CAAC;AACtF,YAAY,EAAE,WAAW,EAAE,aAAa,EAAE,aAAa,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAQ7F,OAAO,EACL,mBAAmB,EACnB,uBAAuB,EACvB,wBAAwB,EACxB,6BAA6B,EAC7B,YAAY,GACb,MAAM,UAAU,CAAC;AAClB,YAAY,EAAE,iBAAiB,EAAE,eAAe,EAAE,MAAM,UAAU,CAAC;AACnE,OAAO,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAC9C,YAAY,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAClD,OAAO,EAAE,aAAa,EAAE,eAAe,EAAE,kBAAkB,EAAE,MAAM,qBAAqB,CAAC;AACzF,OAAO,EAAE,kBAAkB,EAAE,UAAU,EAAE,iBAAiB,EAAE,MAAM,mBAAmB,CAAC;AACtF,OAAO,EAAE,aAAa,EAAE,aAAa,EAAE,cAAc,EAAE,aAAa,EAAE,MAAM,uBAAuB,CAAC;AACpG,OAAO,EAAE,aAAa,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AACxD,OAAO,EAAE,SAAS,EAAE,aAAa,EAAE,MAAM,WAAW,CAAC;AACrD,YAAY,EAAE,UAAU,EAAE,cAAc,EAAE,cAAc,EAAE,YAAY,EAAE,MAAM,WAAW,CAAC;AAC1F,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,YAAY,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,cAAc,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AACrG,YAAY,EAAE,WAAW,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAC3D,YAAY,EAAE,aAAa,EAAE,aAAa,EAAE,MAAM,uBAAuB,CAAC;AAC1E,YAAY,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AACzD,YAAY,EAAE,aAAa,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AAKxE,OAAO,EAAE,uBAAuB,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AACxE,YAAY,EAAE,UAAU,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AAGzF,OAAO,EAAE,oBAAoB,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAGnE,OAAO,EAAE,4BAA4B,EAAE,iBAAiB,EAAE,MAAM,uBAAuB,CAAC;AACxF,YAAY,EAAE,eAAe,EAAE,sBAAsB,EAAE,sBAAsB,EAAE,MAAM,uBAAuB,CAAC;AAC7G,YAAY,EAAE,aAAa,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAIlF,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AACxD,YAAY,EAAE,eAAe,EAAE,sBAAsB,EAAE,MAAM,uBAAuB,CAAC;AACrF,OAAO,EAAE,aAAa,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAC7D,YAAY,EAAE,gBAAgB,EAAE,aAAa,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AACnF,OAAO,EAAE,0BAA0B,EAAE,qBAAqB,EAAE,MAAM,qBAAqB,CAAC;AAExF,OAAO,EAAE,wBAAwB,EAAE,iBAAiB,EAAE,MAAM,mBAAmB,CAAC;AAChF,YAAY,EAAE,kBAAkB,EAAE,gBAAgB,EAAE,kBAAkB,EAAE,MAAM,mBAAmB,CAAC;AAClG,YAAY,EACV,oBAAoB,EACpB,oBAAoB,EACpB,qBAAqB,GACtB,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAAE,wBAAwB,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AAC3E,YAAY,EAAE,WAAW,EAAE,kBAAkB,EAAE,kBAAkB,EAAE,MAAM,mBAAmB,CAAC;AAC7F,YAAY,EAAE,kBAAkB,EAAE,mBAAmB,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AACtG,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,YAAY,EAAE,UAAU,EAAE,gBAAgB,EAAE,OAAO,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AACtF,OAAO,EAAE,oBAAoB,EAAE,kBAAkB,EAAE,MAAM,eAAe,CAAC;AACzE,OAAO,EAAE,cAAc,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAC7D,OAAO,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAC;AAChD,OAAO,EAAE,WAAW,EAAE,MAAM,gBAAgB,CAAC;AAC7C,OAAO,EAAE,aAAa,EAAE,MAAM,WAAW,CAAC;AAC1C,YAAY,EAAE,aAAa,EAAE,aAAa,EAAE,SAAS,EAAE,UAAU,EAAE,WAAW,EAAE,MAAM,WAAW,CAAC;AAClG,YAAY,EAAE,eAAe,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AAC1F,YAAY,EAAE,cAAc,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAClE,OAAO,EAAE,qBAAqB,EAAE,aAAa,EAAE,aAAa,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AACpG,YAAY,EACV,cAAc,EACd,iBAAiB,EACjB,cAAc,EACd,aAAa,GACd,MAAM,cAAc,CAAC;AACtB,YAAY,EAAE,iBAAiB,EAAE,uBAAuB,EAAE,MAAM,gBAAgB,CAAC;AACjF,OAAO,EACL,MAAM,EACN,aAAa,EACb,gBAAgB,EAChB,qBAAqB,EACrB,aAAa,EACb,iBAAiB,EACjB,QAAQ,EACR,UAAU,EACV,gBAAgB,EAChB,cAAc,EACd,SAAS,EACT,gBAAgB,EAChB,cAAc,GACf,MAAM,cAAc,CAAC;AACtB,YAAY,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAC;AACrD,YAAY,EAAE,WAAW,EAAE,UAAU,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AAG3E,OAAO,EACL,iBAAiB,EACjB,kBAAkB,EAClB,oBAAoB,EACpB,mBAAmB,EACnB,mBAAmB,EACnB,oBAAoB,EACpB,mBAAmB,GACpB,MAAM,sBAAsB,CAAC;AAC9B,YAAY,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAC3D,OAAO,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAC;AAMpD,OAAO,EAAE,QAAQ,EAAE,gBAAgB,EAAE,WAAW,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAC;AACrF,YAAY,EAAE,SAAS,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAC;AAC/D,OAAO,EAAE,WAAW,EAAE,YAAY,EAAE,SAAS,EAAE,MAAM,eAAe,CAAC;AACrE,YAAY,EAAE,WAAW,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AACjE,YAAY,EAAE,gBAAgB,EAAE,MAAM,iBAAiB,CAAC;AACxD,OAAO,EACL,iBAAiB,EACjB,gBAAgB,EAChB,aAAa,EACb,kBAAkB,EAClB,QAAQ,EACR,iBAAiB,EACjB,cAAc,EACd,iBAAiB,EACjB,aAAa,GACd,MAAM,eAAe,CAAC;AACvB,YAAY,EACV,cAAc,EACd,cAAc,EACd,kBAAkB,EAClB,gBAAgB,EAChB,kBAAkB,GACnB,MAAM,eAAe,CAAC;AACvB,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,YAAY,CAAC;AAC5C,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAC7D,OAAO,EAAE,cAAc,EAAE,UAAU,EAAE,SAAS,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AACtF,OAAO,EAAE,eAAe,EAAE,aAAa,EAAE,MAAM,iBAAiB,CAAC;AACjE,YAAY,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAC;AACvD,OAAO,EAAE,kBAAkB,EAAE,MAAM,YAAY,CAAC;AAKhD,OAAO,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAC/C,YAAY,EACV,aAAa,EACb,cAAc,EACd,aAAa,EACb,cAAc,GACf,MAAM,cAAc,CAAC;AACtB,YAAY,EAAE,mBAAmB,EAAE,MAAM,YAAY,CAAC;AAKtD,OAAO,EAAE,gBAAgB,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AACtE,YAAY,EACV,eAAe,EACf,YAAY,EACZ,mBAAmB,GACpB,MAAM,oBAAoB,CAAC;AAI5B,OAAO,EAAE,cAAc,EAAE,QAAQ,EAAE,SAAS,EAAE,iBAAiB,EAAE,MAAM,cAAc,CAAC;AACtF,YAAY,EAAE,eAAe,EAAE,cAAc,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAC;AAItF,OAAO,EAAE,gBAAgB,EAAE,MAAM,aAAa,CAAC;AAC/C,YAAY,EAAE,SAAS,EAAE,QAAQ,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AACpF,OAAO,EAAE,QAAQ,EAAE,oBAAoB,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAC9E,OAAO,EACL,aAAa,EACb,gBAAgB,EAChB,iBAAiB,EACjB,eAAe,EACf,cAAc,EACd,cAAc,EACd,cAAc,EACd,eAAe,EACf,qBAAqB,GACtB,MAAM,UAAU,CAAC;AAClB,YAAY,EACV,aAAa,EACb,uBAAuB,EACvB,wBAAwB,EACxB,sBAAsB,EACtB,qBAAqB,EACrB,qBAAqB,EACrB,qBAAqB,GACtB,MAAM,UAAU,CAAC;AAGlB,OAAO,EACL,cAAc,EACd,OAAO,EACP,WAAW,EACX,QAAQ,EACR,WAAW,EACX,aAAa,EACb,EAAE,EACF,EAAE,GACH,MAAM,iBAAiB,CAAC;AACzB,YAAY,EAAE,YAAY,EAAE,MAAM,EAAE,gBAAgB,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,iBAAiB,CAAC;AAGhG,OAAO,EACL,eAAe,EACf,kBAAkB,EAClB,YAAY,EACZ,iBAAiB,EACjB,kBAAkB,GACnB,MAAM,gBAAgB,CAAC;AACxB,YAAY,EACV,aAAa,EACb,iBAAiB,EACjB,iBAAiB,EACjB,eAAe,EACf,YAAY,EACZ,aAAa,EACb,gBAAgB,EAChB,cAAc,GACf,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,OAAO,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAC;AAC/D,OAAO,EAAE,WAAW,EAAE,uBAAuB,EAAE,MAAM,cAAc,CAAC;AAGpE,OAAO,EACL,eAAe,EACf,gBAAgB,EAChB,eAAe,EACf,aAAa,EACb,eAAe,EACf,mBAAmB,GACpB,MAAM,UAAU,CAAC;AAClB,YAAY,EAAE,iBAAiB,EAAE,uBAAuB,EAAE,MAAM,UAAU,CAAC;AAG3E,OAAO,EAAE,cAAc,EAAE,oBAAoB,EAAE,MAAM,cAAc,CAAC;AACpE,YAAY,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AAG/C,OAAO,EAAE,cAAc,EAAE,4BAA4B,EAAE,MAAM,aAAa,CAAC;AAC3E,YAAY,EAAE,aAAa,EAAE,iBAAiB,EAAE,qBAAqB,EAAE,MAAM,aAAa,CAAC;AAK3F,OAAO,EAAE,cAAc,EAAE,YAAY,EAAE,aAAa,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AACzF,YAAY,EAAE,mBAAmB,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAGjF,OAAO,EAAE,QAAQ,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,eAAe,CAAC;AACjE,YAAY,EAAE,QAAQ,EAAE,UAAU,EAAE,WAAW,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AAGxF,OAAO,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAC9C,YAAY,EACV,gBAAgB,EAChB,cAAc,EACd,SAAS,EACT,aAAa,GACd,MAAM,cAAc,CAAC;AAKtB,OAAO,EAAE,SAAS,EAAE,iBAAiB,EAAE,WAAW,EAAE,MAAM,WAAW,CAAC;AACtE,OAAO,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAKzD,OAAO,EACL,eAAe,EACf,WAAW,EACX,iBAAiB,EACjB,WAAW,EACX,kBAAkB,EAClB,gBAAgB,EAChB,uBAAuB,EACvB,SAAS,EACT,WAAW,GACZ,MAAM,oBAAoB,CAAC;AAC5B,YAAY,EAAE,cAAc,EAAE,WAAW,EAAE,YAAY,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AAChG,OAAO,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC"}

package/dist/index.js

@@ -18,6 +18,8 @@ export { coverageDrift, COVERAGE_FIELDS, COVERAGE_DRIFT_MIN } from './coverage-d
 export { explainGateFailure, gateMargin, GATE_MARGIN_TIGHT } from './gate-explain.js';
 export { measuredUsage, labelCoverage, MIN_SCALE_DAYS, SCALE_TO_DAYS } from './measured-profile.js';
 export { assignSources, fleetRollup } from './fleet.js';
+export { buildPlan, planLabelName } from './plan.js';
+export { verifyPlan } from './verify.js';
 // The same tokens at another model's rates — arithmetic, not advice, and it
 // refuses to price a call the target could not have accepted. See reprice.ts.
 // The shape of a call's input — the half of the bill a total could only name.

package/dist/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,cAAc,YAAY,CAAC;AAC3B,OAAO,EAAE,uBAAuB,EAAE,cAAc,EAAE,oBAAoB,EAAE,MAAM,gBAAgB,CAAC;AAC/F,OAAO,EACL,UAAU,EACV,cAAc,EACd,YAAY,EACZ,cAAc,EACd,YAAY,EACZ,QAAQ,GACT,MAAM,YAAY,CAAC;AAWpB,OAAO,EAAE,kBAAkB,EAAE,yBAAyB,EAAE,MAAM,mBAAmB,CAAC;AAClF,gFAAgF;AAChF,4EAA4E;AAC5E,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,WAAW,EAAE,mBAAmB,EAAE,MAAM,cAAc,CAAC;AAEtF,2EAA2E;AAC3E,+EAA+E;AAC/E,8EAA8E;AAC9E,0EAA0E;AAC1E,yCAAyC;AACzC,4EAA4E;AAC5E,qDAAqD;AACrD,OAAO,EACL,mBAAmB,EACnB,uBAAuB,EACvB,wBAAwB,EACxB,6BAA6B,EAC7B,YAAY,GACb,MAAM,UAAU,CAAC;AAElB,OAAO,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAE9C,OAAO,EAAE,aAAa,EAAE,eAAe,EAAE,kBAAkB,EAAE,MAAM,qBAAqB,CAAC;AACzF,OAAO,EAAE,kBAAkB,EAAE,UAAU,EAAE,iBAAiB,EAAE,MAAM,mBAAmB,CAAC;AACtF,OAAO,EAAE,aAAa,EAAE,aAAa,EAAE,cAAc,EAAE,aAAa,EAAE,MAAM,uBAAuB,CAAC;AACpG,OAAO,EAAE,aAAa,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAKxD,4EAA4E;AAC5E,8EAA8E;AAC9E,8EAA8E;AAC9E,sBAAsB;AACtB,OAAO,EAAE,uBAAuB,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAExE,2EAA2E;AAC3E,8DAA8D;AAC9D,OAAO,EAAE,oBAAoB,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AACnE,2EAA2E;AAC3E,+DAA+D;AAC/D,OAAO,EAAE,4BAA4B,EAAE,iBAAiB,EAAE,MAAM,uBAAuB,CAAC;AAGxF,yEAAyE;AACzE,mEAAmE;AACnE,2BAA2B;AAC3B,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AAExD,OAAO,EAAE,aAAa,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAE7D,OAAO,EAAE,0BAA0B,EAAE,qBAAqB,EAAE,MAAM,qBAAqB,CAAC;AACxF,4EAA4E;AAC5E,OAAO,EAAE,wBAAwB,EAAE,iBAAiB,EAAE,MAAM,mBAAmB,CAAC;AAOhF,OAAO,EAAE,wBAAwB,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AAG3E,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAEzC,OAAO,EAAE,oBAAoB,EAAE,kBAAkB,EAAE,MAAM,eAAe,CAAC;AACzE,OAAO,EAAE,cAAc,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAC7D,OAAO,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAC;AAChD,OAAO,EAAE,WAAW,EAAE,MAAM,gBAAgB,CAAC;AAC7C,OAAO,EAAE,aAAa,EAAE,MAAM,WAAW,CAAC;AAI1C,OAAO,EAAE,qBAAqB,EAAE,aAAa,EAAE,aAAa,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAQpG,OAAO,EACL,MAAM,EACN,aAAa,EACb,gBAAgB,EAChB,qBAAqB,EACrB,aAAa,EACb,iBAAiB,EACjB,QAAQ,EACR,UAAU,EACV,gBAAgB,EAChB,cAAc,EACd,SAAS,EACT,gBAAgB,EAChB,cAAc,GACf,MAAM,cAAc,CAAC;AAItB,uEAAuE;AACvE,OAAO,EACL,iBAAiB,EACjB,kBAAkB,EAClB,oBAAoB,EACpB,mBAAmB,EACnB,mBAAmB,EACnB,oBAAoB,EACpB,mBAAmB,GACpB,MAAM,sBAAsB,CAAC;AAE9B,OAAO,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAC;AAEpD,8EAA8E;AAC9E,+EAA+E;AAC/E,6EAA6E;AAC7E,UAAU;AACV,OAAO,EAAE,QAAQ,EAAE,gBAAgB,EAAE,WAAW,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAC;AAErF,OAAO,EAAE,WAAW,EAAE,YAAY,EAAE,SAAS,EAAE,MAAM,eAAe,CAAC;AAGrE,OAAO,EACL,iBAAiB,EACjB,gBAAgB,EAChB,aAAa,EACb,kBAAkB,EAClB,QAAQ,EACR,iBAAiB,EACjB,cAAc,EACd,iBAAiB,EACjB,aAAa,GACd,MAAM,eAAe,CAAC;AAQvB,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,YAAY,CAAC;AAC5C,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAC7D,OAAO,EAAE,cAAc,EAAE,UAAU,EAAE,SAAS,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AACtF,OAAO,EAAE,eAAe,EAAE,aAAa,EAAE,MAAM,iBAAiB,CAAC;AAEjE,OAAO,EAAE,kBAAkB,EAAE,MAAM,YAAY,CAAC;AAEhD,+EAA+E;AAC/E,+EAA+E;AAC/E,6DAA6D;AAC7D,OAAO,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAS/C,gFAAgF;AAChF,gFAAgF;AAChF,iEAAiE;AACjE,OAAO,EAAE,gBAAgB,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AAOtE,4EAA4E;AAC5E,6EAA6E;AAC7E,OAAO,EAAE,cAAc,EAAE,QAAQ,EAAE,SAAS,EAAE,iBAAiB,EAAE,MAAM,cAAc,CAAC;AAGtF,8EAA8E;AAC9E,2EAA2E;AAC3E,OAAO,EAAE,gBAAgB,EAAE,MAAM,aAAa,CAAC;AAE/C,OAAO,EAAE,QAAQ,EAAE,oBAAoB,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAC9E,OAAO,EACL,aAAa,EACb,gBAAgB,EAChB,iBAAiB,EACjB,eAAe,EACf,cAAc,EACd,cAAc,EACd,cAAc,EACd,eAAe,EACf,qBAAqB,GACtB,MAAM,UAAU,CAAC;AAWlB,uBAAuB;AACvB,OAAO,EACL,cAAc,EACd,OAAO,EACP,WAAW,EACX,QAAQ,EACR,WAAW,EACX,aAAa,EACb,EAAE,EACF,EAAE,GACH,MAAM,iBAAiB,CAAC;AAGzB,sBAAsB;AACtB,OAAO,EACL,eAAe,EACf,kBAAkB,EAClB,YAAY,EACZ,iBAAiB,EACjB,kBAAkB,GACnB,MAAM,gBAAgB,CAAC;AAWxB,OAAO,EAAE,OAAO,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAC;AAC/D,OAAO,EAAE,WAAW,EAAE,uBAAuB,EAAE,MAAM,cAAc,CAAC;AAEpE,kDAAkD;AAClD,OAAO,EACL,eAAe,EACf,gBAAgB,EAChB,eAAe,EACf,aAAa,EACb,eAAe,EACf,mBAAmB,GACpB,MAAM,UAAU,CAAC;AAGlB,6BAA6B;AAC7B,OAAO,EAAE,cAAc,EAAE,oBAAoB,EAAE,MAAM,cAAc,CAAC;AAGpE,qEAAqE;AACrE,OAAO,EAAE,cAAc,EAAE,4BAA4B,EAAE,MAAM,aAAa,CAAC;AAG3E,kFAAkF;AAClF,kFAAkF;AAClF,wCAAwC;AACxC,OAAO,EAAE,cAAc,EAAE,YAAY,EAAE,aAAa,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AAGzF,mEAAmE;AACnE,OAAO,EAAE,QAAQ,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,eAAe,CAAC;AAGjE,gCAAgC;AAChC,OAAO,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAQ9C,0EAA0E;AAC1E,+EAA+E;AAC/E,8EAA8E;AAC9E,OAAO,EAAE,SAAS,EAAE,iBAAiB,EAAE,WAAW,EAAE,MAAM,WAAW,CAAC;AACtE,OAAO,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAEzD,8EAA8E;AAC9E,6EAA6E;AAC7E,2DAA2D;AAC3D,OAAO,EACL,eAAe,EACf,WAAW,EACX,iBAAiB,EACjB,WAAW,EACX,kBAAkB,EAClB,gBAAgB,EAChB,uBAAuB,EACvB,SAAS,EACT,WAAW,GACZ,MAAM,oBAAoB,CAAC;AAE5B,OAAO,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,cAAc,YAAY,CAAC;AAC3B,OAAO,EAAE,uBAAuB,EAAE,cAAc,EAAE,oBAAoB,EAAE,MAAM,gBAAgB,CAAC;AAC/F,OAAO,EACL,UAAU,EACV,cAAc,EACd,YAAY,EACZ,cAAc,EACd,YAAY,EACZ,QAAQ,GACT,MAAM,YAAY,CAAC;AAWpB,OAAO,EAAE,kBAAkB,EAAE,yBAAyB,EAAE,MAAM,mBAAmB,CAAC;AAClF,gFAAgF;AAChF,4EAA4E;AAC5E,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,WAAW,EAAE,mBAAmB,EAAE,MAAM,cAAc,CAAC;AAEtF,2EAA2E;AAC3E,+EAA+E;AAC/E,8EAA8E;AAC9E,0EAA0E;AAC1E,yCAAyC;AACzC,4EAA4E;AAC5E,qDAAqD;AACrD,OAAO,EACL,mBAAmB,EACnB,uBAAuB,EACvB,wBAAwB,EACxB,6BAA6B,EAC7B,YAAY,GACb,MAAM,UAAU,CAAC;AAElB,OAAO,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAE9C,OAAO,EAAE,aAAa,EAAE,eAAe,EAAE,kBAAkB,EAAE,MAAM,qBAAqB,CAAC;AACzF,OAAO,EAAE,kBAAkB,EAAE,UAAU,EAAE,iBAAiB,EAAE,MAAM,mBAAmB,CAAC;AACtF,OAAO,EAAE,aAAa,EAAE,aAAa,EAAE,cAAc,EAAE,aAAa,EAAE,MAAM,uBAAuB,CAAC;AACpG,OAAO,EAAE,aAAa,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AACxD,OAAO,EAAE,SAAS,EAAE,aAAa,EAAE,MAAM,WAAW,CAAC;AAErD,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAMzC,4EAA4E;AAC5E,8EAA8E;AAC9E,8EAA8E;AAC9E,sBAAsB;AACtB,OAAO,EAAE,uBAAuB,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAExE,2EAA2E;AAC3E,8DAA8D;AAC9D,OAAO,EAAE,oBAAoB,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AACnE,2EAA2E;AAC3E,+DAA+D;AAC/D,OAAO,EAAE,4BAA4B,EAAE,iBAAiB,EAAE,MAAM,uBAAuB,CAAC;AAGxF,yEAAyE;AACzE,mEAAmE;AACnE,2BAA2B;AAC3B,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AAExD,OAAO,EAAE,aAAa,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAE7D,OAAO,EAAE,0BAA0B,EAAE,qBAAqB,EAAE,MAAM,qBAAqB,CAAC;AACxF,4EAA4E;AAC5E,OAAO,EAAE,wBAAwB,EAAE,iBAAiB,EAAE,MAAM,mBAAmB,CAAC;AAOhF,OAAO,EAAE,wBAAwB,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AAG3E,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAEzC,OAAO,EAAE,oBAAoB,EAAE,kBAAkB,EAAE,MAAM,eAAe,CAAC;AACzE,OAAO,EAAE,cAAc,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAC7D,OAAO,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAC;AAChD,OAAO,EAAE,WAAW,EAAE,MAAM,gBAAgB,CAAC;AAC7C,OAAO,EAAE,aAAa,EAAE,MAAM,WAAW,CAAC;AAI1C,OAAO,EAAE,qBAAqB,EAAE,aAAa,EAAE,aAAa,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAQpG,OAAO,EACL,MAAM,EACN,aAAa,EACb,gBAAgB,EAChB,qBAAqB,EACrB,aAAa,EACb,iBAAiB,EACjB,QAAQ,EACR,UAAU,EACV,gBAAgB,EAChB,cAAc,EACd,SAAS,EACT,gBAAgB,EAChB,cAAc,GACf,MAAM,cAAc,CAAC;AAItB,uEAAuE;AACvE,OAAO,EACL,iBAAiB,EACjB,kBAAkB,EAClB,oBAAoB,EACpB,mBAAmB,EACnB,mBAAmB,EACnB,oBAAoB,EACpB,mBAAmB,GACpB,MAAM,sBAAsB,CAAC;AAE9B,OAAO,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAC;AAEpD,8EAA8E;AAC9E,+EAA+E;AAC/E,6EAA6E;AAC7E,UAAU;AACV,OAAO,EAAE,QAAQ,EAAE,gBAAgB,EAAE,WAAW,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAC;AAErF,OAAO,EAAE,WAAW,EAAE,YAAY,EAAE,SAAS,EAAE,MAAM,eAAe,CAAC;AAGrE,OAAO,EACL,iBAAiB,EACjB,gBAAgB,EAChB,aAAa,EACb,kBAAkB,EAClB,QAAQ,EACR,iBAAiB,EACjB,cAAc,EACd,iBAAiB,EACjB,aAAa,GACd,MAAM,eAAe,CAAC;AAQvB,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,YAAY,CAAC;AAC5C,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAC7D,OAAO,EAAE,cAAc,EAAE,UAAU,EAAE,SAAS,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AACtF,OAAO,EAAE,eAAe,EAAE,aAAa,EAAE,MAAM,iBAAiB,CAAC;AAEjE,OAAO,EAAE,kBAAkB,EAAE,MAAM,YAAY,CAAC;AAEhD,+EAA+E;AAC/E,+EAA+E;AAC/E,6DAA6D;AAC7D,OAAO,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAS/C,gFAAgF;AAChF,gFAAgF;AAChF,iEAAiE;AACjE,OAAO,EAAE,gBAAgB,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AAOtE,4EAA4E;AAC5E,6EAA6E;AAC7E,OAAO,EAAE,cAAc,EAAE,QAAQ,EAAE,SAAS,EAAE,iBAAiB,EAAE,MAAM,cAAc,CAAC;AAGtF,8EAA8E;AAC9E,2EAA2E;AAC3E,OAAO,EAAE,gBAAgB,EAAE,MAAM,aAAa,CAAC;AAE/C,OAAO,EAAE,QAAQ,EAAE,oBAAoB,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAC9E,OAAO,EACL,aAAa,EACb,gBAAgB,EAChB,iBAAiB,EACjB,eAAe,EACf,cAAc,EACd,cAAc,EACd,cAAc,EACd,eAAe,EACf,qBAAqB,GACtB,MAAM,UAAU,CAAC;AAWlB,uBAAuB;AACvB,OAAO,EACL,cAAc,EACd,OAAO,EACP,WAAW,EACX,QAAQ,EACR,WAAW,EACX,aAAa,EACb,EAAE,EACF,EAAE,GACH,MAAM,iBAAiB,CAAC;AAGzB,sBAAsB;AACtB,OAAO,EACL,eAAe,EACf,kBAAkB,EAClB,YAAY,EACZ,iBAAiB,EACjB,kBAAkB,GACnB,MAAM,gBAAgB,CAAC;AAWxB,OAAO,EAAE,OAAO,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAC;AAC/D,OAAO,EAAE,WAAW,EAAE,uBAAuB,EAAE,MAAM,cAAc,CAAC;AAEpE,kDAAkD;AAClD,OAAO,EACL,eAAe,EACf,gBAAgB,EAChB,eAAe,EACf,aAAa,EACb,eAAe,EACf,mBAAmB,GACpB,MAAM,UAAU,CAAC;AAGlB,6BAA6B;AAC7B,OAAO,EAAE,cAAc,EAAE,oBAAoB,EAAE,MAAM,cAAc,CAAC;AAGpE,qEAAqE;AACrE,OAAO,EAAE,cAAc,EAAE,4BAA4B,EAAE,MAAM,aAAa,CAAC;AAG3E,kFAAkF;AAClF,kFAAkF;AAClF,wCAAwC;AACxC,OAAO,EAAE,cAAc,EAAE,YAAY,EAAE,aAAa,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AAGzF,mEAAmE;AACnE,OAAO,EAAE,QAAQ,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,eAAe,CAAC;AAGjE,gCAAgC;AAChC,OAAO,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAQ9C,0EAA0E;AAC1E,+EAA+E;AAC/E,8EAA8E;AAC9E,OAAO,EAAE,SAAS,EAAE,iBAAiB,EAAE,WAAW,EAAE,MAAM,WAAW,CAAC;AACtE,OAAO,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAEzD,8EAA8E;AAC9E,6EAA6E;AAC7E,2DAA2D;AAC3D,OAAO,EACL,eAAe,EACf,WAAW,EACX,iBAAiB,EACjB,WAAW,EACX,kBAAkB,EAClB,gBAAgB,EAChB,uBAAuB,EACvB,SAAS,EACT,WAAW,GACZ,MAAM,oBAAoB,CAAC;AAE5B,OAAO,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC"}

package/dist/plan.d.ts

@@ -0,0 +1,137 @@
+/**
+ * Not a list of findings — a ranked, costed, non-additive plan of what to do.
+ *
+ * The report names findings; a person then decides what to do first by doing
+ * arithmetic in their head, and head-arithmetic on savings gets done by
+ * *adding* them — which the levers module has documented as wrong since it
+ * shipped ($12.60 plus $10.50 against a $21.00 slice). This module does the
+ * composition once, correctly, and attaches to every action the things the
+ * log cannot confirm, because a plan that hides its assumptions is advice
+ * pretending to be arithmetic.
+ *
+ * **Everything here is derived from figures the report already computed.**
+ * Route and batch come from `billLevers` (combined, never summed). The
+ * truncation action's stake is the retry bill `truncationRetries` measured.
+ * The cache action's stake is `cacheEconomics`' own delta. Nothing is
+ * invented, and each action carries how to check the part that is not
+ * arithmetic.
+ *
+ * **The total is stated honestly.** Actions on *different* slices add
+ * cleanly; the one composition that does not add — route and batch on the
+ * same slice — arrives already combined inside a single action, so the
+ * plan's total is a sum of non-overlapping figures by construction. Measured
+ * stakes (money already spent on retries, money already lost to caching) are
+ * totalled separately from projected savings: "what you would save" and
+ * "what you already paid" are different columns, and merging them makes a
+ * number that is neither.
+ */
+import type { UsageProfileReport } from './usage.js';
+import type { BillLevers } from './levers.js';
+export type PlanActionKind = 'route' | 'batch' | 'route+batch' | 'fix-truncation' | 'fix-caching';
+/**
+ * What the log cannot confirm, as data rather than prose.
+ *
+ * Rendering lives with whoever renders — the CLI localizes these, and 1.39's
+ * verification can match them structurally. An English sentence baked in here
+ * would be a browser-safe module deciding the reader's language.
+ */
+export type PlanAssumption = 
+/** The cheaper model can actually do this work — quality, not arithmetic. */
+{
+    kind: 'model-capability';
+    model: string;
+}
+/** These calls tolerate a batch window's latency. */
+ | {
+    kind: 'batch-window';
+}
+/** The truncation-retry pairing is real — the log sees shapes, not content. */
+ | {
+    kind: 'retry-pattern-real';
+}
+/** A max_tokens the answers fit inside removes the retry pair. */
+ | {
+    kind: 'max-tokens-fits';
+}
+/** The traffic pattern holds — a cache underwater on this log may pay on other traffic. */
+ | {
+    kind: 'traffic-pattern-holds';
+};
+export interface PlanAction {
+    kind: PlanActionKind;
+    /** The workload this acts on. `UNLABELLED` renders as the unlabelled bucket. */
+    label: string;
+    model: string;
+    /**
+     * Projected saving per the log's own period, for route/batch — or null for
+     * the measured-stake actions, whose money is in `stakeUsd` instead. Never
+     * both: a projection and a measurement in one field is a number that is
+     * neither.
+     */
+    savingUsd: number | null;
+    /**
+     * Money already measured against this problem — the retry bill, the cache
+     * loss. Null for the projected actions.
+     */
+    stakeUsd: number | null;
+    /** What the log cannot confirm. Every entry is a human's question to answer. */
+    assumes: PlanAssumption[];
+    /** How to check the assumption, when a Trazum command can. */
+    check: string | null;
+    /** What this action does, in one machine-stable keyword per detail. */
+    detail: {
+        /** Route target, when the action moves the calls. */
+        routeTo?: {
+            id: string;
+            displayName: string;
+        };
+        /** The measured pieces behind a stake. */
+        measured?: Record<string, number>;
+        /**
+         * The slice as it was when the plan was made — what a later verification
+         * compares the newer log against. Without this the plan is a prediction
+         * with no record of the world it was made in, and "calls doubled" could
+         * never be told from "the prediction was wrong".
+         */
+        baseline?: {
+            calls: number;
+            usd: number;
+            inputPerCallTokens: number;
+            outputPerCallTokens: number;
+        };
+    };
+}
+export interface PlanDocument {
+    /** Same contract discipline as the profile JSON. */
+    schemaVersion: 1;
+    /** The period the plan's figures cover, or null when the log had no clock. */
+    span: {
+        fromMs: number;
+        toMs: number;
+    } | null;
+    /** The price table behind every dollar here. */
+    pricingLastReviewed: string;
+    /** Ranked: largest money first, projected or staked alike. */
+    actions: PlanAction[];
+    /**
+     * Projected savings summed — additive by construction, because same-slice
+     * compositions arrive pre-combined in one action.
+     */
+    projectedSavingUsd: number;
+    /** Measured stakes summed: money already paid to problems this plan names. */
+    measuredStakeUsd: number;
+    /** The bill the plan was made against. */
+    totalUsd: number;
+}
+/**
+ * Builds the plan from a report and its levers.
+ *
+ * `pricingLastReviewed` is passed in rather than imported so the plan records
+ * the catalogue that actually priced it — an overlay's date when one was in
+ * effect, which 1.39's verification needs to tell "the prediction was wrong"
+ * from "the prices changed".
+ */
+export declare function buildPlan(report: UsageProfileReport, levers: BillLevers, pricingLastReviewed: string): PlanDocument;
+/** Renders `UNLABELLED` for humans without leaking the sentinel. */
+export declare function planLabelName(label: string, unlabelled: string): string;
+//# sourceMappingURL=plan.d.ts.map

package/dist/plan.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"plan.d.ts","sourceRoot":"","sources":["../src/plan.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AAGH,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,YAAY,CAAC;AACrD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAE9C,MAAM,MAAM,cAAc,GAAG,OAAO,GAAG,OAAO,GAAG,aAAa,GAAG,gBAAgB,GAAG,aAAa,CAAC;AAElG;;;;;;GAMG;AACH,MAAM,MAAM,cAAc;AACxB,6EAA6E;AAC3E;IAAE,IAAI,EAAE,kBAAkB,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE;AAC7C,qDAAqD;GACnD;IAAE,IAAI,EAAE,cAAc,CAAA;CAAE;AAC1B,+EAA+E;GAC7E;IAAE,IAAI,EAAE,oBAAoB,CAAA;CAAE;AAChC,kEAAkE;GAChE;IAAE,IAAI,EAAE,iBAAiB,CAAA;CAAE;AAC7B,2FAA2F;GACzF;IAAE,IAAI,EAAE,uBAAuB,CAAA;CAAE,CAAC;AAEtC,MAAM,WAAW,UAAU;IACzB,IAAI,EAAE,cAAc,CAAC;IACrB,gFAAgF;IAChF,KAAK,EAAE,MAAM,CAAC;IACd,KAAK,EAAE,MAAM,CAAC;IACd;;;;;OAKG;IACH,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;IACzB;;;OAGG;IACH,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;IACxB,gFAAgF;IAChF,OAAO,EAAE,cAAc,EAAE,CAAC;IAC1B,8DAA8D;IAC9D,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC;IACrB,uEAAuE;IACvE,MAAM,EAAE;QACN,qDAAqD;QACrD,OAAO,CAAC,EAAE;YAAE,EAAE,EAAE,MAAM,CAAC;YAAC,WAAW,EAAE,MAAM,CAAA;SAAE,CAAC;QAC9C,0CAA0C;QAC1C,QAAQ,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QAClC;;;;;WAKG;QACH,QAAQ,CAAC,EAAE;YAAE,KAAK,EAAE,MAAM,CAAC;YAAC,GAAG,EAAE,MAAM,CAAC;YAAC,kBAAkB,EAAE,MAAM,CAAC;YAAC,mBAAmB,EAAE,MAAM,CAAA;SAAE,CAAC;KACpG,CAAC;CACH;AAED,MAAM,WAAW,YAAY;IAC3B,oDAAoD;IACpD,aAAa,EAAE,CAAC,CAAC;IACjB,8EAA8E;IAC9E,IAAI,EAAE;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,GAAG,IAAI,CAAC;IAC9C,gDAAgD;IAChD,mBAAmB,EAAE,MAAM,CAAC;IAC5B,8DAA8D;IAC9D,OAAO,EAAE,UAAU,EAAE,CAAC;IACtB;;;OAGG;IACH,kBAAkB,EAAE,MAAM,CAAC;IAC3B,8EAA8E;IAC9E,gBAAgB,EAAE,MAAM,CAAC;IACzB,0CAA0C;IAC1C,QAAQ,EAAE,MAAM,CAAC;CAClB;AAED;;;;;;;GAOG;AACH,wBAAgB,SAAS,CACvB,MAAM,EAAE,kBAAkB,EAC1B,MAAM,EAAE,UAAU,EAClB,mBAAmB,EAAE,MAAM,GAC1B,YAAY,CAwGd;AAED,oEAAoE;AACpE,wBAAgB,aAAa,CAAC,KAAK,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,GAAG,MAAM,CAEvE"}

package/dist/plan.js

@@ -0,0 +1,143 @@
+/**
+ * Not a list of findings — a ranked, costed, non-additive plan of what to do.
+ *
+ * The report names findings; a person then decides what to do first by doing
+ * arithmetic in their head, and head-arithmetic on savings gets done by
+ * *adding* them — which the levers module has documented as wrong since it
+ * shipped ($12.60 plus $10.50 against a $21.00 slice). This module does the
+ * composition once, correctly, and attaches to every action the things the
+ * log cannot confirm, because a plan that hides its assumptions is advice
+ * pretending to be arithmetic.
+ *
+ * **Everything here is derived from figures the report already computed.**
+ * Route and batch come from `billLevers` (combined, never summed). The
+ * truncation action's stake is the retry bill `truncationRetries` measured.
+ * The cache action's stake is `cacheEconomics`' own delta. Nothing is
+ * invented, and each action carries how to check the part that is not
+ * arithmetic.
+ *
+ * **The total is stated honestly.** Actions on *different* slices add
+ * cleanly; the one composition that does not add — route and batch on the
+ * same slice — arrives already combined inside a single action, so the
+ * plan's total is a sum of non-overlapping figures by construction. Measured
+ * stakes (money already spent on retries, money already lost to caching) are
+ * totalled separately from projected savings: "what you would save" and
+ * "what you already paid" are different columns, and merging them makes a
+ * number that is neither.
+ */
+import { UNLABELLED, cacheEconomics } from './usage.js';
+/**
+ * Builds the plan from a report and its levers.
+ *
+ * `pricingLastReviewed` is passed in rather than imported so the plan records
+ * the catalogue that actually priced it — an overlay's date when one was in
+ * effect, which 1.39's verification needs to tell "the prediction was wrong"
+ * from "the prices changed".
+ */
+export function buildPlan(report, levers, pricingLastReviewed) {
+    const actions = [];
+    /** The slice as the plan saw it, recorded so verification has a "before". */
+    const baselineOf = (label, model) => {
+        const slice = report.byLabelAndModel.find((s) => s.label === label && s.model === model);
+        if (slice === undefined || slice.breakdown.calls === 0)
+            return undefined;
+        const b = slice.breakdown;
+        return {
+            calls: b.calls,
+            usd: b.totalUsd,
+            inputPerCallTokens: (b.inputTokens + b.cacheReadTokens + b.cacheWriteTokens) / b.calls,
+            outputPerCallTokens: b.outputTokens / b.calls,
+        };
+    };
+    for (const slice of levers.slices) {
+        const assumes = [];
+        let kind;
+        if (slice.route !== null && slice.batch !== null) {
+            kind = 'route+batch';
+            assumes.push({ kind: 'model-capability', model: slice.route.candidate.displayName });
+            assumes.push({ kind: 'batch-window' });
+        }
+        else if (slice.route !== null) {
+            kind = 'route';
+            assumes.push({ kind: 'model-capability', model: slice.route.candidate.displayName });
+        }
+        else if (slice.batch !== null) {
+            kind = 'batch';
+            assumes.push({ kind: 'batch-window' });
+        }
+        else {
+            continue;
+        }
+        actions.push({
+            kind,
+            label: slice.label,
+            model: slice.model,
+            savingUsd: slice.combinedUsd,
+            stakeUsd: null,
+            assumes,
+            check: slice.route !== null ? 'trazum route <log> --prompt-file <prompt> --cases <cases>' : null,
+            detail: {
+                ...(slice.route !== null ? { routeTo: slice.route.candidate } : {}),
+                baseline: baselineOf(slice.label, slice.model),
+            },
+        });
+    }
+    for (const row of report.truncationRetries) {
+        actions.push({
+            kind: 'fix-truncation',
+            label: row.label,
+            model: row.model,
+            savingUsd: null,
+            stakeUsd: row.wastedUsd + row.retryUsd,
+            assumes: [{ kind: 'retry-pattern-real' }, { kind: 'max-tokens-fits' }],
+            check: null,
+            detail: {
+                measured: {
+                    wastedUsd: row.wastedUsd,
+                    retryUsd: row.retryUsd,
+                    retried: row.retried,
+                    truncatedCalls: row.truncatedCalls,
+                },
+                baseline: baselineOf(row.label, row.model),
+            },
+        });
+    }
+    for (const slice of report.byLabelAndModel) {
+        const economics = cacheEconomics(slice.breakdown);
+        // Only a settled loss becomes an action: an unsettled verdict is a
+        // missing field, and "add the field" is the report's advice, not a plan's.
+        if (economics.verdict !== 'lost-money' || economics.worstCaseVerdict !== economics.verdict)
+            continue;
+        actions.push({
+            kind: 'fix-caching',
+            label: slice.label,
+            model: slice.model,
+            savingUsd: null,
+            stakeUsd: economics.deltaUsd,
+            assumes: [{ kind: 'traffic-pattern-holds' }],
+            check: null,
+            detail: {
+                measured: {
+                    spentUsd: economics.spentUsd,
+                    withoutCachingUsd: economics.withoutCachingUsd,
+                },
+                baseline: baselineOf(slice.label, slice.model),
+            },
+        });
+    }
+    actions.sort((a, b) => (b.savingUsd ?? b.stakeUsd ?? 0) - (a.savingUsd ?? a.stakeUsd ?? 0));
+    return {
+        schemaVersion: 1,
+        span: report.span === null ? null : { fromMs: report.span.fromMs, toMs: report.span.toMs },
+        pricingLastReviewed,
+        actions,
+        projectedSavingUsd: actions.reduce((sum, a) => sum + (a.savingUsd ?? 0), 0),
+        measuredStakeUsd: actions.reduce((sum, a) => sum + (a.stakeUsd ?? 0), 0),
+        totalUsd: report.total.totalUsd,
+    };
+}
+/** Renders `UNLABELLED` for humans without leaking the sentinel. */
+export function planLabelName(label, unlabelled) {
+    return label === UNLABELLED ? unlabelled : label;
+}
+//# sourceMappingURL=plan.js.map

package/dist/plan.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"plan.js","sourceRoot":"","sources":["../src/plan.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AAEH,OAAO,EAAE,UAAU,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AAkFxD;;;;;;;GAOG;AACH,MAAM,UAAU,SAAS,CACvB,MAA0B,EAC1B,MAAkB,EAClB,mBAA2B;IAE3B,MAAM,OAAO,GAAiB,EAAE,CAAC;IAEjC,6EAA6E;IAC7E,MAAM,UAAU,GAAG,CAAC,KAAa,EAAE,KAAa,EAAE,EAAE;QAClD,MAAM,KAAK,GAAG,MAAM,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,KAAK,IAAI,CAAC,CAAC,KAAK,KAAK,KAAK,CAAC,CAAC;QACzF,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,SAAS,CAAC,KAAK,KAAK,CAAC;YAAE,OAAO,SAAS,CAAC;QACzE,MAAM,CAAC,GAAG,KAAK,CAAC,SAAS,CAAC;QAC1B,OAAO;YACL,KAAK,EAAE,CAAC,CAAC,KAAK;YACd,GAAG,EAAE,CAAC,CAAC,QAAQ;YACf,kBAAkB,EAAE,CAAC,CAAC,CAAC,WAAW,GAAG,CAAC,CAAC,eAAe,GAAG,CAAC,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC,KAAK;YACtF,mBAAmB,EAAE,CAAC,CAAC,YAAY,GAAG,CAAC,CAAC,KAAK;SAC9C,CAAC;IACJ,CAAC,CAAC;IAEF,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;QAClC,MAAM,OAAO,GAAqB,EAAE,CAAC;QACrC,IAAI,IAAoB,CAAC;QACzB,IAAI,KAAK,CAAC,KAAK,KAAK,IAAI,IAAI,KAAK,CAAC,KAAK,KAAK,IAAI,EAAE,CAAC;YACjD,IAAI,GAAG,aAAa,CAAC;YACrB,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,kBAAkB,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,SAAS,CAAC,WAAW,EAAE,CAAC,CAAC;YACrF,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,CAAC,CAAC;QACzC,CAAC;aAAM,IAAI,KAAK,CAAC,KAAK,KAAK,IAAI,EAAE,CAAC;YAChC,IAAI,GAAG,OAAO,CAAC;YACf,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,kBAAkB,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,SAAS,CAAC,WAAW,EAAE,CAAC,CAAC;QACvF,CAAC;aAAM,IAAI,KAAK,CAAC,KAAK,KAAK,IAAI,EAAE,CAAC;YAChC,IAAI,GAAG,OAAO,CAAC;YACf,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,CAAC,CAAC;QACzC,CAAC;aAAM,CAAC;YACN,SAAS;QACX,CAAC;QACD,OAAO,CAAC,IAAI,CAAC;YACX,IAAI;YACJ,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,SAAS,EAAE,KAAK,CAAC,WAAW;YAC5B,QAAQ,EAAE,IAAI;YACd,OAAO;YACP,KAAK,EAAE,KAAK,CAAC,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,2DAA2D,CAAC,CAAC,CAAC,IAAI;YAChG,MAAM,EAAE;gBACN,GAAG,CAAC,KAAK,CAAC,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,KAAK,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBACnE,QAAQ,EAAE,UAAU,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC;aAC/C;SACF,CAAC,CAAC;IACL,CAAC;IAED,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,iBAAiB,EAAE,CAAC;QAC3C,OAAO,CAAC,IAAI,CAAC;YACX,IAAI,EAAE,gBAAgB;YACtB,KAAK,EAAE,GAAG,CAAC,KAAK;YAChB,KAAK,EAAE,GAAG,CAAC,KAAK;YAChB,SAAS,EAAE,IAAI;YACf,QAAQ,EAAE,GAAG,CAAC,SAAS,GAAG,GAAG,CAAC,QAAQ;YACtC,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,oBAAoB,EAAE,EAAE,EAAE,IAAI,EAAE,iBAAiB,EAAE,CAAC;YACtE,KAAK,EAAE,IAAI;YACX,MAAM,EAAE;gBACN,QAAQ,EAAE;oBACR,SAAS,EAAE,GAAG,CAAC,SAAS;oBACxB,QAAQ,EAAE,GAAG,CAAC,QAAQ;oBACtB,OAAO,EAAE,GAAG,CAAC,OAAO;oBACpB,cAAc,EAAE,GAAG,CAAC,cAAc;iBACnC;gBACD,QAAQ,EAAE,UAAU,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,KAAK,CAAC;aAC3C;SACF,CAAC,CAAC;IACL,CAAC;IAED,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,eAAe,EAAE,CAAC;QAC3C,MAAM,SAAS,GAAG,cAAc,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QAClD,mEAAmE;QACnE,2EAA2E;QAC3E,IAAI,SAAS,CAAC,OAAO,KAAK,YAAY,IAAI,SAAS,CAAC,gBAAgB,KAAK,SAAS,CAAC,OAAO;YAAE,SAAS;QACrG,OAAO,CAAC,IAAI,CAAC;YACX,IAAI,EAAE,aAAa;YACnB,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,SAAS,EAAE,IAAI;YACf,QAAQ,EAAE,SAAS,CAAC,QAAQ;YAC5B,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,uBAAuB,EAAE,CAAC;YAC5C,KAAK,EAAE,IAAI;YACX,MAAM,EAAE;gBACN,QAAQ,EAAE;oBACR,QAAQ,EAAE,SAAS,CAAC,QAAQ;oBAC5B,iBAAiB,EAAE,SAAS,CAAC,iBAAiB;iBAC/C;gBACD,QAAQ,EAAE,UAAU,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC;aAC/C;SACF,CAAC,CAAC;IACL,CAAC;IAED,OAAO,CAAC,IAAI,CACV,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,IAAI,CAAC,CAAC,QAAQ,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,IAAI,CAAC,CAAC,QAAQ,IAAI,CAAC,CAAC,CAC9E,CAAC;IAEF,OAAO;QACL,aAAa,EAAE,CAAC;QAChB,IAAI,EAAE,MAAM,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE;QAC1F,mBAAmB;QACnB,OAAO;QACP,kBAAkB,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,SAAS,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC;QAC3E,gBAAgB,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,QAAQ,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC;QACxE,QAAQ,EAAE,MAAM,CAAC,KAAK,CAAC,QAAQ;KAChC,CAAC;AACJ,CAAC;AAED,oEAAoE;AACpE,MAAM,UAAU,aAAa,CAAC,KAAa,EAAE,UAAkB;IAC7D,OAAO,KAAK,KAAK,UAAU,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,KAAK,CAAC;AACnD,CAAC"}

package/dist/verify.d.ts

@@ -0,0 +1,92 @@
+/**
+ * Did it work? — the plan held to the log that came after it.
+ *
+ * Every optimisation tool says what you *would* save; almost none says what
+ * you *did*. This module takes a saved plan and a newer report and answers
+ * per action, with **three outcomes and never two**: the change arrived, the
+ * change did not arrive, or *it cannot be told* — because the workload
+ * vanished, the fields the detection needs stopped being recorded, or the
+ * log simply cannot see the thing (tokens do not say which tier billed
+ * them). The third outcome is the honest one, and the one every other tool
+ * renders as the first.
+ *
+ * **Differences are attributed, not just stated.** A predicted saving that
+ * did not appear in the bill is decomposed against the plan's recorded
+ * baseline: the calls moved, the output per call moved, the input per call
+ * moved — measured ratios with names, never a single number that blames
+ * nobody. And a plan priced under one catalogue verified under another says
+ * so: the tool must not blame a team for a saving that arithmetic revoked.
+ *
+ * Browser-safe like everything here: two documents in, one verdict out.
+ */
+import type { UsageProfileReport } from './usage.js';
+import type { PlanAction, PlanDocument } from './plan.js';
+export type VerifyOutcome = 'arrived' | 'not-arrived' | 'cannot-tell';
+/**
+ * Why an action cannot be told. The distinction matters to the gate: a
+ * workload that vanished is the world's doing; a log that stopped recording
+ * the fields the detection needs is the team's, and "not recorded" must not
+ * read as "fixed".
+ */
+export type CannotTellReason = 'workload-vanished' | 'fields-stopped' | 'tier-not-recorded';
+export interface VerifiedAction {
+    /** The plan's action, verbatim — the prediction being judged. */
+    action: PlanAction;
+    outcome: VerifyOutcome;
+    reason: CannotTellReason | null;
+    /**
+     * What the newer log measured for this slice, per kind: where the money
+     * sits now, the new retry bill, the new cache delta. Keys are stable.
+     */
+    observed: Record<string, number | string | null>;
+    /**
+     * The world's movement between the two logs, from the plan's recorded
+     * baseline: never a verdict, always the measured before and after.
+     */
+    attribution: {
+        calls?: {
+            before: number;
+            after: number;
+        };
+        inputPerCallTokens?: {
+            before: number;
+            after: number;
+        };
+        outputPerCallTokens?: {
+            before: number;
+            after: number;
+        };
+    } | null;
+    /**
+     * Whether this action fails `--gate`. `not-arrived` always does;
+     * `cannot-tell` does only for `fields-stopped` — a team that degraded its
+     * own log must not pass the gate on the strength of the silence. A
+     * vanished workload and an unrecordable tier fail nothing.
+     */
+    gateFailing: boolean;
+}
+export interface PlanVerification {
+    schemaVersion: 1;
+    /** When the plan was made, when it carries the stamp. */
+    planCreatedAt: string | null;
+    /** The catalogue that priced the plan, and the one pricing this check. */
+    planPricing: string;
+    currentPricing: string;
+    /**
+     * True when those differ: every dollar comparison here is then two
+     * measurements under two price lists, and the rendering must say so
+     * rather than let a repricing read as a team's failure.
+     */
+    pricesChanged: boolean;
+    actions: VerifiedAction[];
+    arrived: number;
+    notArrived: number;
+    cannotTell: number;
+    gateFailures: number;
+}
+export declare function verifyPlan(plan: PlanDocument & {
+    createdAt?: string;
+}, report: UsageProfileReport, options: {
+    currentPricingLastReviewed: string;
+}): PlanVerification;
+//# sourceMappingURL=verify.d.ts.map

package/dist/verify.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"verify.d.ts","sourceRoot":"","sources":["../src/verify.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAGH,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,YAAY,CAAC;AACrD,OAAO,KAAK,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,WAAW,CAAC;AAE1D,MAAM,MAAM,aAAa,GAAG,SAAS,GAAG,aAAa,GAAG,aAAa,CAAC;AAEtE;;;;;GAKG;AACH,MAAM,MAAM,gBAAgB,GAAG,mBAAmB,GAAG,gBAAgB,GAAG,mBAAmB,CAAC;AAE5F,MAAM,WAAW,cAAc;IAC7B,iEAAiE;IACjE,MAAM,EAAE,UAAU,CAAC;IACnB,OAAO,EAAE,aAAa,CAAC;IACvB,MAAM,EAAE,gBAAgB,GAAG,IAAI,CAAC;IAChC;;;OAGG;IACH,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAAC,CAAC;IACjD;;;OAGG;IACH,WAAW,EAAE;QACX,KAAK,CAAC,EAAE;YAAE,MAAM,EAAE,MAAM,CAAC;YAAC,KAAK,EAAE,MAAM,CAAA;SAAE,CAAC;QAC1C,kBAAkB,CAAC,EAAE;YAAE,MAAM,EAAE,MAAM,CAAC;YAAC,KAAK,EAAE,MAAM,CAAA;SAAE,CAAC;QACvD,mBAAmB,CAAC,EAAE;YAAE,MAAM,EAAE,MAAM,CAAC;YAAC,KAAK,EAAE,MAAM,CAAA;SAAE,CAAC;KACzD,GAAG,IAAI,CAAC;IACT;;;;;OAKG;IACH,WAAW,EAAE,OAAO,CAAC;CACtB;AAED,MAAM,WAAW,gBAAgB;IAC/B,aAAa,EAAE,CAAC,CAAC;IACjB,yDAAyD;IACzD,aAAa,EAAE,MAAM,GAAG,IAAI,CAAC;IAC7B,0EAA0E;IAC1E,WAAW,EAAE,MAAM,CAAC;IACpB,cAAc,EAAE,MAAM,CAAC;IACvB;;;;OAIG;IACH,aAAa,EAAE,OAAO,CAAC;IACvB,OAAO,EAAE,cAAc,EAAE,CAAC;IAC1B,OAAO,EAAE,MAAM,CAAC;IAChB,UAAU,EAAE,MAAM,CAAC;IACnB,UAAU,EAAE,MAAM,CAAC;IACnB,YAAY,EAAE,MAAM,CAAC;CACtB;AA+BD,wBAAgB,UAAU,CACxB,IAAI,EAAE,YAAY,GAAG;IAAE,SAAS,CAAC,EAAE,MAAM,CAAA;CAAE,EAC3C,MAAM,EAAE,kBAAkB,EAC1B,OAAO,EAAE;IAAE,0BAA0B,EAAE,MAAM,CAAA;CAAE,GAC9C,gBAAgB,CA4JlB"}

package/dist/verify.js

@@ -0,0 +1,193 @@
+/**
+ * Did it work? — the plan held to the log that came after it.
+ *
+ * Every optimisation tool says what you *would* save; almost none says what
+ * you *did*. This module takes a saved plan and a newer report and answers
+ * per action, with **three outcomes and never two**: the change arrived, the
+ * change did not arrive, or *it cannot be told* — because the workload
+ * vanished, the fields the detection needs stopped being recorded, or the
+ * log simply cannot see the thing (tokens do not say which tier billed
+ * them). The third outcome is the honest one, and the one every other tool
+ * renders as the first.
+ *
+ * **Differences are attributed, not just stated.** A predicted saving that
+ * did not appear in the bill is decomposed against the plan's recorded
+ * baseline: the calls moved, the output per call moved, the input per call
+ * moved — measured ratios with names, never a single number that blames
+ * nobody. And a plan priced under one catalogue verified under another says
+ * so: the tool must not blame a team for a saving that arithmetic revoked.
+ *
+ * Browser-safe like everything here: two documents in, one verdict out.
+ */
+import { cacheEconomics } from './usage.js';
+/** Newer-log slices for one label, dearest first. */
+function slicesForLabel(report, label) {
+    return report.byLabelAndModel
+        .filter((s) => s.label === label && s.breakdown.calls > 0)
+        .sort((a, b) => b.breakdown.totalUsd - a.breakdown.totalUsd);
+}
+function attributionFrom(action, after) {
+    const before = action.detail.baseline;
+    if (before === undefined || after === null)
+        return null;
+    return {
+        calls: { before: before.calls, after: after.calls },
+        inputPerCallTokens: { before: before.inputPerCallTokens, after: after.inputPerCallTokens },
+        outputPerCallTokens: { before: before.outputPerCallTokens, after: after.outputPerCallTokens },
+    };
+}
+function perCall(breakdown) {
+    return {
+        calls: breakdown.calls,
+        inputPerCallTokens: (breakdown.inputTokens + breakdown.cacheReadTokens + breakdown.cacheWriteTokens) / breakdown.calls,
+        outputPerCallTokens: breakdown.outputTokens / breakdown.calls,
+    };
+}
+export function verifyPlan(plan, report, options) {
+    const actions = [];
+    for (const action of plan.actions) {
+        const slices = slicesForLabel(report, action.label);
+        const total = slices.reduce((sum, s) => sum + s.breakdown.totalUsd, 0);
+        const allCalls = slices.reduce((sum, s) => sum + s.breakdown.calls, 0);
+        /** The label carries no priced traffic any more: nothing can be told. */
+        if (slices.length === 0) {
+            actions.push({
+                action,
+                outcome: 'cannot-tell',
+                reason: 'workload-vanished',
+                observed: {},
+                attribution: null,
+                gateFailing: false,
+            });
+            continue;
+        }
+        if (action.kind === 'route' || action.kind === 'route+batch') {
+            const target = action.detail.routeTo;
+            const dearest = slices[0];
+            const onTarget = slices.find((s) => s.model === target.id);
+            const stillOnOld = slices.find((s) => s.model === action.model);
+            const moved = dearest.model === target.id;
+            const after = perCall(moved ? dearest.breakdown : (stillOnOld ?? dearest).breakdown);
+            actions.push({
+                action,
+                outcome: moved ? 'arrived' : 'not-arrived',
+                reason: null,
+                observed: {
+                    dearestModel: dearest.model,
+                    onTargetUsd: onTarget?.breakdown.totalUsd ?? 0,
+                    onOldModelUsd: stillOnOld?.breakdown.totalUsd ?? 0,
+                    labelUsd: total,
+                    labelCalls: allCalls,
+                    // The batch half of route+batch cannot be seen in token counts;
+                    // the rendering names it instead of counting it as arrived.
+                    ...(action.kind === 'route+batch' ? { batchObservable: 0 } : {}),
+                },
+                attribution: attributionFrom(action, after),
+                gateFailing: !moved,
+            });
+            continue;
+        }
+        if (action.kind === 'batch') {
+            // Tokens do not say which tier billed them. Not the team's silence,
+            // so it cannot fail the gate — but it is said, never assumed arrived.
+            actions.push({
+                action,
+                outcome: 'cannot-tell',
+                reason: 'tier-not-recorded',
+                observed: { labelUsd: total, labelCalls: allCalls },
+                attribution: null,
+                gateFailing: false,
+            });
+            continue;
+        }
+        const slice = slices.find((s) => s.model === action.model);
+        if (action.kind === 'fix-truncation') {
+            // The detection needs sessions and timestamps; a log that dropped them
+            // reads as "no retries" for the wrong reason, and that must not pass.
+            if (!report.hasSessions || report.span === null) {
+                actions.push({
+                    action,
+                    outcome: 'cannot-tell',
+                    reason: 'fields-stopped',
+                    observed: {},
+                    attribution: attributionFrom(action, slice ? perCall(slice.breakdown) : null),
+                    gateFailing: true,
+                });
+                continue;
+            }
+            const row = report.truncationRetries.find((r) => r.label === action.label && r.model === action.model);
+            const newStake = row === undefined ? 0 : row.wastedUsd + row.retryUsd;
+            actions.push({
+                action,
+                outcome: row === undefined ? 'arrived' : 'not-arrived',
+                reason: null,
+                observed: {
+                    retryBillUsd: newStake,
+                    retried: row?.retried ?? 0,
+                    truncatedCalls: row?.truncatedCalls ?? 0,
+                },
+                attribution: attributionFrom(action, slice ? perCall(slice.breakdown) : null),
+                gateFailing: row !== undefined,
+            });
+            continue;
+        }
+        // fix-caching.
+        if (slice === undefined) {
+            actions.push({
+                action,
+                outcome: 'cannot-tell',
+                reason: 'workload-vanished',
+                observed: {},
+                attribution: null,
+                gateFailing: false,
+            });
+            continue;
+        }
+        const economics = cacheEconomics(slice.breakdown);
+        if (economics.verdict === 'lost-money' && economics.worstCaseVerdict === economics.verdict) {
+            actions.push({
+                action,
+                outcome: 'not-arrived',
+                reason: null,
+                observed: { deltaUsd: economics.deltaUsd, spentUsd: economics.spentUsd },
+                attribution: attributionFrom(action, perCall(slice.breakdown)),
+                gateFailing: true,
+            });
+        }
+        else if (economics.worstCaseVerdict !== economics.verdict) {
+            // The verdict cannot settle on this log: the fields that would settle
+            // it are not there, and an unverifiable fix is not a verified one.
+            actions.push({
+                action,
+                outcome: 'cannot-tell',
+                reason: 'fields-stopped',
+                observed: {},
+                attribution: attributionFrom(action, perCall(slice.breakdown)),
+                gateFailing: true,
+            });
+        }
+        else {
+            actions.push({
+                action,
+                outcome: 'arrived',
+                reason: null,
+                observed: { deltaUsd: economics.deltaUsd, spentUsd: economics.spentUsd },
+                attribution: attributionFrom(action, perCall(slice.breakdown)),
+                gateFailing: false,
+            });
+        }
+    }
+    return {
+        schemaVersion: 1,
+        planCreatedAt: plan.createdAt ?? null,
+        planPricing: plan.pricingLastReviewed,
+        currentPricing: options.currentPricingLastReviewed,
+        pricesChanged: plan.pricingLastReviewed !== options.currentPricingLastReviewed,
+        actions,
+        arrived: actions.filter((a) => a.outcome === 'arrived').length,
+        notArrived: actions.filter((a) => a.outcome === 'not-arrived').length,
+        cannotTell: actions.filter((a) => a.outcome === 'cannot-tell').length,
+        gateFailures: actions.filter((a) => a.gateFailing).length,
+    };
+}
+//# sourceMappingURL=verify.js.map

package/dist/verify.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"verify.js","sourceRoot":"","sources":["../src/verify.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAEH,OAAO,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AA8D5C,qDAAqD;AACrD,SAAS,cAAc,CAAC,MAA0B,EAAE,KAAa;IAC/D,OAAO,MAAM,CAAC,eAAe;SAC1B,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,KAAK,IAAI,CAAC,CAAC,SAAS,CAAC,KAAK,GAAG,CAAC,CAAC;SACzD,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,QAAQ,GAAG,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;AACjE,CAAC;AAED,SAAS,eAAe,CACtB,MAAkB,EAClB,KAAwF;IAExF,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC;IACtC,IAAI,MAAM,KAAK,SAAS,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IACxD,OAAO;QACL,KAAK,EAAE,EAAE,MAAM,EAAE,MAAM,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE;QACnD,kBAAkB,EAAE,EAAE,MAAM,EAAE,MAAM,CAAC,kBAAkB,EAAE,KAAK,EAAE,KAAK,CAAC,kBAAkB,EAAE;QAC1F,mBAAmB,EAAE,EAAE,MAAM,EAAE,MAAM,CAAC,mBAAmB,EAAE,KAAK,EAAE,KAAK,CAAC,mBAAmB,EAAE;KAC9F,CAAC;AACJ,CAAC;AAED,SAAS,OAAO,CAAC,SAA0H;IACzI,OAAO;QACL,KAAK,EAAE,SAAS,CAAC,KAAK;QACtB,kBAAkB,EAChB,CAAC,SAAS,CAAC,WAAW,GAAG,SAAS,CAAC,eAAe,GAAG,SAAS,CAAC,gBAAgB,CAAC,GAAG,SAAS,CAAC,KAAK;QACpG,mBAAmB,EAAE,SAAS,CAAC,YAAY,GAAG,SAAS,CAAC,KAAK;KAC9D,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,UAAU,CACxB,IAA2C,EAC3C,MAA0B,EAC1B,OAA+C;IAE/C,MAAM,OAAO,GAAqB,EAAE,CAAC;IAErC,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;QAClC,MAAM,MAAM,GAAG,cAAc,CAAC,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;QACpD,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,CAAC,SAAS,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC;QACvE,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,CAAC,SAAS,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;QAEvE,yEAAyE;QACzE,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACxB,OAAO,CAAC,IAAI,CAAC;gBACX,MAAM;gBACN,OAAO,EAAE,aAAa;gBACtB,MAAM,EAAE,mBAAmB;gBAC3B,QAAQ,EAAE,EAAE;gBACZ,WAAW,EAAE,IAAI;gBACjB,WAAW,EAAE,KAAK;aACnB,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QAED,IAAI,MAAM,CAAC,IAAI,KAAK,OAAO,IAAI,MAAM,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;YAC7D,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,OAAQ,CAAC;YACtC,MAAM,OAAO,GAAG,MAAM,CAAC,CAAC,CAAE,CAAC;YAC3B,MAAM,QAAQ,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,MAAM,CAAC,EAAE,CAAC,CAAC;YAC3D,MAAM,UAAU,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,MAAM,CAAC,KAAK,CAAC,CAAC;YAChE,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,KAAK,MAAM,CAAC,EAAE,CAAC;YAC1C,MAAM,KAAK,GAAG,OAAO,CACnB,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,UAAU,IAAI,OAAO,CAAC,CAAC,SAAS,CAC9D,CAAC;YACF,OAAO,CAAC,IAAI,CAAC;gBACX,MAAM;gBACN,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,aAAa;gBAC1C,MAAM,EAAE,IAAI;gBACZ,QAAQ,EAAE;oBACR,YAAY,EAAE,OAAO,CAAC,KAAK;oBAC3B,WAAW,EAAE,QAAQ,EAAE,SAAS,CAAC,QAAQ,IAAI,CAAC;oBAC9C,aAAa,EAAE,UAAU,EAAE,SAAS,CAAC,QAAQ,IAAI,CAAC;oBAClD,QAAQ,EAAE,KAAK;oBACf,UAAU,EAAE,QAAQ;oBACpB,gEAAgE;oBAChE,4DAA4D;oBAC5D,GAAG,CAAC,MAAM,CAAC,IAAI,KAAK,aAAa,CAAC,CAAC,CAAC,EAAE,eAAe,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;iBACjE;gBACD,WAAW,EAAE,eAAe,CAAC,MAAM,EAAE,KAAK,CAAC;gBAC3C,WAAW,EAAE,CAAC,KAAK;aACpB,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QAED,IAAI,MAAM,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YAC5B,oEAAoE;YACpE,sEAAsE;YACtE,OAAO,CAAC,IAAI,CAAC;gBACX,MAAM;gBACN,OAAO,EAAE,aAAa;gBACtB,MAAM,EAAE,mBAAmB;gBAC3B,QAAQ,EAAE,EAAE,QAAQ,EAAE,KAAK,EAAE,UAAU,EAAE,QAAQ,EAAE;gBACnD,WAAW,EAAE,IAAI;gBACjB,WAAW,EAAE,KAAK;aACnB,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QAED,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,MAAM,CAAC,KAAK,CAAC,CAAC;QAE3D,IAAI,MAAM,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;YACrC,uEAAuE;YACvE,sEAAsE;YACtE,IAAI,CAAC,MAAM,CAAC,WAAW,IAAI,MAAM,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;gBAChD,OAAO,CAAC,IAAI,CAAC;oBACX,MAAM;oBACN,OAAO,EAAE,aAAa;oBACtB,MAAM,EAAE,gBAAgB;oBACxB,QAAQ,EAAE,EAAE;oBACZ,WAAW,EAAE,eAAe,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;oBAC7E,WAAW,EAAE,IAAI;iBAClB,CAAC,CAAC;gBACH,SAAS;YACX,CAAC;YACD,MAAM,GAAG,GAAG,MAAM,CAAC,iBAAiB,CAAC,IAAI,CACvC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,MAAM,CAAC,KAAK,IAAI,CAAC,CAAC,KAAK,KAAK,MAAM,CAAC,KAAK,CAC5D,CAAC;YACF,MAAM,QAAQ,GAAG,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,SAAS,GAAG,GAAG,CAAC,QAAQ,CAAC;YACtE,OAAO,CAAC,IAAI,CAAC;gBACX,MAAM;gBACN,OAAO,EAAE,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,aAAa;gBACtD,MAAM,EAAE,IAAI;gBACZ,QAAQ,EAAE;oBACR,YAAY,EAAE,QAAQ;oBACtB,OAAO,EAAE,GAAG,EAAE,OAAO,IAAI,CAAC;oBAC1B,cAAc,EAAE,GAAG,EAAE,cAAc,IAAI,CAAC;iBACzC;gBACD,WAAW,EAAE,eAAe,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;gBAC7E,WAAW,EAAE,GAAG,KAAK,SAAS;aAC/B,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QAED,eAAe;QACf,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACxB,OAAO,CAAC,IAAI,CAAC;gBACX,MAAM;gBACN,OAAO,EAAE,aAAa;gBACtB,MAAM,EAAE,mBAAmB;gBAC3B,QAAQ,EAAE,EAAE;gBACZ,WAAW,EAAE,IAAI;gBACjB,WAAW,EAAE,KAAK;aACnB,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QACD,MAAM,SAAS,GAAG,cAAc,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QAClD,IAAI,SAAS,CAAC,OAAO,KAAK,YAAY,IAAI,SAAS,CAAC,gBAAgB,KAAK,SAAS,CAAC,OAAO,EAAE,CAAC;YAC3F,OAAO,CAAC,IAAI,CAAC;gBACX,MAAM;gBACN,OAAO,EAAE,aAAa;gBACtB,MAAM,EAAE,IAAI;gBACZ,QAAQ,EAAE,EAAE,QAAQ,EAAE,SAAS,CAAC,QAAQ,EAAE,QAAQ,EAAE,SAAS,CAAC,QAAQ,EAAE;gBACxE,WAAW,EAAE,eAAe,CAAC,MAAM,EAAE,OAAO,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;gBAC9D,WAAW,EAAE,IAAI;aAClB,CAAC,CAAC;QACL,CAAC;aAAM,IAAI,SAAS,CAAC,gBAAgB,KAAK,SAAS,CAAC,OAAO,EAAE,CAAC;YAC5D,sEAAsE;YACtE,mEAAmE;YACnE,OAAO,CAAC,IAAI,CAAC;gBACX,MAAM;gBACN,OAAO,EAAE,aAAa;gBACtB,MAAM,EAAE,gBAAgB;gBACxB,QAAQ,EAAE,EAAE;gBACZ,WAAW,EAAE,eAAe,CAAC,MAAM,EAAE,OAAO,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;gBAC9D,WAAW,EAAE,IAAI;aAClB,CAAC,CAAC;QACL,CAAC;aAAM,CAAC;YACN,OAAO,CAAC,IAAI,CAAC;gBACX,MAAM;gBACN,OAAO,EAAE,SAAS;gBAClB,MAAM,EAAE,IAAI;gBACZ,QAAQ,EAAE,EAAE,QAAQ,EAAE,SAAS,CAAC,QAAQ,EAAE,QAAQ,EAAE,SAAS,CAAC,QAAQ,EAAE;gBACxE,WAAW,EAAE,eAAe,CAAC,MAAM,EAAE,OAAO,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;gBAC9D,WAAW,EAAE,KAAK;aACnB,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,OAAO;QACL,aAAa,EAAE,CAAC;QAChB,aAAa,EAAE,IAAI,CAAC,SAAS,IAAI,IAAI;QACrC,WAAW,EAAE,IAAI,CAAC,mBAAmB;QACrC,cAAc,EAAE,OAAO,CAAC,0BAA0B;QAClD,aAAa,EAAE,IAAI,CAAC,mBAAmB,KAAK,OAAO,CAAC,0BAA0B;QAC9E,OAAO;QACP,OAAO,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,MAAM;QAC9D,UAAU,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,aAAa,CAAC,CAAC,MAAM;QACrE,UAAU,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,aAAa,CAAC,CAAC,MAAM;QACrE,YAAY,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,MAAM;KAC1D,CAAC;AACJ,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@trazum/core",
-  "version": "1.37.0",
+  "version": "1.39.0",
   "description": "Trazum core: priced advisories for LLM prompts (caching, model tier, batching, schemas), plus deterministic trimming, token counting and pricing.",
   "license": "MIT",
   "author": "David Mu\u00f1oz Rey",

package/src/index.ts

@@ -44,6 +44,10 @@ export { coverageDrift, COVERAGE_FIELDS, COVERAGE_DRIFT_MIN } from './coverage-d
 export { explainGateFailure, gateMargin, GATE_MARGIN_TIGHT } from './gate-explain.js';
 export { measuredUsage, labelCoverage, MIN_SCALE_DAYS, SCALE_TO_DAYS } from './measured-profile.js';
 export { assignSources, fleetRollup } from './fleet.js';
+export { buildPlan, planLabelName } from './plan.js';
+export type { PlanAction, PlanActionKind, PlanAssumption, PlanDocument } from './plan.js';
+export { verifyPlan } from './verify.js';
+export type { CannotTellReason, PlanVerification, VerifiedAction, VerifyOutcome } from './verify.js';
 export type { FleetSource, FleetRollup } from './fleet.js';
 export type { MeasuredUsage, LabelCoverage } from './measured-profile.js';
 export type { GateExplanation } from './gate-explain.js';

package/src/plan.ts

@@ -0,0 +1,232 @@
+/**
+ * Not a list of findings — a ranked, costed, non-additive plan of what to do.
+ *
+ * The report names findings; a person then decides what to do first by doing
+ * arithmetic in their head, and head-arithmetic on savings gets done by
+ * *adding* them — which the levers module has documented as wrong since it
+ * shipped ($12.60 plus $10.50 against a $21.00 slice). This module does the
+ * composition once, correctly, and attaches to every action the things the
+ * log cannot confirm, because a plan that hides its assumptions is advice
+ * pretending to be arithmetic.
+ *
+ * **Everything here is derived from figures the report already computed.**
+ * Route and batch come from `billLevers` (combined, never summed). The
+ * truncation action's stake is the retry bill `truncationRetries` measured.
+ * The cache action's stake is `cacheEconomics`' own delta. Nothing is
+ * invented, and each action carries how to check the part that is not
+ * arithmetic.
+ *
+ * **The total is stated honestly.** Actions on *different* slices add
+ * cleanly; the one composition that does not add — route and batch on the
+ * same slice — arrives already combined inside a single action, so the
+ * plan's total is a sum of non-overlapping figures by construction. Measured
+ * stakes (money already spent on retries, money already lost to caching) are
+ * totalled separately from projected savings: "what you would save" and
+ * "what you already paid" are different columns, and merging them makes a
+ * number that is neither.
+ */
+
+import { UNLABELLED, cacheEconomics } from './usage.js';
+import type { UsageProfileReport } from './usage.js';
+import type { BillLevers } from './levers.js';
+
+export type PlanActionKind = 'route' | 'batch' | 'route+batch' | 'fix-truncation' | 'fix-caching';
+
+/**
+ * What the log cannot confirm, as data rather than prose.
+ *
+ * Rendering lives with whoever renders — the CLI localizes these, and 1.39's
+ * verification can match them structurally. An English sentence baked in here
+ * would be a browser-safe module deciding the reader's language.
+ */
+export type PlanAssumption =
+  /** The cheaper model can actually do this work — quality, not arithmetic. */
+  | { kind: 'model-capability'; model: string }
+  /** These calls tolerate a batch window's latency. */
+  | { kind: 'batch-window' }
+  /** The truncation-retry pairing is real — the log sees shapes, not content. */
+  | { kind: 'retry-pattern-real' }
+  /** A max_tokens the answers fit inside removes the retry pair. */
+  | { kind: 'max-tokens-fits' }
+  /** The traffic pattern holds — a cache underwater on this log may pay on other traffic. */
+  | { kind: 'traffic-pattern-holds' };
+
+export interface PlanAction {
+  kind: PlanActionKind;
+  /** The workload this acts on. `UNLABELLED` renders as the unlabelled bucket. */
+  label: string;
+  model: string;
+  /**
+   * Projected saving per the log's own period, for route/batch — or null for
+   * the measured-stake actions, whose money is in `stakeUsd` instead. Never
+   * both: a projection and a measurement in one field is a number that is
+   * neither.
+   */
+  savingUsd: number | null;
+  /**
+   * Money already measured against this problem — the retry bill, the cache
+   * loss. Null for the projected actions.
+   */
+  stakeUsd: number | null;
+  /** What the log cannot confirm. Every entry is a human's question to answer. */
+  assumes: PlanAssumption[];
+  /** How to check the assumption, when a Trazum command can. */
+  check: string | null;
+  /** What this action does, in one machine-stable keyword per detail. */
+  detail: {
+    /** Route target, when the action moves the calls. */
+    routeTo?: { id: string; displayName: string };
+    /** The measured pieces behind a stake. */
+    measured?: Record<string, number>;
+    /**
+     * The slice as it was when the plan was made — what a later verification
+     * compares the newer log against. Without this the plan is a prediction
+     * with no record of the world it was made in, and "calls doubled" could
+     * never be told from "the prediction was wrong".
+     */
+    baseline?: { calls: number; usd: number; inputPerCallTokens: number; outputPerCallTokens: number };
+  };
+}
+
+export interface PlanDocument {
+  /** Same contract discipline as the profile JSON. */
+  schemaVersion: 1;
+  /** The period the plan's figures cover, or null when the log had no clock. */
+  span: { fromMs: number; toMs: number } | null;
+  /** The price table behind every dollar here. */
+  pricingLastReviewed: string;
+  /** Ranked: largest money first, projected or staked alike. */
+  actions: PlanAction[];
+  /**
+   * Projected savings summed — additive by construction, because same-slice
+   * compositions arrive pre-combined in one action.
+   */
+  projectedSavingUsd: number;
+  /** Measured stakes summed: money already paid to problems this plan names. */
+  measuredStakeUsd: number;
+  /** The bill the plan was made against. */
+  totalUsd: number;
+}
+
+/**
+ * Builds the plan from a report and its levers.
+ *
+ * `pricingLastReviewed` is passed in rather than imported so the plan records
+ * the catalogue that actually priced it — an overlay's date when one was in
+ * effect, which 1.39's verification needs to tell "the prediction was wrong"
+ * from "the prices changed".
+ */
+export function buildPlan(
+  report: UsageProfileReport,
+  levers: BillLevers,
+  pricingLastReviewed: string,
+): PlanDocument {
+  const actions: PlanAction[] = [];
+
+  /** The slice as the plan saw it, recorded so verification has a "before". */
+  const baselineOf = (label: string, model: string) => {
+    const slice = report.byLabelAndModel.find((s) => s.label === label && s.model === model);
+    if (slice === undefined || slice.breakdown.calls === 0) return undefined;
+    const b = slice.breakdown;
+    return {
+      calls: b.calls,
+      usd: b.totalUsd,
+      inputPerCallTokens: (b.inputTokens + b.cacheReadTokens + b.cacheWriteTokens) / b.calls,
+      outputPerCallTokens: b.outputTokens / b.calls,
+    };
+  };
+
+  for (const slice of levers.slices) {
+    const assumes: PlanAssumption[] = [];
+    let kind: PlanActionKind;
+    if (slice.route !== null && slice.batch !== null) {
+      kind = 'route+batch';
+      assumes.push({ kind: 'model-capability', model: slice.route.candidate.displayName });
+      assumes.push({ kind: 'batch-window' });
+    } else if (slice.route !== null) {
+      kind = 'route';
+      assumes.push({ kind: 'model-capability', model: slice.route.candidate.displayName });
+    } else if (slice.batch !== null) {
+      kind = 'batch';
+      assumes.push({ kind: 'batch-window' });
+    } else {
+      continue;
+    }
+    actions.push({
+      kind,
+      label: slice.label,
+      model: slice.model,
+      savingUsd: slice.combinedUsd,
+      stakeUsd: null,
+      assumes,
+      check: slice.route !== null ? 'trazum route <log> --prompt-file <prompt> --cases <cases>' : null,
+      detail: {
+        ...(slice.route !== null ? { routeTo: slice.route.candidate } : {}),
+        baseline: baselineOf(slice.label, slice.model),
+      },
+    });
+  }
+
+  for (const row of report.truncationRetries) {
+    actions.push({
+      kind: 'fix-truncation',
+      label: row.label,
+      model: row.model,
+      savingUsd: null,
+      stakeUsd: row.wastedUsd + row.retryUsd,
+      assumes: [{ kind: 'retry-pattern-real' }, { kind: 'max-tokens-fits' }],
+      check: null,
+      detail: {
+        measured: {
+          wastedUsd: row.wastedUsd,
+          retryUsd: row.retryUsd,
+          retried: row.retried,
+          truncatedCalls: row.truncatedCalls,
+        },
+        baseline: baselineOf(row.label, row.model),
+      },
+    });
+  }
+
+  for (const slice of report.byLabelAndModel) {
+    const economics = cacheEconomics(slice.breakdown);
+    // Only a settled loss becomes an action: an unsettled verdict is a
+    // missing field, and "add the field" is the report's advice, not a plan's.
+    if (economics.verdict !== 'lost-money' || economics.worstCaseVerdict !== economics.verdict) continue;
+    actions.push({
+      kind: 'fix-caching',
+      label: slice.label,
+      model: slice.model,
+      savingUsd: null,
+      stakeUsd: economics.deltaUsd,
+      assumes: [{ kind: 'traffic-pattern-holds' }],
+      check: null,
+      detail: {
+        measured: {
+          spentUsd: economics.spentUsd,
+          withoutCachingUsd: economics.withoutCachingUsd,
+        },
+        baseline: baselineOf(slice.label, slice.model),
+      },
+    });
+  }
+
+  actions.sort(
+    (a, b) => (b.savingUsd ?? b.stakeUsd ?? 0) - (a.savingUsd ?? a.stakeUsd ?? 0),
+  );
+
+  return {
+    schemaVersion: 1,
+    span: report.span === null ? null : { fromMs: report.span.fromMs, toMs: report.span.toMs },
+    pricingLastReviewed,
+    actions,
+    projectedSavingUsd: actions.reduce((sum, a) => sum + (a.savingUsd ?? 0), 0),
+    measuredStakeUsd: actions.reduce((sum, a) => sum + (a.stakeUsd ?? 0), 0),
+    totalUsd: report.total.totalUsd,
+  };
+}
+
+/** Renders `UNLABELLED` for humans without leaking the sentinel. */
+export function planLabelName(label: string, unlabelled: string): string {
+  return label === UNLABELLED ? unlabelled : label;
+}

package/src/verify.ts

@@ -0,0 +1,274 @@
+/**
+ * Did it work? — the plan held to the log that came after it.
+ *
+ * Every optimisation tool says what you *would* save; almost none says what
+ * you *did*. This module takes a saved plan and a newer report and answers
+ * per action, with **three outcomes and never two**: the change arrived, the
+ * change did not arrive, or *it cannot be told* — because the workload
+ * vanished, the fields the detection needs stopped being recorded, or the
+ * log simply cannot see the thing (tokens do not say which tier billed
+ * them). The third outcome is the honest one, and the one every other tool
+ * renders as the first.
+ *
+ * **Differences are attributed, not just stated.** A predicted saving that
+ * did not appear in the bill is decomposed against the plan's recorded
+ * baseline: the calls moved, the output per call moved, the input per call
+ * moved — measured ratios with names, never a single number that blames
+ * nobody. And a plan priced under one catalogue verified under another says
+ * so: the tool must not blame a team for a saving that arithmetic revoked.
+ *
+ * Browser-safe like everything here: two documents in, one verdict out.
+ */
+
+import { cacheEconomics } from './usage.js';
+import type { UsageProfileReport } from './usage.js';
+import type { PlanAction, PlanDocument } from './plan.js';
+
+export type VerifyOutcome = 'arrived' | 'not-arrived' | 'cannot-tell';
+
+/**
+ * Why an action cannot be told. The distinction matters to the gate: a
+ * workload that vanished is the world's doing; a log that stopped recording
+ * the fields the detection needs is the team's, and "not recorded" must not
+ * read as "fixed".
+ */
+export type CannotTellReason = 'workload-vanished' | 'fields-stopped' | 'tier-not-recorded';
+
+export interface VerifiedAction {
+  /** The plan's action, verbatim — the prediction being judged. */
+  action: PlanAction;
+  outcome: VerifyOutcome;
+  reason: CannotTellReason | null;
+  /**
+   * What the newer log measured for this slice, per kind: where the money
+   * sits now, the new retry bill, the new cache delta. Keys are stable.
+   */
+  observed: Record<string, number | string | null>;
+  /**
+   * The world's movement between the two logs, from the plan's recorded
+   * baseline: never a verdict, always the measured before and after.
+   */
+  attribution: {
+    calls?: { before: number; after: number };
+    inputPerCallTokens?: { before: number; after: number };
+    outputPerCallTokens?: { before: number; after: number };
+  } | null;
+  /**
+   * Whether this action fails `--gate`. `not-arrived` always does;
+   * `cannot-tell` does only for `fields-stopped` — a team that degraded its
+   * own log must not pass the gate on the strength of the silence. A
+   * vanished workload and an unrecordable tier fail nothing.
+   */
+  gateFailing: boolean;
+}
+
+export interface PlanVerification {
+  schemaVersion: 1;
+  /** When the plan was made, when it carries the stamp. */
+  planCreatedAt: string | null;
+  /** The catalogue that priced the plan, and the one pricing this check. */
+  planPricing: string;
+  currentPricing: string;
+  /**
+   * True when those differ: every dollar comparison here is then two
+   * measurements under two price lists, and the rendering must say so
+   * rather than let a repricing read as a team's failure.
+   */
+  pricesChanged: boolean;
+  actions: VerifiedAction[];
+  arrived: number;
+  notArrived: number;
+  cannotTell: number;
+  gateFailures: number;
+}
+
+/** Newer-log slices for one label, dearest first. */
+function slicesForLabel(report: UsageProfileReport, label: string) {
+  return report.byLabelAndModel
+    .filter((s) => s.label === label && s.breakdown.calls > 0)
+    .sort((a, b) => b.breakdown.totalUsd - a.breakdown.totalUsd);
+}
+
+function attributionFrom(
+  action: PlanAction,
+  after: { calls: number; inputPerCallTokens: number; outputPerCallTokens: number } | null,
+): VerifiedAction['attribution'] {
+  const before = action.detail.baseline;
+  if (before === undefined || after === null) return null;
+  return {
+    calls: { before: before.calls, after: after.calls },
+    inputPerCallTokens: { before: before.inputPerCallTokens, after: after.inputPerCallTokens },
+    outputPerCallTokens: { before: before.outputPerCallTokens, after: after.outputPerCallTokens },
+  };
+}
+
+function perCall(breakdown: { calls: number; inputTokens: number; cacheReadTokens: number; cacheWriteTokens: number; outputTokens: number }) {
+  return {
+    calls: breakdown.calls,
+    inputPerCallTokens:
+      (breakdown.inputTokens + breakdown.cacheReadTokens + breakdown.cacheWriteTokens) / breakdown.calls,
+    outputPerCallTokens: breakdown.outputTokens / breakdown.calls,
+  };
+}
+
+export function verifyPlan(
+  plan: PlanDocument & { createdAt?: string },
+  report: UsageProfileReport,
+  options: { currentPricingLastReviewed: string },
+): PlanVerification {
+  const actions: VerifiedAction[] = [];
+
+  for (const action of plan.actions) {
+    const slices = slicesForLabel(report, action.label);
+    const total = slices.reduce((sum, s) => sum + s.breakdown.totalUsd, 0);
+    const allCalls = slices.reduce((sum, s) => sum + s.breakdown.calls, 0);
+
+    /** The label carries no priced traffic any more: nothing can be told. */
+    if (slices.length === 0) {
+      actions.push({
+        action,
+        outcome: 'cannot-tell',
+        reason: 'workload-vanished',
+        observed: {},
+        attribution: null,
+        gateFailing: false,
+      });
+      continue;
+    }
+
+    if (action.kind === 'route' || action.kind === 'route+batch') {
+      const target = action.detail.routeTo!;
+      const dearest = slices[0]!;
+      const onTarget = slices.find((s) => s.model === target.id);
+      const stillOnOld = slices.find((s) => s.model === action.model);
+      const moved = dearest.model === target.id;
+      const after = perCall(
+        moved ? dearest.breakdown : (stillOnOld ?? dearest).breakdown,
+      );
+      actions.push({
+        action,
+        outcome: moved ? 'arrived' : 'not-arrived',
+        reason: null,
+        observed: {
+          dearestModel: dearest.model,
+          onTargetUsd: onTarget?.breakdown.totalUsd ?? 0,
+          onOldModelUsd: stillOnOld?.breakdown.totalUsd ?? 0,
+          labelUsd: total,
+          labelCalls: allCalls,
+          // The batch half of route+batch cannot be seen in token counts;
+          // the rendering names it instead of counting it as arrived.
+          ...(action.kind === 'route+batch' ? { batchObservable: 0 } : {}),
+        },
+        attribution: attributionFrom(action, after),
+        gateFailing: !moved,
+      });
+      continue;
+    }
+
+    if (action.kind === 'batch') {
+      // Tokens do not say which tier billed them. Not the team's silence,
+      // so it cannot fail the gate — but it is said, never assumed arrived.
+      actions.push({
+        action,
+        outcome: 'cannot-tell',
+        reason: 'tier-not-recorded',
+        observed: { labelUsd: total, labelCalls: allCalls },
+        attribution: null,
+        gateFailing: false,
+      });
+      continue;
+    }
+
+    const slice = slices.find((s) => s.model === action.model);
+
+    if (action.kind === 'fix-truncation') {
+      // The detection needs sessions and timestamps; a log that dropped them
+      // reads as "no retries" for the wrong reason, and that must not pass.
+      if (!report.hasSessions || report.span === null) {
+        actions.push({
+          action,
+          outcome: 'cannot-tell',
+          reason: 'fields-stopped',
+          observed: {},
+          attribution: attributionFrom(action, slice ? perCall(slice.breakdown) : null),
+          gateFailing: true,
+        });
+        continue;
+      }
+      const row = report.truncationRetries.find(
+        (r) => r.label === action.label && r.model === action.model,
+      );
+      const newStake = row === undefined ? 0 : row.wastedUsd + row.retryUsd;
+      actions.push({
+        action,
+        outcome: row === undefined ? 'arrived' : 'not-arrived',
+        reason: null,
+        observed: {
+          retryBillUsd: newStake,
+          retried: row?.retried ?? 0,
+          truncatedCalls: row?.truncatedCalls ?? 0,
+        },
+        attribution: attributionFrom(action, slice ? perCall(slice.breakdown) : null),
+        gateFailing: row !== undefined,
+      });
+      continue;
+    }
+
+    // fix-caching.
+    if (slice === undefined) {
+      actions.push({
+        action,
+        outcome: 'cannot-tell',
+        reason: 'workload-vanished',
+        observed: {},
+        attribution: null,
+        gateFailing: false,
+      });
+      continue;
+    }
+    const economics = cacheEconomics(slice.breakdown);
+    if (economics.verdict === 'lost-money' && economics.worstCaseVerdict === economics.verdict) {
+      actions.push({
+        action,
+        outcome: 'not-arrived',
+        reason: null,
+        observed: { deltaUsd: economics.deltaUsd, spentUsd: economics.spentUsd },
+        attribution: attributionFrom(action, perCall(slice.breakdown)),
+        gateFailing: true,
+      });
+    } else if (economics.worstCaseVerdict !== economics.verdict) {
+      // The verdict cannot settle on this log: the fields that would settle
+      // it are not there, and an unverifiable fix is not a verified one.
+      actions.push({
+        action,
+        outcome: 'cannot-tell',
+        reason: 'fields-stopped',
+        observed: {},
+        attribution: attributionFrom(action, perCall(slice.breakdown)),
+        gateFailing: true,
+      });
+    } else {
+      actions.push({
+        action,
+        outcome: 'arrived',
+        reason: null,
+        observed: { deltaUsd: economics.deltaUsd, spentUsd: economics.spentUsd },
+        attribution: attributionFrom(action, perCall(slice.breakdown)),
+        gateFailing: false,
+      });
+    }
+  }
+
+  return {
+    schemaVersion: 1,
+    planCreatedAt: plan.createdAt ?? null,
+    planPricing: plan.pricingLastReviewed,
+    currentPricing: options.currentPricingLastReviewed,
+    pricesChanged: plan.pricingLastReviewed !== options.currentPricingLastReviewed,
+    actions,
+    arrived: actions.filter((a) => a.outcome === 'arrived').length,
+    notArrived: actions.filter((a) => a.outcome === 'not-arrived').length,
+    cannotTell: actions.filter((a) => a.outcome === 'cannot-tell').length,
+    gateFailures: actions.filter((a) => a.gateFailing).length,
+  };
+}