@trazum/cli 1.50.7 → 1.50.9

package/dist/index.js

@@ -4,7 +4,7 @@ import { open, readdir, readFile, stat, writeFile } from 'node:fs/promises';
 import { dirname, join, resolve as resolvePath } from 'node:path';
 import { fileURLToPath } from 'node:url';
 import { gunzipSync } from 'node:zlib';
-import { applyRewrites, BASELINE_FILENAME, BASELINE_VERSION, breaches, cacheableMinimum, analyzeCachePrefix, billLevers, bucketedCacheEconomics, bucketedProfile, buildHistory, buildPlan, connectorFor, CONNECTORS, normalizeAnthropicUsage, normalizeOpenAIUsage, bucketsFromRecords, evaluateWatch, firedKey, pruneRecords, recordsFromBuckets, storeInventory, storedReportFrom, verifyPlan, cacheEconomics, cacheHitRate, contextPressure, comparePrompts, compareToBaseline, computeSavings, countTokensAnthropic, DEFAULT_USAGE, budgetPositions, conform, BREAK_EVEN_BAND, runExperiment, ladderPosition, validateLadder, outcomeReport, rankPerOutcome, FAILURE_POLICIES, detectFromSource, matchLocale, parsePlanDocument, waiverDay, waiverHistory, proposeInit, MIN_RATE_DAYS, parseConfig, coverageDrift, driversBetween, explainGateFailure, assignSources, fleetRollup, labelCoverage, measuredUsage, gateMargin, GATE_MARGIN_TIGHT, estimateTokens, evaluate, extractPrompts, findExamples, formatBaseline, formatSignedUsd, formatUsd, getMessages, getModel, hasMarker, LOCALES, MAX_BASELINE_BYTES, moneyIsComparable, mostSpecificMatch, nearestName, optimize, parseBaseline, PHRASE_LANGUAGES, plannedCalls, profilePrompt, profileToCsv, profileUsage, promptId, providerFromEnv, pruneExamples, refineWithLlm, rejectionText, reorderForCache, repriceProfile, reviewAgeDays, reviewExamples, RULES, sharedPrefixes, sharesOf, SOURCE_EXTENSIONS, suggestRewrites, toOtlpMetrics, toPromptfoo, TTL_1H_MS, UNLABELLED, withExactTokenCounts, } from '@trazum/core';
+import { applyRewrites, BASELINE_FILENAME, BASELINE_VERSION, breaches, cacheableMinimum, analyzeCachePrefix, billLevers, bucketedCacheEconomics, bucketedProfile, buildHistory, buildPlan, connectorFor, CONNECTORS, normalizeAnthropicUsage, normalizeOpenAIUsage, bucketsFromRecords, evaluateWatch, firedKey, pruneRecords, recordsFromBuckets, storeInventory, storedReportFrom, verifyPlan, cacheEconomics, cacheHitRate, contextPressure, comparePrompts, compareToBaseline, computeSavings, countTokensAnthropic, DEFAULT_USAGE, budgetPositions, conform, BREAK_EVEN_BAND, runExperiment, qualityGate, semanticPassCost, verifySemanticProposals, SEMANTIC_SYSTEM_PROMPT, ladderPosition, validateLadder, outcomeReport, rankPerOutcome, FAILURE_POLICIES, detectFromSource, matchLocale, parsePlanDocument, waiverDay, waiverHistory, proposeInit, MIN_RATE_DAYS, parseConfig, coverageDrift, driversBetween, explainGateFailure, assignSources, fleetRollup, labelCoverage, measuredUsage, gateMargin, GATE_MARGIN_TIGHT, estimateTokens, evaluate, extractPrompts, findExamples, formatBaseline, formatSignedUsd, formatUsd, getMessages, getModel, hasMarker, LOCALES, MAX_BASELINE_BYTES, moneyIsComparable, mostSpecificMatch, nearestName, optimize, parseBaseline, PHRASE_LANGUAGES, plannedCalls, profilePrompt, profileToCsv, profileUsage, promptId, providerFromEnv, pruneExamples, refineWithLlm, rejectionText, reorderForCache, repriceProfile, reviewAgeDays, reviewExamples, RULES, sharedPrefixes, sharesOf, SOURCE_EXTENSIONS, suggestRewrites, toOtlpMetrics, toPromptfoo, TTL_1H_MS, UNLABELLED, withExactTokenCounts, } from '@trazum/core';
 import { cacheDir, cacheStats, cachingProvider, clearCache } from './suggest-cache.js';
 import { dayOf, formatGap, median, spanDays } from './time.js';
 // Everything that reads the filesystem, on its own entry point so the web
@@ -33,6 +33,7 @@ const c = {
 };
 const VALUE_FLAGS = new Set([
     'a',
+    'at',
     'b',
     'min-outcomes',
     'against',
@@ -324,6 +325,8 @@ const COMMAND_FLAGS = {
     gateway: ['on-cannot-tell', 'port', 'socket', 'pricing', 'pricing-live'],
     ladder: ['pricing', 'pricing-live', 'since', 'until', 'label'],
     experiment: ['a', 'b', 'min-outcomes', 'pricing', 'pricing-live'],
+    quality: ['label', 'at', 'gate', 'pricing', 'pricing-live'],
+    semantic: ['yes', 'model', 'pricing', 'pricing-live'],
     where: [],
     rules: [],
     blame: ['limit', 'model', 'calls', 'output-tokens', 'batch', 'prompt', 'markdown-out'],
@@ -1854,6 +1857,205 @@ async function commandExperiment(args, config, pricing, t) {
     console.log(`  ${c.dim(wrap(t.experiment.neverPromotes(), 74, '    '))}`);
     console.log();
 }
+/**
+ * `trazum quality <log> --label <name> --at <iso> [--gate]`
+ *
+ * The failure that actually matters: a prompt edit that quietly made the
+ * product worse. CI has been able to fail a build for tokens since 1.4 and for
+ * dollars since 1.21, and this has never been gateable — so every saving this
+ * tool has ever recommended went into a repository with its most important
+ * consequence unmeasured.
+ *
+ * **Named `quality` rather than `check --against-outcomes`, which is what the
+ * plan called for.** `check` reads *prompt files* and gates on tokens; it has
+ * never opened a usage log, and a command that takes either a prompt or a log
+ * depending on a flag is two commands wearing one name. The split-by-time this
+ * needs is also not a `check` idea — there is nothing in a prompt file with a
+ * timestamp on it.
+ */
+async function commandQuality(args, config, pricing, t) {
+    const path = args.positional[0];
+    if (path === undefined)
+        throw new Error(t.errors.missingInputFile());
+    const label = stringFlag(args, 'label');
+    if (label === undefined)
+        throw new Error(t.quality.needsLabel());
+    const atRaw = stringFlag(args, 'at');
+    const atMs = atRaw === undefined ? Number.NaN : Date.parse(atRaw);
+    if (!Number.isFinite(atMs))
+        throw new Error(t.quality.needsAt());
+    /**
+     * Two profiles over the same file, split at the boundary — rather than one
+     * profile the caller has to slice.
+     *
+     * The alternative is asking somebody for two logs, which invites the mistake
+     * this whole module exists to avoid: two files gathered under conditions
+     * nobody wrote down.
+     */
+    const raw = await readUsageLog(path, t);
+    const sideOf = (since, until) => {
+        const report = profileUsage(raw, { catalogue: pricing, label, sinceMs: since, untilMs: until });
+        const slice = report.outcomeTallyByLabel.find((entry) => entry.label === label);
+        return {
+            arm: {
+                name: label,
+                totalUsd: report.total.totalUsd,
+                tally: slice?.tally ?? { byValue: [], recorded: 0, parsed: 0, unrecordedUsd: 0 },
+            },
+            calls: report.total.calls,
+            usdByModel: report.byModel.map((entry) => ({ model: entry.model, usd: entry.breakdown.totalUsd })),
+        };
+    };
+    const result = qualityGate(sideOf(undefined, atMs), sideOf(atMs, undefined), config.outcomes ?? null);
+    const pct = (value) => `${(value * 100).toFixed(1)}%`;
+    const n = (value) => value.toLocaleString(t.numberLocale);
+    console.log();
+    console.log(c.bold(t.quality.heading(label)));
+    console.log(`  ${c.dim(wrap(t.quality.notRandomised(), 74, '  '))}`);
+    console.log();
+    console.log(`  ${t.quality.sides(result.before.rate === null ? '—' : pct(result.before.rate), result.after.rate === null ? '—' : pct(result.after.rate), n(result.outcomes.before), n(result.outcomes.after))}`);
+    console.log();
+    if (result.verdict === 'dropped') {
+        const cost = result.cost === null
+            ? ''
+            : result.cost.deltaUsdPerCall < 0
+                ? `saves ${formatUsd(-result.cost.deltaUsdPerCall)} a call`
+                : `costs ${formatUsd(result.cost.deltaUsdPerCall)} a call more`;
+        console.log(`  ${c.red('✗')} ${wrap(t.quality.dropped(pct(result.before.rate ?? 0), pct(result.after.rate ?? 0), n(result.outcomes.before + result.outcomes.after), cost), 74, '    ')}`);
+    }
+    else if (result.verdict === 'held') {
+        console.log(`  ${c.green('✓')} ${wrap(t.quality.held(pct(result.before.rate ?? 0), pct(result.after.rate ?? 0), n(result.outcomes.before + result.outcomes.after)), 74, '    ')}`);
+    }
+    else {
+        const need = result.unknown === 'too-few-before' ? n(result.outcomes.before) : n(result.outcomes.after);
+        console.log(`  ${c.yellow('?')} ${wrap(t.quality.cannotTell(result.unknown ?? '', need), 74, '    ')}`);
+    }
+    /**
+     * Confounders print on **every** verdict, not only on `cannot-tell`.
+     *
+     * A rate that held while the model changed underneath is not evidence that
+     * the prompt is fine either, and hiding the confounder on a green result is
+     * how a gate teaches people to trust it in exactly the case it should not be
+     * trusted.
+     */
+    if (result.confounders.length > 0) {
+        console.log();
+        console.log(`  ${c.bold(t.quality.confoundersHeading())}`);
+        for (const confounder of result.confounders) {
+            const detail = confounder.kind === 'model-mix-moved'
+                ? `${pct(confounder.drift)} (${confounder.model})`
+                : confounder.kind === 'volume-moved'
+                    ? `${n(confounder.beforeCalls)} → ${n(confounder.afterCalls)} calls`
+                    : `${pct(confounder.before)} → ${pct(confounder.after)}`;
+            console.log(`    ${c.yellow('!')} ${wrap(t.quality.confounder(confounder.kind, detail), 70, '      ')}`);
+        }
+    }
+    console.log();
+    console.log(`  ${c.dim(wrap(t.quality.cannotSee(), 74, '  '))}`);
+    if (boolFlag(args, 'gate')) {
+        console.log();
+        if (result.verdict === 'dropped') {
+            console.log(`  ${c.red(t.quality.gateFailed())}`);
+            process.exitCode = 1;
+        }
+        else if (result.verdict === 'cannot-tell') {
+            // Three outcomes, never two. `cannot tell` holds the claim open rather
+            // than exiting green, the posture `verify --gate` has had since 1.39.
+            console.log(`  ${c.yellow(t.quality.gateHeldOpen())}`);
+            process.exitCode = 2;
+        }
+    }
+    console.log();
+}
+/**
+ * `trazum semantic <prompt> [--yes]` — the findings a dictionary cannot see.
+ *
+ * The rules engine has deferred these since 0.1.0 for one honest reason: a
+ * dictionary cannot see meaning, and a model that hallucinates a finding is
+ * worse than a rule that misses one.
+ *
+ * **The price is printed before anything is sent, and `--yes` is required.** A
+ * tool that spends somebody's money to tell them how to spend less has to be
+ * the first thing audited by its own arithmetic, and it has to ask.
+ */
+async function commandSemantic(args, config, pricing, t) {
+    const prompt = await readInput(args.positional[0], t);
+    const modelId = stringFlag(args, 'model') ?? config.usage?.model ?? DEFAULT_USAGE.model;
+    const model = pricing.byId.get(modelId) ?? getModel(DEFAULT_USAGE.model);
+    const rates = { inputPerMTok: model.inputPerMTok, outputPerMTok: model.outputPerMTok };
+    const cost = semanticPassCost(prompt, rates);
+    const n = (value) => value.toLocaleString(t.numberLocale);
+    console.log();
+    console.log(c.bold(t.semantic.heading(args.positional[0] ?? '-')));
+    console.log();
+    console.log(`  ${wrap(t.semantic.willCost(formatUsd(cost.usd), n(cost.inputTokens), n(cost.outputTokens), model.displayName), 74, '  ')}`);
+    if (!boolFlag(args, 'yes')) {
+        // Nothing has been sent at this point, and nothing will be. The price
+        // above is the whole output of a run without --yes.
+        console.log();
+        console.log(`  ${c.dim(t.semantic.needsYes())}`);
+        console.log();
+        return;
+    }
+    const provider = providerFromEnv();
+    if (!provider)
+        throw new Error(t.errors.llmNotConfigured());
+    const answer = await provider.complete({ system: SEMANTIC_SYSTEM_PROMPT, user: prompt });
+    let proposals = [];
+    try {
+        const parsed = JSON.parse(/^(?:```|~~~)[a-zA-Z]*\n([\s\S]*?)\n?(?:```|~~~)$/.exec(answer.trim())?.[1] ?? answer.trim());
+        /**
+         * A response that is not the shape asked for is **no proposals**, never a
+         * crash and never a partial read. The model was told exactly what to
+         * return; anything else is a response this layer cannot check, and an
+         * unchecked finding is the one thing this whole module exists to prevent.
+         */
+        if (Array.isArray(parsed)) {
+            proposals = parsed.filter((entry) => typeof entry === 'object' &&
+                entry !== null &&
+                Array.isArray(entry.spans) &&
+                entry.spans.length === 2 &&
+                entry.spans.every((span) => typeof span === 'string'));
+        }
+    }
+    catch {
+        proposals = [];
+    }
+    const result = verifySemanticProposals(prompt, proposals);
+    const lineOf = (offset) => prompt.slice(0, offset).split('\n').length;
+    console.log();
+    if (result.findings.length === 0) {
+        console.log(`  ${c.dim(t.semantic.nothingFound())}`);
+    }
+    for (const finding of result.findings) {
+        console.log(`  ${c.bold(t.semantic.finding(finding.kind, finding.because))}`);
+        finding.spans.forEach((span, index) => {
+            const shown = span.length > 90 ? `${span.slice(0, 87)}…` : span;
+            console.log(`    ${c.dim(t.semantic.span(String(lineOf(finding.offsets[index] ?? 0)), shown))}`);
+        });
+        console.log(`    ${c.dim(wrap(finding.ceilingTokens > 0 ? t.semantic.ceiling(n(finding.ceilingTokens)) : t.semantic.noCeiling(), 70, '    '))}`);
+        console.log();
+    }
+    /**
+     * What did **not** survive, counted and reasoned.
+     *
+     * A pass that showed only its accepted findings would hide its own hit
+     * rate, and the hit rate is the most useful thing a reader can know about
+     * whether to run it again.
+     */
+    if (result.rejected.length > 0) {
+        console.log(`  ${c.dim(t.semantic.rejected(n(result.rejected.length)))}`);
+        for (const { proposal, reason } of result.rejected.slice(0, 5)) {
+            const span = proposal.spans[0];
+            const shown = span.length > 50 ? `${span.slice(0, 47)}…` : span;
+            console.log(`    ${c.dim(t.semantic.rejectedLine(reason, shown))}`);
+        }
+        console.log();
+    }
+    console.log(`  ${c.dim(wrap(t.semantic.disposes(), 74, '  '))}`);
+    console.log(`  ${c.dim(wrap(t.semantic.optIn(), 74, '  '))}`);
+    console.log();
+}
 function commandModels(t, pricing) {
     const n = (value) => value.toLocaleString(t.numberLocale);
     const col = t.models.columns;
@@ -6901,6 +7103,12 @@ async function main() {
         case 'models':
             commandModels(t, pricing);
             break;
+        case 'semantic':
+            await commandSemantic(args, config, pricing, t);
+            break;
+        case 'quality':
+            await commandQuality(args, config, pricing, t);
+            break;
         case 'experiment':
             await commandExperiment(args, config, pricing, t);
             break;