@vibe-agent-toolkit/cli 0.2.0-rc.8 → 0.2.0-rc.9

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@vibe-agent-toolkit/cli",
-  "version": "0.2.0-rc.8",
+  "version": "0.2.0-rc.9",
   "description": "Command-line interface for vibe-agent-toolkit",
   "type": "module",
   "bin": {
@@ -48,16 +48,16 @@
   "//dependencies-note": "DO NOT add example agent packages or adopter packages here. Adopter packages (like vat-development-agents) depend on the CLI binary at build time — declaring them as deps creates a circular build dependency. They are built in a second turbo pass via package#task overrides in turbo.json.",
   "dependencies": {
     "@anthropic-ai/sdk": "^0.71.2",
-    "@vibe-agent-toolkit/agent-config": "0.2.0-rc.8",
-    "@vibe-agent-toolkit/agent-skills": "0.2.0-rc.8",
-    "@vibe-agent-toolkit/claude-marketplace": "0.2.0-rc.8",
-    "@vibe-agent-toolkit/discovery": "0.2.0-rc.8",
-    "@vibe-agent-toolkit/gateway-mcp": "0.2.0-rc.8",
-    "@vibe-agent-toolkit/projection-sqlite": "0.2.0-rc.8",
-    "@vibe-agent-toolkit/resources": "0.2.0-rc.8",
-    "@vibe-agent-toolkit/schema": "0.2.0-rc.8",
-    "@vibe-agent-toolkit/utils": "0.2.0-rc.8",
-    "adm-zip": "^0.6.0",
+    "@vibe-agent-toolkit/agent-config": "0.2.0-rc.9",
+    "@vibe-agent-toolkit/agent-skills": "0.2.0-rc.9",
+    "@vibe-agent-toolkit/claude-marketplace": "0.2.0-rc.9",
+    "@vibe-agent-toolkit/discovery": "0.2.0-rc.9",
+    "@vibe-agent-toolkit/gateway-mcp": "0.2.0-rc.9",
+    "@vibe-agent-toolkit/projection-sqlite": "0.2.0-rc.9",
+    "@vibe-agent-toolkit/resources": "0.2.0-rc.9",
+    "@vibe-agent-toolkit/schema": "0.2.0-rc.9",
+    "@vibe-agent-toolkit/utils": "0.2.0-rc.9",
+    "adm-zip": "^0.6.1",
     "commander": "^12.1.0",
     "picomatch": "^4.0.3",
     "semver": "^7.8.5",
@@ -67,9 +67,9 @@
   },
   "devDependencies": {
     "@types/tar": "^6.1.13",
-    "@vibe-agent-toolkit/dev-tools": "0.2.0-rc.8",
-    "@vibe-agent-toolkit/rag": "0.2.0-rc.8",
-    "@vibe-agent-toolkit/rag-lancedb": "0.2.0-rc.8"
+    "@vibe-agent-toolkit/dev-tools": "0.2.0-rc.9",
+    "@vibe-agent-toolkit/rag": "0.2.0-rc.9",
+    "@vibe-agent-toolkit/rag-lancedb": "0.2.0-rc.9"
   },
   "publishConfig": {
     "access": "public"
@@ -80,8 +80,8 @@
   },
   "//peerDependencies-note": "The RAG backends are OPTIONAL PEERS, never optionalDependencies. `optionalDependencies` are INSTALLED BY DEFAULT by npm and pnpm alike - 'optional' there means the install may fail without failing the build, not that it is skipped - so declaring them that way shipped ~287 MB unpacked (onnxruntime-web 137.5 MB, a LanceDB platform binary 97.8 MB, gpt-tokenizer 42.2 MB, apache-arrow 5.3 MB, protobufjs 3.0 MB; measured on darwin-arm64 against this release's pins, and the platform binary is larger on win32-x64) to every adopter, contradicting the seam in src/utils/optional-backend.ts that exists precisely to keep them out. Optional peers are NOT auto-installed, so the manifest now says what that module already says: these ship separately, and an absent one is a legible error naming the package to install. projection-sqlite is deliberately NOT in this group: it has zero third-party dependencies (only node:sqlite, which is built into Node) and a 152 KB dist, so the platform-binary argument that justifies the seam is simply false for it. It is also what `vat resources query` builds its ephemeral in-memory store from, and a query surface that works only where a backend was separately installed is the capability gate the projection design forbids.",
   "peerDependencies": {
-    "@vibe-agent-toolkit/rag": "0.2.0-rc.8",
-    "@vibe-agent-toolkit/rag-lancedb": "0.2.0-rc.8"
+    "@vibe-agent-toolkit/rag": "0.2.0-rc.9",
+    "@vibe-agent-toolkit/rag-lancedb": "0.2.0-rc.9"
   },
   "peerDependenciesMeta": {
     "@vibe-agent-toolkit/rag": {

package/schemas/resources-check.json

@@ -123,6 +123,44 @@
                   "type": "number",
                   "minimum": 0
                 },
+                "lensesEvaluated": {
+                  "type": "array",
+                  "items": {
+                    "type": "string"
+                  }
+                },
+                "boundsStatement": {
+                  "type": "string"
+                },
+                "limits": {
+                  "type": "array",
+                  "items": {
+                    "type": "object",
+                    "properties": {
+                      "id": {
+                        "type": "string"
+                      },
+                      "direction": {
+                        "type": "string",
+                        "enum": [
+                          "over-report",
+                          "under-report",
+                          "scope",
+                          "assumption"
+                        ]
+                      },
+                      "statement": {
+                        "type": "string"
+                      }
+                    },
+                    "required": [
+                      "id",
+                      "direction",
+                      "statement"
+                    ],
+                    "additionalProperties": false
+                  }
+                },
                 "checksRun": {
                   "type": "integer",
                   "minimum": 0
@@ -146,6 +184,10 @@
                       "broken": {
                         "type": "boolean",
                         "const": true
+                      },
+                      "builtin": {
+                        "type": "boolean",
+                        "const": true
                       }
                     },
                     "required": [
@@ -161,6 +203,7 @@
                 "population",
                 "populationSecs",
                 "lensSecs",
+                "lensesEvaluated",
                 "checksRun",
                 "checks"
               ],

package/dist/commands/claude/budget.d.ts

@@ -1,269 +0,0 @@
-/**
- * `vat claude budget [paths...]` — is the always-loaded context at a working
- * location over its budget?
- *
- * ## Why this is a command and not a check inside `vat resources validate`
- *
- * It used to be one: default-on, with a `--no-context-budget` opt-out. That is
- * gone, in both directions — `vat resources validate` has no knowledge of the
- * budget at all any more, not a flag, not a default. The ruling behind the move
- * is short: *a validation run must not emit findings nobody asked for.* An
- * `info` finding attached to a lane people run for link and anchor errors is a
- * finding they scroll past, and a check people scroll past is a check they
- * eventually silence.
- *
- * ## The sibling split: `context` QUERIES, `budget` CHECKS
- *
- * `vat claude context` answers a question and
- * never gates — totals, admissions, the declared limits, no verdict, always
- * exit 0. This command is the other half of that pair: it applies a THRESHOLD,
- * produces findings with severities an adopter can configure, and lets an
- * adopter who promotes the code to `error` fail their build with it. Two verbs
- * because they are two acts, and folding a verdict into the query would make
- * the query's number a number people learn to stop reading.
- *
- * ## Everything below is orchestration — deliberately
- *
- * Which directories exist, what each pays, and whether that is over budget are
- * all decided in `@vibe-agent-toolkit/resources` (`buildClaudeContextPopulation`
- * and `sweepAlwaysLoadedBudgets`); the wording and grouping of the findings in
- * `utils/context-budget-issues.ts`; severity resolution in the two shared
- * filters every other lane runs. This module populates one tree, calls them in
- * order, and renders. It decides nothing about context loading of its own,
- * which is the CLI-stays-dumb rule applied to the lane where the temptation is
- * strongest.
- *
- * ⛔ The threshold is never re-spelled here. It is a MEASURED quantity that
- * lives beside the detector (`DEFAULT_ALWAYS_LOADED_CONTEXT_TOKENS`), and a
- * literal in this package would be a second source of truth that nothing
- * compares.
- *
- * ## The stated bounds ride ONCE on the REPORT, in every format
- *
- * The sibling query publishes 23 stated limits; this command applies a threshold
- * to the same measurement, so it publishes {@link ALWAYS_LOADED_BUDGET_LIMITS}
- * and {@link CLAUDE_CONTEXT_BOUNDS_STATEMENT} beside its verdict — the half that
- * GATES is the half whose bounds a reader most needs. Both are imported, never
- * restated: the sentence is domain content owned beside the list it frames.
- *
- * ⛔ They belong to the REPORT, never to a finding. A per-finding copy is the
- * defect this lane already shipped once on the query side, and it is invisible to
- * any assertion that checks presence rather than counting occurrences.
- */
-import { type BudgetSweep } from '@vibe-agent-toolkit/resources';
-import { type Report, type ValidationIssue } from '@vibe-agent-toolkit/schema';
-import { Command } from 'commander';
-import { z } from 'zod';
-/** How the report is rendered. `text` is for a person; the other two are for a program. */
-export type BudgetOutputFormat = 'text' | 'yaml' | 'json';
-/** Flags `vat claude budget` accepts. */
-export interface ClaudeBudgetOptions {
-    format?: BudgetOutputFormat;
-    debug?: boolean;
-}
-/**
- * What one run reports beyond its findings.
- *
- * The sweep counters describe the WHOLE tree, not the scope: a scope narrows
- * what is reported, never what was measured. The envelope's `examined` is the
- * working-location count for the same reason — "9 chains checked, none over
- * budget" and "nothing was checked" are different answers and must not render
- * identically.
- */
-export declare const BudgetDataSchema: z.ZodObject<{
-    root: z.ZodString;
-    /** The budget every chain was measured against, in tokens. */
-    threshold: z.ZodNumber;
-    /** The root-relative directories asked about. `''` is the whole tree. */
-    scope: z.ZodArray<z.ZodString, "many">;
-    /** Requested paths that named no working location — see `scopeSweepToPaths`. */
-    unmatchedScope: z.ZodArray<z.ZodString, "many">;
-    /** Distinct instruction chains among the working locations — the queries the sweep really issued. */
-    distinctChains: z.ZodNumber;
-    /** Locations whose representative the projection never realized. Counted, never zeroed. */
-    skippedUnknownLocations: z.ZodNumber;
-    /**
-     * What this verdict does not settle, in either direction. Stated ONCE.
-     *
-     * ⛔ On the report beside `threshold`, never on a finding. These bound the
-     * MEASUREMENT METHOD, not any one chain — a finding carrying its own copy
-     * reads as though that chain had caveats of its own, and repeated across a
-     * sweep it is pure byte-identical duplication.
-     */
-    boundsStatement: z.ZodString;
-    /** The signed over/under-report bounds on the method. Stated ONCE. */
-    limits: z.ZodArray<z.ZodObject<{
-        id: z.ZodString;
-        direction: z.ZodEnum<["over-report", "under-report", "scope", "assumption"]>;
-        statement: z.ZodString;
-    }, "strict", z.ZodTypeAny, {
-        id: string;
-        direction: "scope" | "over-report" | "under-report" | "assumption";
-        statement: string;
-    }, {
-        id: string;
-        direction: "scope" | "over-report" | "under-report" | "assumption";
-        statement: string;
-    }>, "many">;
-}, "strict", z.ZodTypeAny, {
-    root: string;
-    scope: string[];
-    threshold: number;
-    unmatchedScope: string[];
-    distinctChains: number;
-    skippedUnknownLocations: number;
-    boundsStatement: string;
-    limits: {
-        id: string;
-        direction: "scope" | "over-report" | "under-report" | "assumption";
-        statement: string;
-    }[];
-}, {
-    root: string;
-    scope: string[];
-    threshold: number;
-    unmatchedScope: string[];
-    distinctChains: number;
-    skippedUnknownLocations: number;
-    boundsStatement: string;
-    limits: {
-        id: string;
-        direction: "scope" | "over-report" | "under-report" | "assumption";
-        statement: string;
-    }[];
-}>;
-export type BudgetData = z.infer<typeof BudgetDataSchema>;
-/** The document this command publishes. */
-export declare const BUDGET_REPORT_SCHEMA: import("@vibe-agent-toolkit/schema").ReportZodSchema<z.ZodObject<{
-    root: z.ZodString;
-    /** The budget every chain was measured against, in tokens. */
-    threshold: z.ZodNumber;
-    /** The root-relative directories asked about. `''` is the whole tree. */
-    scope: z.ZodArray<z.ZodString, "many">;
-    /** Requested paths that named no working location — see `scopeSweepToPaths`. */
-    unmatchedScope: z.ZodArray<z.ZodString, "many">;
-    /** Distinct instruction chains among the working locations — the queries the sweep really issued. */
-    distinctChains: z.ZodNumber;
-    /** Locations whose representative the projection never realized. Counted, never zeroed. */
-    skippedUnknownLocations: z.ZodNumber;
-    /**
-     * What this verdict does not settle, in either direction. Stated ONCE.
-     *
-     * ⛔ On the report beside `threshold`, never on a finding. These bound the
-     * MEASUREMENT METHOD, not any one chain — a finding carrying its own copy
-     * reads as though that chain had caveats of its own, and repeated across a
-     * sweep it is pure byte-identical duplication.
-     */
-    boundsStatement: z.ZodString;
-    /** The signed over/under-report bounds on the method. Stated ONCE. */
-    limits: z.ZodArray<z.ZodObject<{
-        id: z.ZodString;
-        direction: z.ZodEnum<["over-report", "under-report", "scope", "assumption"]>;
-        statement: z.ZodString;
-    }, "strict", z.ZodTypeAny, {
-        id: string;
-        direction: "scope" | "over-report" | "under-report" | "assumption";
-        statement: string;
-    }, {
-        id: string;
-        direction: "scope" | "over-report" | "under-report" | "assumption";
-        statement: string;
-    }>, "many">;
-}, "strict", z.ZodTypeAny, {
-    root: string;
-    scope: string[];
-    threshold: number;
-    unmatchedScope: string[];
-    distinctChains: number;
-    skippedUnknownLocations: number;
-    boundsStatement: string;
-    limits: {
-        id: string;
-        direction: "scope" | "over-report" | "under-report" | "assumption";
-        statement: string;
-    }[];
-}, {
-    root: string;
-    scope: string[];
-    threshold: number;
-    unmatchedScope: string[];
-    distinctChains: number;
-    skippedUnknownLocations: number;
-    boundsStatement: string;
-    limits: {
-        id: string;
-        direction: "scope" | "over-report" | "under-report" | "assumption";
-        statement: string;
-    }[];
-}>>;
-/**
- * The report one run emits: one finding per over-budget chain — plus, ahead of
- * them, the run-integrity refusal when part of what was asked about was never
- * measured. See {@link buildReport}: the second kind is DERIVED there rather
- * than passed in, so no report can carry an unmatched path and a clean status.
- */
-export type BudgetReport = Report<BudgetData>;
-/**
- * Create the `vat claude budget [paths...]` command.
- *
- * @returns The configured Commander command
- */
-export declare function createBudgetCommand(): Command;
-/**
- * Action handler for `vat claude budget [paths...]`.
- *
- * @param pathArgs - Directories to check; empty means the whole tree
- * @param options - The command's flags
- */
-export declare function claudeBudgetCommand(pathArgs: readonly string[], options: ClaudeBudgetOptions): Promise<void>;
-/** Everything {@link buildReport} needs, bundled past the lint gate's parameter ceiling. */
-export interface ReportInput {
-    readonly root: string;
-    readonly threshold: number;
-    readonly scope: readonly string[];
-    readonly sweep: BudgetSweep;
-    readonly scoped: {
-        readonly unmatchedScope: readonly string[];
-    };
-    /** The BUDGET findings only. The run-integrity refusal is derived, not passed. */
-    readonly findings: readonly ValidationIssue[];
-}
-/**
- * Assemble the report from the run's parts.
- *
- * ⛔ The counters come from the UNSCOPED sweep. They answer "what was measured",
- * and a scope changes only what is reported — sourcing them from the narrowed
- * view would let `vat claude budget docs` claim the tree has one chain.
- *
- * ⛔ This is the ONE place the stated bounds enter the machine-readable output,
- * and keeping it a single assignment is what makes "stated once" structural
- * rather than a habit: there is no per-finding site left where a copy could be
- * reintroduced. They are attached unconditionally — a run that flagged nothing
- * used the same method, and a reader acting on "within budget" needs them most.
- *
- * ⛔ Exported so it can be TESTED. What has to be pinned is a COUNT — that the
- * block appears exactly once across a MULTI-finding report — and a presence
- * check passes identically with a copy per finding.
- *
- * ⛔ The run-integrity refusal is DERIVED here from `scoped.unmatchedScope`
- * rather than assembled by the caller, which is what makes "a run that checked
- * nothing never reports success" unrepresentable instead of merely observed:
- * there is no pipeline step left in which a later edit could drop it. See
- * {@link nothingCheckedFindings}.
- *
- * @param input - The run's parts
- * @returns The report, ready to serialize
- */
-export declare function buildReport(input: ReportInput): BudgetReport;
-/**
- * Render the report for a person.
- *
- * ⛔ Exported so the "stated once" property can be pinned in TEXT as well as in
- * json. The two renderings are separate code paths and this lane has already
- * shipped a defect where they disagreed while each looked right alone.
- *
- * @param report - The report
- * @returns The text rendering, newline-terminated
- */
-export declare function renderReportText(report: BudgetReport): string;
-//# sourceMappingURL=budget.d.ts.map

package/dist/commands/claude/budget.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"budget.d.ts","sourceRoot":"","sources":["../../../src/commands/claude/budget.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAmDG;AAEH,OAAO,EAML,KAAK,WAAW,EACjB,MAAM,+BAA+B,CAAC;AACvC,OAAO,EAKL,KAAK,MAAM,EAGX,KAAK,eAAe,EACrB,MAAM,4BAA4B,CAAC;AAEpC,OAAO,EAAE,OAAO,EAAU,MAAM,WAAW,CAAC;AAC5C,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAuBxB,2FAA2F;AAC3F,MAAM,MAAM,kBAAkB,GAAG,MAAM,GAAG,MAAM,GAAG,MAAM,CAAC;AAE1D,yCAAyC;AACzC,MAAM,WAAW,mBAAmB;IAClC,MAAM,CAAC,EAAE,kBAAkB,CAAC;IAC5B,KAAK,CAAC,EAAE,OAAO,CAAC;CACjB;AASD;;;;;;;;GAQG;AACH,eAAO,MAAM,gBAAgB;;IAE3B,8DAA8D;;IAE9D,yEAAyE;;IAEzE,gFAAgF;;IAEhF,qGAAqG;;IAErG,2FAA2F;;IAE3F;;;;;;;OAOG;;IAEH,sEAAsE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAE7D,CAAC;AAEZ,MAAM,MAAM,UAAU,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,gBAAgB,CAAC,CAAC;AAE1D,2CAA2C;AAC3C,eAAO,MAAM,oBAAoB;;IA1B/B,8DAA8D;;IAE9D,yEAAyE;;IAEzE,gFAAgF;;IAEhF,qGAAqG;;IAErG,2FAA2F;;IAE3F;;;;;;;OAOG;;IAEH,sEAAsE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAON,CAAC;AAEnE;;;;;GAKG;AACH,MAAM,MAAM,YAAY,GAAG,MAAM,CAAC,UAAU,CAAC,CAAC;AAE9C;;;;GAIG;AACH,wBAAgB,mBAAmB,IAAI,OAAO,CAwE7C;AAED;;;;;GAKG;AACH,wBAAsB,mBAAmB,CACvC,QAAQ,EAAE,SAAS,MAAM,EAAE,EAC3B,OAAO,EAAE,mBAAmB,GAC3B,OAAO,CAAC,IAAI,CAAC,CAqCf;AAED,4FAA4F;AAC5F,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;IAClC,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC;IAC5B,QAAQ,CAAC,MAAM,EAAE;QAAE,QAAQ,CAAC,cAAc,EAAE,SAAS,MAAM,EAAE,CAAA;KAAE,CAAC;IAChE,kFAAkF;IAClF,QAAQ,CAAC,QAAQ,EAAE,SAAS,eAAe,EAAE,CAAC;CAC/C;AAED;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AACH,wBAAgB,WAAW,CAAC,KAAK,EAAE,WAAW,GAAG,YAAY,CAmB5D;AAsID;;;;;;;;;GASG;AACH,wBAAgB,gBAAgB,CAAC,MAAM,EAAE,YAAY,GAAG,MAAM,CAY7D"}