vigiles 15.4.1 → 16.0.0

package/dist/adapters/claude-code/typed-spec.d.ts

@@ -51,8 +51,31 @@ export interface ClaudeCodeToolVocabulary extends ToolVocabulary {
 export declare function agent<const P extends AuthoredPurity | undefined = undefined>(spec: AgentSpecInput<P, ClaudeCodeToolVocabulary>): AgentSpec;
 /**
  * Define a Claude Code skill with the purity floor enforced AT COMPILE TIME
- * against the Claude Code tool catalog. Identical to the core `skill()` at
- * runtime; the typed `tools` constraint is the only difference.
+ * against the Claude Code tool catalog. Identical to the core
+ * `experimental_skill()` at runtime; the typed `tools` constraint is the only
+ * difference.
+ *
+ * Carries the same `.input` / `.step` helpers as the core builder, and it must:
+ * those two stopped being standalone exports when the helper vocabulary moved
+ * onto the skill builder, so an author who picked this door would otherwise have
+ * no way to reach them. Before the move they came from `vigiles/spec` — a second
+ * import for one skill, which is the asymmetry this closes rather than a cost it
+ * introduces.
+ *
+ * @experimental
+ */
+declare function skillSpec<const P extends AuthoredPurity | undefined = undefined>(spec: SkillSpecInput<P, ClaudeCodeToolVocabulary>): SkillSpec;
+/**
+ * @experimental
  */
-export declare function experimental_skill<const P extends AuthoredPurity | undefined = undefined>(spec: SkillSpecInput<P, ClaudeCodeToolVocabulary>): SkillSpec;
+export declare const experimental_skill: typeof skillSpec & {
+    input: (name: string, hint: string, opts?: {
+        required?: boolean;
+    }) => import("../../core/spec.js").SkillInput;
+    step: (instr: string | import("../../core/spec.js").InstructionFragment[], opts?: {
+        gate?: import("../../core/spec.js").Gate;
+        retry?: number;
+    }) => import("../../core/spec.js").SkillStep;
+};
+export {};
 //# sourceMappingURL=typed-spec.d.ts.map

package/dist/adapters/claude-code/typed-spec.js

@@ -1,7 +1,7 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
+exports.experimental_skill = void 0;
 exports.agent = agent;
-exports.experimental_skill = experimental_skill;
 /**
  * Typed Claude Code authoring surface — the compile-time half of the purity
  * contract, bound to the Claude Code tool vocabulary.
@@ -46,10 +46,27 @@ function agent(spec) {
 }
 /**
  * Define a Claude Code skill with the purity floor enforced AT COMPILE TIME
- * against the Claude Code tool catalog. Identical to the core `skill()` at
- * runtime; the typed `tools` constraint is the only difference.
+ * against the Claude Code tool catalog. Identical to the core
+ * `experimental_skill()` at runtime; the typed `tools` constraint is the only
+ * difference.
+ *
+ * Carries the same `.input` / `.step` helpers as the core builder, and it must:
+ * those two stopped being standalone exports when the helper vocabulary moved
+ * onto the skill builder, so an author who picked this door would otherwise have
+ * no way to reach them. Before the move they came from `vigiles/spec` — a second
+ * import for one skill, which is the asymmetry this closes rather than a cost it
+ * introduces.
+ *
+ * @experimental
  */
-function experimental_skill(spec) {
+function skillSpec(spec) {
     return (0, spec_js_1.experimental_skill)(spec);
 }
+/**
+ * @experimental
+ */
+exports.experimental_skill = Object.assign(skillSpec, {
+    input: spec_js_1.experimental_skill.input,
+    step: spec_js_1.experimental_skill.step,
+});
 //# sourceMappingURL=typed-spec.js.map

package/dist/core/spec.d.ts

@@ -399,12 +399,21 @@ export interface SkillStep {
     /** Max attempts to satisfy the gate before the step fails (default 1). */
     readonly retry?: number;
 }
-/** Declare a skill input (compiles to argument-hint + an Arguments entry). */
-export declare function input(name: string, hint: string, opts?: {
+/**
+ * Declare a skill input (compiles to argument-hint + an Arguments entry).
+ *
+ * Deliberately NOT a standalone export — reached as `experimental_skill.input`.
+ * The reason is on `experimental_skill` below.
+ */
+declare function input(name: string, hint: string, opts?: {
     required?: boolean;
 }): SkillInput;
-/** Declare a gated pipeline step. */
-export declare function step(instr: string | InstructionFragment[], opts?: {
+/**
+ * Declare a gated pipeline step.
+ *
+ * Deliberately NOT a standalone export — reached as `experimental_skill.step`.
+ */
+declare function step(instr: string | InstructionFragment[], opts?: {
     gate?: Gate;
     retry?: number;
 }): SkillStep;
@@ -504,9 +513,32 @@ export type SkillSpecInput<P extends AuthoredPurity | undefined, V extends ToolV
  * DIFFERENT function — a `Check<Trace>` taking an id string, asking whether a
  * skill fired. This one authors a skill; that one observes one.
  *
+ * Its helper vocabulary hangs off it — `experimental_skill.input(…)` and
+ * `experimental_skill.step(…)` — rather than being exported beside it. Both are
+ * used ONLY by skill specs (measured: zero uses in agent/claude specs, against
+ * `cmd`/`file`/`ref`/`result`, which are shared and therefore stay top-level).
+ * Hanging them here makes the experimental marking STRUCTURAL for the whole
+ * family: you cannot reach `input()` without naming `experimental_skill` first.
+ * The prefix convention alone could not do that — it is a habit, and it had
+ * already leaked once when `skill()` shipped stable-named against its own docs.
+ *
+ * Honest limit: `const { input } = experimental_skill` strips the marker again
+ * inside one file. What the shape actually guarantees is narrower and still
+ * worth having — an unmarked name never crosses the package boundary.
+ *
+ * `Object.assign` rather than `export namespace`: the latter is banned by this
+ * repo's own lint (`no-namespace: error`, inherited from strict-type-checked).
+ *
+ * @experimental
+ */
+declare function skillSpec<const P extends AuthoredPurity | undefined = undefined, V extends ToolVocabulary = OpenToolVocabulary>(spec: SkillSpecInput<P, V>): SkillSpec;
+/**
  * @experimental
  */
-export declare function experimental_skill<const P extends AuthoredPurity | undefined = undefined, V extends ToolVocabulary = OpenToolVocabulary>(spec: SkillSpecInput<P, V>): SkillSpec;
+export declare const experimental_skill: typeof skillSpec & {
+    input: typeof input;
+    step: typeof step;
+};
 /**
  * A subagent definition (compiles to `agents/<name>.md`). Unlike a skill —
  * reference material the model reads on activation — a subagent is a *delegated

package/dist/core/spec.js

@@ -10,7 +10,7 @@
  *   guidance() — prose only, no mechanical enforcement
  */
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.BUILTIN_LINTERS = void 0;
+exports.experimental_skill = exports.BUILTIN_LINTERS = void 0;
 exports.enforce = enforce;
 exports.guidance = guidance;
 exports.guard = guard;
@@ -24,9 +24,6 @@ exports.instructions = instructions;
 exports.experimental_effect = experimental_effect;
 exports.claude = claude;
 exports.project = project;
-exports.input = input;
-exports.step = step;
-exports.experimental_skill = experimental_skill;
 exports.agent = agent;
 exports.result = result;
 exports.delegate = delegate;
@@ -222,11 +219,20 @@ function claude(spec) {
 function project(role) {
     return { _ref: "role", role };
 }
-/** Declare a skill input (compiles to argument-hint + an Arguments entry). */
+/**
+ * Declare a skill input (compiles to argument-hint + an Arguments entry).
+ *
+ * Deliberately NOT a standalone export — reached as `experimental_skill.input`.
+ * The reason is on `experimental_skill` below.
+ */
 function input(name, hint, opts = {}) {
     return { name, hint, required: opts.required };
 }
-/** Declare a gated pipeline step. */
+/**
+ * Declare a gated pipeline step.
+ *
+ * Deliberately NOT a standalone export — reached as `experimental_skill.step`.
+ */
 function step(instr, opts = {}) {
     return { do: instr, gate: opts.gate, retry: opts.retry };
 }
@@ -245,11 +251,31 @@ function step(instr, opts = {}) {
  * DIFFERENT function — a `Check<Trace>` taking an id string, asking whether a
  * skill fired. This one authors a skill; that one observes one.
  *
+ * Its helper vocabulary hangs off it — `experimental_skill.input(…)` and
+ * `experimental_skill.step(…)` — rather than being exported beside it. Both are
+ * used ONLY by skill specs (measured: zero uses in agent/claude specs, against
+ * `cmd`/`file`/`ref`/`result`, which are shared and therefore stay top-level).
+ * Hanging them here makes the experimental marking STRUCTURAL for the whole
+ * family: you cannot reach `input()` without naming `experimental_skill` first.
+ * The prefix convention alone could not do that — it is a habit, and it had
+ * already leaked once when `skill()` shipped stable-named against its own docs.
+ *
+ * Honest limit: `const { input } = experimental_skill` strips the marker again
+ * inside one file. What the shape actually guarantees is narrower and still
+ * worth having — an unmarked name never crosses the package boundary.
+ *
+ * `Object.assign` rather than `export namespace`: the latter is banned by this
+ * repo's own lint (`no-namespace: error`, inherited from strict-type-checked).
+ *
  * @experimental
  */
-function experimental_skill(spec) {
+function skillSpec(spec) {
     return { _specType: "skill", ...spec };
 }
+/**
+ * @experimental
+ */
+exports.experimental_skill = Object.assign(skillSpec, { input, step });
 /**
  * Define a subagent specification (compiles to `agents/<name>.md`).
  *

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "vigiles",
-  "version": "15.4.1",
+  "version": "16.0.0",
   "description": "Audit, test and measure the harness your AI agent runs on — grade your CLAUDE.md / AGENTS.md, skills, subagents and hooks, run them against a scripted model, and measure whether they actually fire.",
   "keywords": [
     "claude-code",
@@ -89,6 +89,7 @@
     "test:types": "npm run build && tsc --noEmit -p test/types/tsconfig.json",
     "api:report": "npm run build && node scripts/api-extractor.mjs --local",
     "api:check": "npm run build && node scripts/api-extractor.mjs",
+    "check": "node scripts/check.mjs",
     "docs:check": "npm run build && node scripts/check-doc-imports.mjs . docs README.md",
     "exports:check": "npm run build && node scripts/check-export-prefixes.mjs .",
     "experimental:check": "npm run api:check && node scripts/check-experimental-naming.mjs",
@@ -98,6 +99,7 @@
     "@eslint/js": "^10.0.1",
     "@jackchuka/mdschema": "^0.12.8",
     "@microsoft/api-extractor": "^7.58.9",
+    "@semantic-release/commit-analyzer": "^13.0.1",
     "@types/js-yaml": "^4.0.9",
     "@types/markdown-it": "^14.1.2",
     "@types/minimatch": "^5.1.2",
@@ -105,6 +107,7 @@
     "@typescript-eslint/eslint-plugin": "^8.58.0",
     "@typescript-eslint/parser": "^8.58.0",
     "@vitest/coverage-v8": "^4.1.8",
+    "conventional-changelog-conventionalcommits": "^10.3.0",
     "eslint": "^10.1.0",
     "eslint-import-resolver-typescript": "^4.4.5",
     "eslint-plugin-boundaries": "^6.0.2",