vigiles 20.0.0 → 21.0.0

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

@@ -48,7 +48,44 @@ export interface ClaudeCodeToolVocabulary extends ToolVocabulary {
  * runtime (it IS the core builder); the only difference is the typed `tools`
  * constraint. `P` is inferred from the literal `purity` field.
  */
-export declare function experimental_agent<const P extends AuthoredPurity | undefined = undefined>(spec: AgentSpecInput<P, ClaudeCodeToolVocabulary>): AgentSpec;
+declare function agentSpec<const P extends AuthoredPurity | undefined = undefined>(spec: AgentSpecInput<P, ClaudeCodeToolVocabulary>): AgentSpec;
+/**
+ * The Claude Code subagent root. Carries the SAME vocabulary members as the core
+ * builder, and it must: they stopped being standalone exports when the vocabulary
+ * moved onto the root, so an author who picked this door would otherwise have no
+ * way to reach them — the same asymmetry `experimental_skill.input()` closed.
+ *
+ * @experimental
+ */
+export declare const experimental_agent: typeof agentSpec & {
+    result: <const Ok extends import("../../core/spec.js").Shape, const Err extends import("../../core/spec.js").Shape>(ok: Ok, err: Err) => import("../../core/spec.js").OutputContract<Ok, Err>;
+    delegate: (agent: string, task?: string, needsContract?: import("../../core/spec.js").Shape) => import("../../core/spec.js").RailwayStep;
+    railway: (spec: Omit<import("../../core/spec.js").Railway, "_specType">) => import("../../core/spec.js").Railway;
+    needs: <const N extends import("../../core/spec.js").Shape>(shape: N) => import("../../core/spec.js").NeedsContract<N>;
+    pipeStep: <Needs extends import("../../core/spec.js").Shape, Ok extends import("../../core/spec.js").Shape, Err extends import("../../core/spec.js").Shape>(a: import("../../core/spec.js").TypedAgentSpec<Ok, Err>, needsContract?: Needs) => import("../../core/spec.js").PipeStep<Needs, Ok, Err>;
+    start: <Ok extends import("../../core/spec.js").Shape, Err extends import("../../core/spec.js").Shape>(first: import("../../core/spec.js").PipeStep<Record<string, never>, Ok, Err> | import("../../core/spec.js").TypedAgentSpec<Ok, Err>) => import("../../core/spec.js").Pipeline<Ok, Err>;
+    andThen: <PriorOk extends import("../../core/spec.js").Shape, PriorErr extends import("../../core/spec.js").Shape, Needs extends import("../../core/spec.js").Shape, Ok extends import("../../core/spec.js").Shape, Err extends import("../../core/spec.js").Shape>(prior: import("../../core/spec.js").Pipeline<PriorOk, PriorErr>, next: import("../../core/spec.js").Supplies<PriorOk, Needs> extends true ? import("../../core/spec.js").PipeStep<Needs, Ok, Err> : {
+        readonly __HANDOFF_ERROR: import("../../core/spec.js").Supplies<PriorOk, Needs>;
+    }) => import("../../core/spec.js").Pipeline<Ok, PriorErr | Err>;
+    pipe: {
+        <A extends import("../../core/spec.js").Shape, AE extends import("../../core/spec.js").Shape>(a: import("../../core/spec.js").TypedAgentSpec<A, AE>): import("../../core/spec.js").Pipeline<A, AE>;
+        <A extends import("../../core/spec.js").Shape, AE extends import("../../core/spec.js").Shape, BN extends import("../../core/spec.js").Shape, B extends import("../../core/spec.js").Shape, BE extends import("../../core/spec.js").Shape>(a: import("../../core/spec.js").TypedAgentSpec<A, AE>, b: import("../../core/spec.js").Supplies<A, BN> extends true ? import("../../core/spec.js").PipeStep<BN, B, BE> : {
+            readonly __HANDOFF_ERROR: import("../../core/spec.js").Supplies<A, BN>;
+        }): import("../../core/spec.js").Pipeline<B, AE | BE>;
+        <A extends import("../../core/spec.js").Shape, AE extends import("../../core/spec.js").Shape, BN extends import("../../core/spec.js").Shape, B extends import("../../core/spec.js").Shape, BE extends import("../../core/spec.js").Shape, CN extends import("../../core/spec.js").Shape, C extends import("../../core/spec.js").Shape, CE extends import("../../core/spec.js").Shape>(a: import("../../core/spec.js").TypedAgentSpec<A, AE>, b: import("../../core/spec.js").Supplies<A, BN> extends true ? import("../../core/spec.js").PipeStep<BN, B, BE> : {
+            readonly __HANDOFF_ERROR: import("../../core/spec.js").Supplies<A, BN>;
+        }, c: import("../../core/spec.js").Supplies<B, CN> extends true ? import("../../core/spec.js").PipeStep<CN, C, CE> : {
+            readonly __HANDOFF_ERROR: import("../../core/spec.js").Supplies<B, CN>;
+        }): import("../../core/spec.js").Pipeline<C, AE | BE | CE>;
+        <A extends import("../../core/spec.js").Shape, AE extends import("../../core/spec.js").Shape, BN extends import("../../core/spec.js").Shape, B extends import("../../core/spec.js").Shape, BE extends import("../../core/spec.js").Shape, CN extends import("../../core/spec.js").Shape, C extends import("../../core/spec.js").Shape, CE extends import("../../core/spec.js").Shape, DN extends import("../../core/spec.js").Shape, D extends import("../../core/spec.js").Shape, DE extends import("../../core/spec.js").Shape>(a: import("../../core/spec.js").TypedAgentSpec<A, AE>, b: import("../../core/spec.js").Supplies<A, BN> extends true ? import("../../core/spec.js").PipeStep<BN, B, BE> : {
+            readonly __HANDOFF_ERROR: import("../../core/spec.js").Supplies<A, BN>;
+        }, c: import("../../core/spec.js").Supplies<B, CN> extends true ? import("../../core/spec.js").PipeStep<CN, C, CE> : {
+            readonly __HANDOFF_ERROR: import("../../core/spec.js").Supplies<B, CN>;
+        }, d: import("../../core/spec.js").Supplies<C, DN> extends true ? import("../../core/spec.js").PipeStep<DN, D, DE> : {
+            readonly __HANDOFF_ERROR: import("../../core/spec.js").Supplies<C, DN>;
+        }): import("../../core/spec.js").Pipeline<D, AE | BE | CE | DE>;
+    };
+};
 /**
  * Define a Claude Code skill with the purity floor enforced AT COMPILE TIME
  * against the Claude Code tool catalog. Identical to the core

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

@@ -1,7 +1,6 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.experimental_skill = void 0;
-exports.experimental_agent = experimental_agent;
+exports.experimental_skill = exports.experimental_agent = void 0;
 /**
  * Typed Claude Code authoring surface — the compile-time half of the purity
  * contract, bound to the Claude Code tool vocabulary.
@@ -41,9 +40,27 @@ const spec_js_1 = require("../../core/spec.js");
  * runtime (it IS the core builder); the only difference is the typed `tools`
  * constraint. `P` is inferred from the literal `purity` field.
  */
-function experimental_agent(spec) {
+function agentSpec(spec) {
     return (0, spec_js_1.experimental_agent)(spec);
 }
+/**
+ * The Claude Code subagent root. Carries the SAME vocabulary members as the core
+ * builder, and it must: they stopped being standalone exports when the vocabulary
+ * moved onto the root, so an author who picked this door would otherwise have no
+ * way to reach them — the same asymmetry `experimental_skill.input()` closed.
+ *
+ * @experimental
+ */
+exports.experimental_agent = Object.assign(agentSpec, {
+    result: spec_js_1.experimental_agent.result,
+    delegate: spec_js_1.experimental_agent.delegate,
+    railway: spec_js_1.experimental_agent.railway,
+    needs: spec_js_1.experimental_agent.needs,
+    pipeStep: spec_js_1.experimental_agent.pipeStep,
+    start: spec_js_1.experimental_agent.start,
+    andThen: spec_js_1.experimental_agent.andThen,
+    pipe: spec_js_1.experimental_agent.pipe,
+});
 /**
  * Define a Claude Code skill with the purity floor enforced AT COMPILE TIME
  * against the Claude Code tool catalog. Identical to the core

package/dist/core/spec.d.ts

@@ -717,7 +717,7 @@ export type OkOf<T> = T extends TypedOutcome<infer Ok, Shape> ? Ok : Shape;
  * loaded a compiled `agents/code-reviewer.md`, dispatched to it and read it,
  * 100% of trials — stronger end-to-end evidence than `experimental_skill` has.
  */
-export declare function experimental_agent<const P extends AuthoredPurity | undefined = undefined, V extends ToolVocabulary = OpenToolVocabulary, Ok extends Shape = Shape, Err extends Shape = Shape>(spec: AgentSpecInput<P, V, Ok, Err>): TypedAgentSpec<Ok, Err>;
+declare function agentSpec<const P extends AuthoredPurity | undefined = undefined, V extends ToolVocabulary = OpenToolVocabulary, Ok extends Shape = Shape, Err extends Shape = Shape>(spec: AgentSpecInput<P, V, Ok, Err>): TypedAgentSpec<Ok, Err>;
 /**
  * The field types a result contract can declare (kept tiny + dependency-free).
  *
@@ -771,8 +771,9 @@ export interface OutputContract<Ok extends Shape = Shape, Err extends Shape = Sh
  * cross-reference one agent's `ok` against the next agent's needs at `tsc` time.
  * The return is still an `OutputContract`, so every existing consumer (the
  * `output:` field, `renderOutputContract`, `parseAgentResult`) is unchanged.
+ 
  */
-export declare function result<const Ok extends Shape, const Err extends Shape>(ok: Ok, err: Err): OutputContract<Ok, Err>;
+declare function result<const Ok extends Shape, const Err extends Shape>(ok: Ok, err: Err): OutputContract<Ok, Err>;
 /** One step on a railway: dispatch a flat subagent (the "activity"). */
 export interface RailwayStep {
     readonly _step: "delegate";
@@ -803,8 +804,9 @@ export interface RailwayStep {
  * handoff that doesn't line up is a `tsc` error naming the offending field.
  * Omitting it (the historical 1-/2-arg call) keeps the exact string-path
  * behavior — fully backwards-compatible.
+ 
  */
-export declare function delegate(agent: string, task?: string, needsContract?: Shape): RailwayStep;
+declare function delegate(agent: string, task?: string, needsContract?: Shape): RailwayStep;
 /**
  * A railway over flat subagents. `steps` run in order on the success track; the
  * first step that returns an error short-circuits to `onError`. `recover`
@@ -833,8 +835,9 @@ export interface Railway {
  *     onError: delegate("reporter"),
  *     recover: { step: delegate("fixer"), max: 2 },
  *   })
+ 
  */
-export declare function railway(spec: Omit<Railway, "_specType">): Railway;
+declare function railway(spec: Omit<Railway, "_specType">): Railway;
 /**
  * A subagent's INPUT contract — the fields it reads from the prior step's `ok`.
  * Declared via `needs(...)` and threaded into the typed agent so `pipe` can
@@ -854,8 +857,9 @@ export type NeedsContract<N extends Shape> = N;
  *
  * @experimental Experimental typed-composition surface — NOT part of the frozen
  * public API (pre-1.0); may change without a major bump.
+ 
  */
-export declare function experimental_needs<const N extends Shape>(shape: N): NeedsContract<N>;
+declare function experimental_needs<const N extends Shape>(shape: N): NeedsContract<N>;
 /**
  * A typed pipeline step: a `TypedAgentSpec` paired with the input `needs` it
  * reads from the prior step's `ok`. `step()` builds one; `pipe` checks that the
@@ -878,8 +882,9 @@ export interface PipeStep<Needs extends Shape, Ok extends Shape, Err extends Sha
  *
  * @experimental Experimental typed-composition surface — NOT part of the frozen
  * public API (pre-1.0); may change without a major bump.
+ 
  */
-export declare function experimental_pipeStep<Needs extends Shape, Ok extends Shape, Err extends Shape>(a: TypedAgentSpec<Ok, Err>, needsContract?: Needs): PipeStep<Needs, Ok, Err>;
+declare function experimental_pipeStep<Needs extends Shape, Ok extends Shape, Err extends Shape>(a: TypedAgentSpec<Ok, Err>, needsContract?: Needs): PipeStep<Needs, Ok, Err>;
 /**
  * True iff `Producer` provides EVERY field `Consumer` needs, with matching
  * field types. When satisfiable it is `true`; otherwise it collapses to a
@@ -940,8 +945,9 @@ export interface Pipeline<Ok extends Shape, Err extends Shape> {
  *
  * @experimental Experimental typed-composition surface — NOT part of the frozen
  * public API (pre-1.0); may change without a major bump.
+ 
  */
-export declare function experimental_start<Ok extends Shape, Err extends Shape>(first: PipeStep<Record<string, never>, Ok, Err> | TypedAgentSpec<Ok, Err>): Pipeline<Ok, Err>;
+declare function experimental_start<Ok extends Shape, Err extends Shape>(first: PipeStep<Record<string, never>, Ok, Err> | TypedAgentSpec<Ok, Err>): Pipeline<Ok, Err>;
 /**
  * Append a step to a typed pipeline. The handoff is CHECKED: the constraint
  * `Supplies<PriorOk, Needs>` must be `true`, else the `next` parameter's type
@@ -955,8 +961,9 @@ export declare function experimental_start<Ok extends Shape, Err extends Shape>(
  *
  * @experimental Experimental typed-composition surface — NOT part of the frozen
  * public API (pre-1.0); may change without a major bump.
+ 
  */
-export declare function experimental_andThen<PriorOk extends Shape, PriorErr extends Shape, Needs extends Shape, Ok extends Shape, Err extends Shape>(prior: Pipeline<PriorOk, PriorErr>, next: Supplies<PriorOk, Needs> extends true ? PipeStep<Needs, Ok, Err> : {
+declare function experimental_andThen<PriorOk extends Shape, PriorErr extends Shape, Needs extends Shape, Ok extends Shape, Err extends Shape>(prior: Pipeline<PriorOk, PriorErr>, next: Supplies<PriorOk, Needs> extends true ? PipeStep<Needs, Ok, Err> : {
     readonly __HANDOFF_ERROR: Supplies<PriorOk, Needs>;
 }): Pipeline<Ok, PriorErr | Err>;
 /**
@@ -979,16 +986,16 @@ export declare function experimental_andThen<PriorOk extends Shape, PriorErr ext
  * @experimental Experimental typed-composition surface — NOT part of the frozen
  * public API (pre-1.0); may change without a major bump.
  */
-export declare function experimental_pipe<A extends Shape, AE extends Shape>(a: TypedAgentSpec<A, AE>): Pipeline<A, AE>;
-export declare function experimental_pipe<A extends Shape, AE extends Shape, BN extends Shape, B extends Shape, BE extends Shape>(a: TypedAgentSpec<A, AE>, b: Supplies<A, BN> extends true ? PipeStep<BN, B, BE> : {
+declare function experimental_pipe<A extends Shape, AE extends Shape>(a: TypedAgentSpec<A, AE>): Pipeline<A, AE>;
+declare function experimental_pipe<A extends Shape, AE extends Shape, BN extends Shape, B extends Shape, BE extends Shape>(a: TypedAgentSpec<A, AE>, b: Supplies<A, BN> extends true ? PipeStep<BN, B, BE> : {
     readonly __HANDOFF_ERROR: Supplies<A, BN>;
 }): Pipeline<B, AE | BE>;
-export declare function experimental_pipe<A extends Shape, AE extends Shape, BN extends Shape, B extends Shape, BE extends Shape, CN extends Shape, C extends Shape, CE extends Shape>(a: TypedAgentSpec<A, AE>, b: Supplies<A, BN> extends true ? PipeStep<BN, B, BE> : {
+declare function experimental_pipe<A extends Shape, AE extends Shape, BN extends Shape, B extends Shape, BE extends Shape, CN extends Shape, C extends Shape, CE extends Shape>(a: TypedAgentSpec<A, AE>, b: Supplies<A, BN> extends true ? PipeStep<BN, B, BE> : {
     readonly __HANDOFF_ERROR: Supplies<A, BN>;
 }, c: Supplies<B, CN> extends true ? PipeStep<CN, C, CE> : {
     readonly __HANDOFF_ERROR: Supplies<B, CN>;
 }): Pipeline<C, AE | BE | CE>;
-export declare function experimental_pipe<A extends Shape, AE extends Shape, BN extends Shape, B extends Shape, BE extends Shape, CN extends Shape, C extends Shape, CE extends Shape, DN extends Shape, D extends Shape, DE extends Shape>(a: TypedAgentSpec<A, AE>, b: Supplies<A, BN> extends true ? PipeStep<BN, B, BE> : {
+declare function experimental_pipe<A extends Shape, AE extends Shape, BN extends Shape, B extends Shape, BE extends Shape, CN extends Shape, C extends Shape, CE extends Shape, DN extends Shape, D extends Shape, DE extends Shape>(a: TypedAgentSpec<A, AE>, b: Supplies<A, BN> extends true ? PipeStep<BN, B, BE> : {
     readonly __HANDOFF_ERROR: Supplies<A, BN>;
 }, c: Supplies<B, CN> extends true ? PipeStep<CN, C, CE> : {
     readonly __HANDOFF_ERROR: Supplies<B, CN>;
@@ -1063,6 +1070,38 @@ export declare const claude: typeof instructionFile;
  * {@link instructionFile} builds. Removed one major AFTER the one that introduces it.
  */
 export declare const instructions: typeof prose;
+/**
+ * Define a subagent — and the ROOT of the subagent vocabulary.
+ *
+ * Everything that only makes sense for subagents hangs off this one symbol:
+ * `experimental_agent.result()` (the outcome contract), `.railway()` / `.delegate()`
+ * (the flat orchestrator), and `.pipe()` / `.start()` / `.andThen()` / `.pipeStep()` /
+ * `.needs()` (the typed pipeline). Same chokepoint as `experimental_skill.input()`.
+ *
+ * WHY a root and not a prefix on each name: `railway()` and `delegate()` are
+ * meaningless without a subagent, yet they shipped under STABLE names while the
+ * builder they depend on is experimental — a stable name resting on an unstable
+ * one. Prefixing each would carry the warning but multiply the vocabulary; a
+ * namespace OBJECT was rejected for the reason the `vigiles/experimental` subpath
+ * was retired in #169 — it marks the import line, out of view by the time anyone
+ * reads the call. A member reached through the marked root cannot be destructured
+ * free of its warning without renaming it, so the warning rides every call site.
+ *
+ * The rule this establishes: ONE experimental root per feature, everything else a
+ * member of it, TYPES excluded (a type annotation is not a call site).
+ *
+ * @experimental
+ */
+export declare const experimental_agent: typeof agentSpec & {
+    result: typeof result;
+    delegate: typeof delegate;
+    railway: typeof railway;
+    needs: typeof experimental_needs;
+    pipeStep: typeof experimental_pipeStep;
+    start: typeof experimental_start;
+    andThen: typeof experimental_andThen;
+    pipe: typeof experimental_pipe;
+};
 /**
  * @deprecated Renamed to {@link experimental_agent} — the shape is not settled.
  * Removed one major AFTER the one that introduces it.
@@ -1073,6 +1112,15 @@ export declare const instructions: typeof prose;
  * the unprefixed name keeps compiling for one major. It carries the tag because
  * it is the same function, and the tag is what the deprecation notice points at.
  */
-export declare const agent: typeof experimental_agent;
+export declare const agent: typeof agentSpec & {
+    result: typeof result;
+    delegate: typeof delegate;
+    railway: typeof railway;
+    needs: typeof experimental_needs;
+    pipeStep: typeof experimental_pipeStep;
+    start: typeof experimental_start;
+    andThen: typeof experimental_andThen;
+    pipe: typeof experimental_pipe;
+};
 export {};
 //# sourceMappingURL=spec.d.ts.map

package/dist/core/spec.js

@@ -10,7 +10,7 @@
  *   guidance() — prose only, no mechanical enforcement
  */
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.agent = exports.instructions = exports.claude = exports.experimental_skill = exports.BUILTIN_LINTERS = void 0;
+exports.agent = exports.experimental_agent = exports.instructions = exports.claude = exports.experimental_skill = exports.BUILTIN_LINTERS = void 0;
 exports.enforce = enforce;
 exports.guidance = guidance;
 exports.guard = guard;
@@ -24,15 +24,6 @@ exports.prose = prose;
 exports.experimental_effect = experimental_effect;
 exports.instructionFile = instructionFile;
 exports.project = project;
-exports.experimental_agent = experimental_agent;
-exports.result = result;
-exports.delegate = delegate;
-exports.railway = railway;
-exports.experimental_needs = experimental_needs;
-exports.experimental_pipeStep = experimental_pipeStep;
-exports.experimental_start = experimental_start;
-exports.experimental_andThen = experimental_andThen;
-exports.experimental_pipe = experimental_pipe;
 exports.defineConfig = defineConfig;
 // ---------------------------------------------------------------------------
 // Template literal types for type-safe linter references
@@ -332,7 +323,7 @@ exports.experimental_skill = Object.assign(skillSpec, { input, step });
  * loaded a compiled `agents/code-reviewer.md`, dispatched to it and read it,
  * 100% of trials — stronger end-to-end evidence than `experimental_skill` has.
  */
-function experimental_agent(spec) {
+function agentSpec(spec) {
     return { _specType: "agent", ...spec };
 }
 /**
@@ -351,6 +342,7 @@ function experimental_agent(spec) {
  * cross-reference one agent's `ok` against the next agent's needs at `tsc` time.
  * The return is still an `OutputContract`, so every existing consumer (the
  * `output:` field, `renderOutputContract`, `parseAgentResult`) is unchanged.
+ 
  */
 function result(ok, err) {
     return { _ref: "output", ok, err };
@@ -368,6 +360,7 @@ function result(ok, err) {
  * handoff that doesn't line up is a `tsc` error naming the offending field.
  * Omitting it (the historical 1-/2-arg call) keeps the exact string-path
  * behavior — fully backwards-compatible.
+ 
  */
 function delegate(agent, task, needsContract) {
     const base = task === undefined
@@ -384,6 +377,7 @@ function delegate(agent, task, needsContract) {
  *     onError: delegate("reporter"),
  *     recover: { step: delegate("fixer"), max: 2 },
  *   })
+ 
  */
 function railway(spec) {
     return { _specType: "railway", ...spec };
@@ -397,6 +391,7 @@ function railway(spec) {
  *
  * @experimental Experimental typed-composition surface — NOT part of the frozen
  * public API (pre-1.0); may change without a major bump.
+ 
  */
 function experimental_needs(shape) {
     return shape;
@@ -410,6 +405,7 @@ function experimental_needs(shape) {
  *
  * @experimental Experimental typed-composition surface — NOT part of the frozen
  * public API (pre-1.0); may change without a major bump.
+ 
  */
 function experimental_pipeStep(a, needsContract = {}) {
     return { _step: "typed-delegate", agent: a, needs: needsContract };
@@ -421,6 +417,7 @@ function experimental_pipeStep(a, needsContract = {}) {
  *
  * @experimental Experimental typed-composition surface — NOT part of the frozen
  * public API (pre-1.0); may change without a major bump.
+ 
  */
 function experimental_start(first) {
     const step = "_step" in first
@@ -451,6 +448,7 @@ function experimental_start(first) {
  *
  * @experimental Experimental typed-composition surface — NOT part of the frozen
  * public API (pre-1.0); may change without a major bump.
+ 
  */
 function experimental_andThen(prior, next) {
     const real = next;
@@ -511,6 +509,38 @@ exports.claude = instructionFile;
  * {@link instructionFile} builds. Removed one major AFTER the one that introduces it.
  */
 exports.instructions = prose;
+/**
+ * Define a subagent — and the ROOT of the subagent vocabulary.
+ *
+ * Everything that only makes sense for subagents hangs off this one symbol:
+ * `experimental_agent.result()` (the outcome contract), `.railway()` / `.delegate()`
+ * (the flat orchestrator), and `.pipe()` / `.start()` / `.andThen()` / `.pipeStep()` /
+ * `.needs()` (the typed pipeline). Same chokepoint as `experimental_skill.input()`.
+ *
+ * WHY a root and not a prefix on each name: `railway()` and `delegate()` are
+ * meaningless without a subagent, yet they shipped under STABLE names while the
+ * builder they depend on is experimental — a stable name resting on an unstable
+ * one. Prefixing each would carry the warning but multiply the vocabulary; a
+ * namespace OBJECT was rejected for the reason the `vigiles/experimental` subpath
+ * was retired in #169 — it marks the import line, out of view by the time anyone
+ * reads the call. A member reached through the marked root cannot be destructured
+ * free of its warning without renaming it, so the warning rides every call site.
+ *
+ * The rule this establishes: ONE experimental root per feature, everything else a
+ * member of it, TYPES excluded (a type annotation is not a call site).
+ *
+ * @experimental
+ */
+exports.experimental_agent = Object.assign(agentSpec, {
+    result,
+    delegate,
+    railway,
+    needs: experimental_needs,
+    pipeStep: experimental_pipeStep,
+    start: experimental_start,
+    andThen: experimental_andThen,
+    pipe: experimental_pipe,
+});
 /**
  * @deprecated Renamed to {@link experimental_agent} — the shape is not settled.
  * Removed one major AFTER the one that introduces it.
@@ -521,5 +551,5 @@ exports.instructions = prose;
  * the unprefixed name keeps compiling for one major. It carries the tag because
  * it is the same function, and the tag is what the deprecation notice points at.
  */
-exports.agent = experimental_agent;
+exports.agent = exports.experimental_agent;
 //# sourceMappingURL=spec.js.map

package/dist/linting.d.ts

@@ -30,7 +30,7 @@
  * `OutputContract` TYPE stays, because `compileAgent`/`compileSkill` name it in
  * their own types. A consumer who needs to BUILD one imports `vigiles/spec`.
  */
-export { instructionFile, prose, experimental_effect, enforce, guidance, guard, file, cmd, symbol, ref, dir, glob, project, experimental_skill, experimental_agent, railway, delegate, 
+export { instructionFile, prose, experimental_effect, enforce, guidance, guard, file, cmd, symbol, ref, dir, glob, project, experimental_skill, experimental_agent, 
 /** @deprecated Renamed to `instructionFile`. Removed one major AFTER the one that introduces it. */
 claude, 
 /** @deprecated Renamed to `prose`. Removed one major AFTER the one that introduces it. */

package/dist/linting.js

@@ -32,7 +32,7 @@
  * their own types. A consumer who needs to BUILD one imports `vigiles/spec`.
  */
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.compileRailway = exports.compileAgent = exports.compileSkill = exports.compileClaude = exports.BUILTIN_LINTERS = exports.agent = exports.instructions = exports.claude = exports.delegate = exports.railway = exports.experimental_agent = exports.experimental_skill = exports.project = exports.glob = exports.dir = exports.ref = exports.symbol = exports.cmd = exports.file = exports.guard = exports.guidance = exports.enforce = exports.experimental_effect = exports.prose = exports.instructionFile = void 0;
+exports.compileRailway = exports.compileAgent = exports.compileSkill = exports.compileClaude = exports.BUILTIN_LINTERS = exports.agent = exports.instructions = exports.claude = exports.experimental_agent = exports.experimental_skill = exports.project = exports.glob = exports.dir = exports.ref = exports.symbol = exports.cmd = exports.file = exports.guard = exports.guidance = exports.enforce = exports.experimental_effect = exports.prose = exports.instructionFile = void 0;
 // --- the spec authoring builders: rules, refs, prose, and the three spec kinds ---
 var spec_js_1 = require("./core/spec.js");
 // instruction files
@@ -53,9 +53,8 @@ Object.defineProperty(exports, "glob", { enumerable: true, get: function () { re
 Object.defineProperty(exports, "project", { enumerable: true, get: function () { return spec_js_1.project; } });
 // the other two spec kinds + how a railway wires them
 Object.defineProperty(exports, "experimental_skill", { enumerable: true, get: function () { return spec_js_1.experimental_skill; } });
+// the subagent ROOT — `railway`/`delegate`/`result`/`pipe`… are its members
 Object.defineProperty(exports, "experimental_agent", { enumerable: true, get: function () { return spec_js_1.experimental_agent; } });
-Object.defineProperty(exports, "railway", { enumerable: true, get: function () { return spec_js_1.railway; } });
-Object.defineProperty(exports, "delegate", { enumerable: true, get: function () { return spec_js_1.delegate; } });
 // ─── ОКНО АЛИАСА (один мажор) — see core/spec.ts for why a window is not
 // politeness here. Kept on THIS door too: a consumer importing `claude` from
 // `vigiles/linting` never saw `vigiles/spec`, so the window over there does

package/dist/scaffold-test.js

@@ -151,7 +151,7 @@ function outcomeSection(input, contract) {
         ? `// TODO: assert the VALUES you expect (the shape is already validated above), e.g.:\n//   assert.ok(value.${firstField}, "expected a ${firstField}");`
         : "";
     return `import assert from "node:assert/strict";
-import { result } from "vigiles/spec";
+import { experimental_agent } from "vigiles/spec";\nconst { result } = experimental_agent;
 import { assertAgentOk } from "vigiles";
 
 // Reconstructed from ${input.name}'s ## Output contract (its compiled .md) — the

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "vigiles",
-  "version": "20.0.0",
+  "version": "21.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",