@archmax-ai/harness 0.9.0 → 1.0.0

package/dist/machine/types.d.ts

@@ -6,7 +6,7 @@
  * (`MachineState`) rather than as `z.infer<typeof machineStateSchema>`.
  */
 import type { z } from "zod";
-import type { allowEntrySchema, hookSchema, forbidEntrySchema, hookSpecSchema, machinePromptCacheSettingsSchema, machineSettingsSchema, machineSpecSchema, machineStateSchema, machineTransitionSchema, stateTypeSchema, runtimeMetadataSchema, skillsBlockSchema, mountsBlockSchema, mountAccessSchema, mountGrantEntrySchema, specExtensionsSchema, rubricDeclarationSchema, signatureEntryObjectSchema, specMetadataSchema, stateBudgetSchema, workflowBudgetSchema, toolsBlockSchema, transitionTypeSchema, triggerDeclarationSchema, workflowTestsConfigSchema, workflowSkillsConfigSchema, workflowMountsConfigSchema, workflowToolsConfigSchema } from "./spec-schema.js";
+import type { allowEntrySchema, forbidEntrySchema, machinePromptCacheSettingsSchema, machineSettingsSchema, machineSpecSchema, machineStateSchema, machineTransitionSchema, stateTypeSchema, runtimeMetadataSchema, skillsBlockSchema, mountsBlockSchema, mountAccessSchema, mountGrantEntrySchema, signatureEntryObjectSchema, specMetadataSchema, stateBudgetSchema, toolsBlockSchema, transitionTypeSchema, triggerDeclarationSchema, workflowTestsConfigSchema, workflowSkillsConfigSchema, workflowMountsConfigSchema, workflowToolsConfigSchema } from "./spec-schema.js";
 /**
  * Semantic classification of an outgoing edge, primarily for **human states**: a
  * UI can render `approve`/`reject`/`refine` as distinct decision buttons, and
@@ -25,31 +25,14 @@ export type TransitionType = z.infer<typeof transitionTypeSchema>;
  */
 export type MachineTransition = z.infer<typeof machineTransitionSchema>;
 /**
- * A single lifecycle hook: a tagged object whose single key names its **kind**
- * (`script`, `rubric`, or a custom kind an executor is registered for) and
- * whose value is the kind's target, optionally beside the reserved
- * `max_iterations` sidecar (the bounded grade-and-retry budget of an `after`
- * hook). A rubric's grading criteria are its `instructions` in the spec's
- * `rubrics:` block, never a hook attribute.
- */
-export type Hook = z.infer<typeof hookSchema>;
-/** A `before`/`after` field: one hook or an ordered list run in sequence. */
-export type HookSpec = z.infer<typeof hookSpecSchema>;
-/**
- * Per-state execution budget. `maxTurns` bounds the model iterations of the
- * turn's agent loop; `timeoutMs` aborts the turn when exceeded; `maxParks` bounds
- * how many times the state may park itself with `archmax_wait`. Any exhaustion
- * is a turn failure subject to `on_error`.
+ * Per-state execution budget. `maxTurns` bounds the model calls of the state's
+ * visit — the session's agent in an agent state, the grader's own in a grader
+ * state; `timeoutMs` aborts a model call (an agent state) or the whole grader
+ * run (a grader state) when exceeded; `maxParks` bounds how many times an agent
+ * state may park itself with `archmax_wait`. Any exhaustion is a state failure
+ * subject to `on_error`. A code state takes no budget: it makes no model call.
  */
 export type StateBudget = z.infer<typeof stateBudgetSchema>;
-/**
- * Workflow-wide execution budget. `maxModelCalls` bounds the model calls of one
- * turn (an invocation: a message, a decision, a reply or a delivery) across every
- * state; exhausting it is a failure of the current state, subject to `on_error`.
- */
-export type WorkflowBudget = z.infer<typeof workflowBudgetSchema>;
-/** The turn budget a workflow runs under when it declares none. */
-export declare const DEFAULT_MAX_MODEL_CALLS = 50;
 /** One entry of a `tools.allow` list: a bare tool name, or a constrained shape. */
 export type AllowEntry = z.infer<typeof allowEntrySchema>;
 /**
@@ -96,7 +79,10 @@ export type MountsBlock = z.infer<typeof mountsBlockSchema>;
 /**
  * The kind of a state: `agent` (default) runs a Deep Agent turn that picks a
  * transition with `archmax_advance`; `human` parks the session and a person picks
- * the outgoing edge.
+ * the outgoing edge; `grader` runs an isolated grader subagent and `code` runs
+ * the state's `script` in the sandbox — the two **automated** types, which the
+ * runtime runs on entry with no model call of the session's agent and which
+ * leave by `archmax_advance` or end the session by `archmax_raise`.
  */
 export type StateType = z.infer<typeof stateTypeSchema>;
 /**
@@ -158,24 +144,12 @@ export type TriggerDeclaration = z.infer<typeof triggerDeclarationSchema>;
  * both spellings through `normalizeSignature`, never by hand.
  */
 export type SignatureEntryDeclaration = z.infer<typeof signatureEntryObjectSchema>;
-/** Workspace-declared expectations the runtime cannot verify from the spec alone. */
-export type SpecExtensions = z.infer<typeof specExtensionsSchema>;
 /**
- * Host data, accepted at three positions: the spec root (an authoring UI's canvas
- * state), a state (a node's position), and a rubric (a display label). Preserved
- * across a load, never read by the runtime, and dropped before the spec is
- * hashed.
+ * Host data, accepted at two positions: the spec root (an authoring UI's canvas
+ * state) and a state (a node's position). Preserved across a load, never read by
+ * the runtime, and dropped before the spec is hashed.
  */
 export type SpecMetadata = z.infer<typeof specMetadataSchema>;
-/**
- * One grading rubric: the standard a state's exit is measured against, declared
- * in the same document as the state whose hook names it. `instructions` carries
- * the criteria and the verdict to return; `max_iterations` bounds the
- * grade-and-retry loop (a hook's own sidecar wins over it); `model` names the id
- * the grader runs on. A rubric is authoring-plane content: the agent it grades
- * can neither read it nor dispatch it.
- */
-export type RubricDeclaration = z.infer<typeof rubricDeclarationSchema>;
 /** The whole of `workflow.yaml`. */
 export type MachineSpec = z.infer<typeof machineSpecSchema>;
 /** Runtime knobs derived from `settings`, consumed by the harness. */
@@ -190,12 +164,6 @@ export interface HarnessSettings {
         ttl?: string;
     };
 }
-export interface LifecycleHook {
-    /** Normalized ordered `before` hooks (single spec wrapped in a list). */
-    before?: Hook[];
-    /** Normalized ordered `after` hooks (single spec wrapped in a list). */
-    after?: Hook[];
-}
 /**
  * Whether a spec declares itself out of service — the single interpretation
  * point for {@link MachineSpec.disabled}; a function because some callers hold a

package/dist/machine/types.js

@@ -1,5 +1,3 @@
-/** The turn budget a workflow runs under when it declares none. */
-export const DEFAULT_MAX_MODEL_CALLS = 50;
 /**
  * Whether a spec declares itself out of service — the single interpretation
  * point for {@link MachineSpec.disabled}; a function because some callers hold a

package/dist/machine/types.js.map

@@ -1 +1 @@
-{"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/machine/types.ts"],"names":[],"mappings":"AAsFA,mEAAmE;AACnE,MAAM,CAAC,MAAM,uBAAuB,GAAG,EAAE,CAAC;AAyK1C;;;;;;GAMG;AACH,MAAM,UAAU,YAAY,CAAC,IAAoC;IAC/D,MAAM,QAAQ,GAAI,IAAkD,EAAE,QAAQ,CAAC;IAC/E,OAAO,QAAQ,KAAK,SAAS,IAAI,QAAQ,KAAK,IAAI,IAAI,QAAQ,KAAK,KAAK,CAAC;AAC3E,CAAC"}
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/machine/types.ts"],"names":[],"mappings":"AAoNA;;;;;;GAMG;AACH,MAAM,UAAU,YAAY,CAAC,IAAoC;IAC/D,MAAM,QAAQ,GAAI,IAAkD,EAAE,QAAQ,CAAC;IAC/E,OAAO,QAAQ,KAAK,SAAS,IAAI,QAAQ,KAAK,IAAI,IAAI,QAAQ,KAAK,KAAK,CAAC;AAC3E,CAAC"}

package/dist/machine/validate-spec.d.ts

@@ -5,7 +5,7 @@
  *
  * Pure — no workspace, no backend, no machine — so an editor can show the same
  * findings inline that `archmax validate` prints, and the loader reports exactly
- * these. What needs more than the document (hook scripts on disk, sibling
+ * these. What needs more than the document (code-state scripts on disk, sibling
  * workflows, the skill registry, kernel probes) is `validate/validate.ts`.
  */
 import type { Diagnostic } from "./diagnostic.js";

package/dist/public/sandbox.d.ts

@@ -1,31 +1,35 @@
 /**
- * `@archmax-ai/harness/sandbox` — the typed authoring surface for lifecycle hook
- * scripts. Inside the QuickJS sandbox these names are provided by the prelude
- * and the import line is stripped before evaluation; importing from here buys
- * IDE completion for the hook input, nothing at runtime.
+ * `@archmax-ai/harness/sandbox` — the typed authoring surface for a code state's
+ * script (`workflows/<slug>/scripts/<file>.js`). Inside the QuickJS sandbox these
+ * names are provided by the prelude and the import line is stripped before
+ * evaluation; importing from here buys IDE completion for the state's input,
+ * nothing at runtime.
  *
  * ```js
- * import { veto, ok } from "@archmax-ai/harness/sandbox";
- * /** Vetoes a refund the policy forbids. *\/
- * export default async function hook({ state, phase, variables, messages, toolCalls, tools }) {
- *   const refund = JSON.parse(await tools.readFile({ file_path: "scratchpad/refund.json" }));
- *   if (refund.decision !== "denied") return veto(`order ${refund.orderId} is not eligible`);
- *   return ok();
- * }
+ * import { defineCodeState } from "@archmax-ai/harness/sandbox";
+ * /** Sends a refund the policy forbids back to the agent. *\/
+ * export default defineCodeState(async ({ variables, tools }) => {
+ *   const refund = JSON.parse(await tools.read_file({ file_path: "scratchpad/refund.json" }));
+ *   if (refund.decision === "denied") {
+ *     await tools.archmax_advance({ to: "refund-review", reason: "the denial matches the policy" });
+ *   } else {
+ *     await tools.archmax_advance({ to: "refund-request", reason: `order ${refund.orderId} is not eligible` });
+ *   }
+ * });
  * ```
  *
- * Returning nothing is `ok`; throwing is a veto (hooks are fail-closed).
+ * A code state moves the session itself: `tools.archmax_advance({ to, reason })`
+ * along one of its transitions, or `tools.archmax_raise({ code, reason })` to end
+ * the session as failed. Nothing the script returns is read. A non-terminal code
+ * state that finishes without either call fails, as does one that throws. It
+ * reads the session it checks with `tools.archmax_get_history()`.
  */
-/** What a hook answers with. */
-export interface HookVerdict {
-    verdict: "ok" | "correct" | "veto";
-    reason: string;
-}
 /** One transcript message, as plain data. `role` is `user`, `assistant`, `tool`, `system`, or `runtime`. */
-export interface HookMessage {
+export interface HistoryMessage {
     role: string;
-    /** The message's text; empty on a tool result, whose result `toolCalls` returns. */
+    /** The message's text; on a tool result, the result. */
     text: string;
+    /** Assistant messages: the tool calls the message made. */
     toolCalls?: {
         id?: string;
         name: string;
@@ -33,99 +37,59 @@ export interface HookMessage {
     }[];
     /** Tool results: the tool that answered. */
     tool?: string;
-    /** Tool results: the id of the call answered, as `toolCalls` records carry it. */
+    /** Tool results: the id of the call answered. */
     id?: string;
-    /** Runtime notes: which kind of note (an arrival, a decision, an error route). */
+    /** Runtime notes: which kind of note (an arrival, a decision, an error route, an automated state's move). */
     note?: string;
 }
-/** One tool call of the session, as `toolCalls` returns it. */
-export interface ToolCallRecord {
-    id?: string;
-    name: string;
-    args: unknown;
-    /** The tool's result, parsed when it is JSON text; absent while `pending`. */
-    result?: unknown;
-    /** `rejected` is a call governance refused; `pending` has no result yet. */
-    status: "completed" | "pending" | "failed" | "rejected";
-    /** The state and visit (numbered from 1) of the message that made the call. */
-    state: string;
-    visit: number;
-}
-/** What `toolCalls` narrows by; every given key must match, and an unknown key is refused. */
-export interface ToolCallFilter {
-    name?: string;
-    state?: string;
-    /** A visit's number, or `"current"`: the visit the hook sees. */
-    visit?: number | "current";
-    status?: ToolCallRecord["status"];
-    /** Only the last `last` matches. */
-    last?: number;
-}
-/** The machine context a lifecycle hook receives (also the global `args`). */
-export interface HookArgs {
-    state: string;
-    phase: "before" | "after";
-    /** Which trigger started the run — its id. A run's input is in `variables`. */
-    trigger?: string;
-    /** The session's variables as a plain `name → value` map. Read-only: assigning changes nothing. */
-    variables: Record<string, unknown>;
-    /**
-     * The transcript of the current visit, newest last: everything since the
-     * session entered the state it is in (on an advance, the state being left).
-     */
-    messages: HookMessage[];
-    /** The session's tool calls with their results, across every visit, oldest first. */
-    toolCalls(filter?: ToolCallFilter): Promise<ToolCallRecord[]>;
-    /** `after` hooks on an advance: the transition being attempted and the agent's reason. */
-    from?: string;
-    to?: string;
-    reason?: string;
-}
-/**
- * The privileged tool-call bridge (`tools.*`): the agent's tools as async
- * functions keyed by camelCase name (`tools.readFile({ file_path })`). A hook
- * runs on runtime authority, so the state's allow list does not bind it; the
- * safety rules, the workflow `policy`, and consumer rules do. A refused call
- * rejects with the governance reason.
- */
-export type SandboxTools = Record<string, (input?: unknown) => Promise<unknown>>;
 /**
  * One committed traversal step of a session's audit trail: the state entered,
  * the kind of edge that committed it, the recorded rationale when one was given
  * (on `trigger` steps, the trigger id), and — on `sub-workflow` steps — the
  * child workflow and whether it completed. Each turn begins with a `trigger`
- * step; the order read back is the order committed.
+ * step; the order read back is the order committed. A move by the session's
+ * agent is `agent`, by a grader state `grader`, by a code state `code`.
  */
 export interface TrailStep {
     to: string;
-    kind: "trigger" | "agent" | "human" | "sub-workflow" | "reset" | "on_error";
+    kind: "trigger" | "agent" | "human" | "grader" | "code" | "sub-workflow" | "reset" | "on_error";
     reason?: string;
     workflow?: string;
     status?: "ok" | "error";
     /** Epoch milliseconds at commit. */
     ts: number;
 }
-/** The single object a hook function is called with. */
-export interface HookInput extends HookArgs {
-    tools: SandboxTools;
+/** What a code state's script is run with (also the global `args`). */
+export interface CodeStateArgs {
+    /** The code state's own slug. */
+    state: string;
+    /** Which trigger started the turn — its id. A session's input is in `variables`. */
+    trigger?: string;
+    /** The session's variables as a plain `name → value` map. Read-only: assigning changes nothing — write with `tools.archmax_set_variables`. */
+    variables: Record<string, unknown>;
 }
 /**
- * A hook's return: a verdict, `false` (veto), or nothing (`ok`).
- *
- * Nothing else is read as an opinion. A hook's return value *is* its verdict,
- * so any other object — a misspelled `verdict`, a retired shape like
- * `{ ok: false, reason }` — is a verdict the author got wrong and fails closed
- * with its keys named, rather than being read as `ok` and silently permitting
- * what the hook meant to block. Non-object values (`true`, a number, a bare
- * body's incidental completion value) stay `ok`.
- *
- * These rules are the whole verdict vocabulary, and every hook kind is read
- * through them — a custom kind registered via `hookExecutors` included.
+ * What `tools.archmax_get_history()` answers, as JSON: the session's whole
+ * transcript and its whole trail, oldest first — the same history a grader reads.
+ * `const { messages, trail } = JSON.parse(await tools.archmax_get_history())`.
  */
-export type HookResult = HookVerdict | false | void | undefined;
-export type HookFn = (input: HookInput) => HookResult | Promise<HookResult>;
-export declare function ok(reason?: string): HookVerdict;
-export declare function veto(reason: string): HookVerdict;
-export declare function correct(reason: string): HookVerdict;
-/** Alias for `export default`: `export default defineHook(async (input) => …)`. Identity at runtime. */
-export declare function defineHook(fn: HookFn): HookFn;
+export interface SessionHistory {
+    messages: HistoryMessage[];
+    trail: TrailStep[];
+}
+/**
+ * The code state's tools (`tools.*`): exactly its state's surface — its grants,
+ * the workflow-wide grant, and its controls (`archmax_advance`, `archmax_raise`,
+ * `archmax_get_variables`, `archmax_set_variables`, `archmax_get_history`) — as async functions, by
+ * their own name (`tools.read_file`) or camelCase (`tools.readFile`). A tool the
+ * state does not offer is `undefined`. Every call is governed against the code
+ * state as a model's would be; a refused call rejects with the governance reason.
+ */
+export type SandboxTools = Record<string, (input?: unknown) => Promise<unknown>>;
+/** The single object a code state's default export is called with. */
+export interface CodeStateInput extends CodeStateArgs {
+    tools: SandboxTools;
+}
+export type CodeStateFn = (input: CodeStateInput) => unknown | Promise<unknown>;
+/** Alias for `export default`: `export default defineCodeState(async (input) => …)`. Identity at runtime. */
+export declare function defineCodeState(fn: CodeStateFn): CodeStateFn;

package/dist/public/sandbox.js

@@ -1,32 +1,31 @@
 /**
- * `@archmax-ai/harness/sandbox` — the typed authoring surface for lifecycle hook
- * scripts. Inside the QuickJS sandbox these names are provided by the prelude
- * and the import line is stripped before evaluation; importing from here buys
- * IDE completion for the hook input, nothing at runtime.
+ * `@archmax-ai/harness/sandbox` — the typed authoring surface for a code state's
+ * script (`workflows/<slug>/scripts/<file>.js`). Inside the QuickJS sandbox these
+ * names are provided by the prelude and the import line is stripped before
+ * evaluation; importing from here buys IDE completion for the state's input,
+ * nothing at runtime.
  *
  * ```js
- * import { veto, ok } from "@archmax-ai/harness/sandbox";
- * /** Vetoes a refund the policy forbids. *\/
- * export default async function hook({ state, phase, variables, messages, toolCalls, tools }) {
- *   const refund = JSON.parse(await tools.readFile({ file_path: "scratchpad/refund.json" }));
- *   if (refund.decision !== "denied") return veto(`order ${refund.orderId} is not eligible`);
- *   return ok();
- * }
+ * import { defineCodeState } from "@archmax-ai/harness/sandbox";
+ * /** Sends a refund the policy forbids back to the agent. *\/
+ * export default defineCodeState(async ({ variables, tools }) => {
+ *   const refund = JSON.parse(await tools.read_file({ file_path: "scratchpad/refund.json" }));
+ *   if (refund.decision === "denied") {
+ *     await tools.archmax_advance({ to: "refund-review", reason: "the denial matches the policy" });
+ *   } else {
+ *     await tools.archmax_advance({ to: "refund-request", reason: `order ${refund.orderId} is not eligible` });
+ *   }
+ * });
  * ```
  *
- * Returning nothing is `ok`; throwing is a veto (hooks are fail-closed).
+ * A code state moves the session itself: `tools.archmax_advance({ to, reason })`
+ * along one of its transitions, or `tools.archmax_raise({ code, reason })` to end
+ * the session as failed. Nothing the script returns is read. A non-terminal code
+ * state that finishes without either call fails, as does one that throws. It
+ * reads the session it checks with `tools.archmax_get_history()`.
  */
-export function ok(reason = "ok") {
-    return { verdict: "ok", reason };
-}
-export function veto(reason) {
-    return { verdict: "veto", reason };
-}
-export function correct(reason) {
-    return { verdict: "correct", reason };
-}
-/** Alias for `export default`: `export default defineHook(async (input) => …)`. Identity at runtime. */
-export function defineHook(fn) {
+/** Alias for `export default`: `export default defineCodeState(async (input) => …)`. Identity at runtime. */
+export function defineCodeState(fn) {
     return fn;
 }
 //# sourceMappingURL=sandbox.js.map

package/dist/public/sandbox.js.map

@@ -1 +1 @@
-{"version":3,"file":"sandbox.js","sourceRoot":"","sources":["../../src/public/sandbox.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAoHH,MAAM,UAAU,EAAE,CAAC,MAAM,GAAG,IAAI;IAC9B,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;AACnC,CAAC;AAED,MAAM,UAAU,IAAI,CAAC,MAAc;IACjC,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;AACrC,CAAC;AAED,MAAM,UAAU,OAAO,CAAC,MAAc;IACpC,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC;AACxC,CAAC;AAED,wGAAwG;AACxG,MAAM,UAAU,UAAU,CAAC,EAAU;IACnC,OAAO,EAAE,CAAC;AACZ,CAAC"}
+{"version":3,"file":"sandbox.js","sourceRoot":"","sources":["../../src/public/sandbox.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AAwEH,6GAA6G;AAC7G,MAAM,UAAU,eAAe,CAAC,EAAe;IAC7C,OAAO,EAAE,CAAC;AACZ,CAAC"}

package/dist/public/spec.d.ts

@@ -12,8 +12,8 @@
  *
  * What is **not** here, because it cannot be pure: loading a spec from a
  * backend (`loadMachineSpec`), compiling one (`WorkflowMachine`), the full
- * validator (`validateWorkflow`, which also probes the kernel and reads hook
- * scripts), resolving a trigger against a machine, and every store and mount.
+ * validator (`validateWorkflow`, which also probes the kernel and reads
+ * code-state scripts), resolving a trigger against a machine, and every store and mount.
  * Those stay on the package root.
  *
  * Several names here are also on the root. That is deliberate: this subpath
@@ -30,10 +30,12 @@ triggerDeclarationSchema,
 /** A state's `triggers:` mapping — trigger id to declaration (or `null`). */
 stateTriggersSchema, 
 /** One transition. */
-machineTransitionSchema, transitionTypeSchema, stateTypeSchema, stateBudgetSchema, workflowBudgetSchema, allowEntrySchema, forbidEntrySchema, 
+machineTransitionSchema, transitionTypeSchema, stateTypeSchema, stateBudgetSchema, allowEntrySchema, forbidEntrySchema, 
 /** The `*` entry a `forbid` list uses to refuse every tool. */
-FORBID_ANY_TOOL, toolsBlockSchema, skillsBlockSchema, mountAccessSchema, mountGrantEntrySchema, mountsBlockSchema, workflowMountsConfigSchema, hookSchema, hookSpecSchema, rubricDeclarationSchema, workflowToolsConfigSchema, workflowSkillsConfigSchema, machineSettingsSchema, machinePromptCacheSettingsSchema, workflowTestsConfigSchema, runtimeMetadataSchema, specExtensionsSchema, 
-/** The loose slot for host metadata at the root, on a state and on a rubric. */
+FORBID_ANY_TOOL, toolsBlockSchema, skillsBlockSchema, mountAccessSchema, mountGrantEntrySchema, mountsBlockSchema, workflowMountsConfigSchema, 
+/** A code state's `script:` — a workflow-relative path confined to `scripts/`. */
+codeScriptPathSchema, workflowToolsConfigSchema, workflowSkillsConfigSchema, machineSettingsSchema, machinePromptCacheSettingsSchema, workflowTestsConfigSchema, runtimeMetadataSchema, 
+/** The loose slot for host metadata at the root and on a state. */
 specMetadataSchema, 
 /** One `requires`/`returns` entry: a bare name, or `{ name, type?, description? }`. */
 signatureEntrySchema, 
@@ -42,7 +44,7 @@ parseMachineSpec,
 /** The document-level rules alone, over a spec the shape has accepted. */
 refineSpec, } from "../machine/spec-schema.js";
 export type { SpecSchemaIssue } from "../machine/spec-schema.js";
-export type { MachineSpec, MachineState, MachineTransition, TransitionType, Hook, HookSpec, StateBudget, WorkflowBudget, AllowEntry, ForbidEntry, ToolsBlock, SkillsBlock, MountAccess, MountGrantEntry, MountsBlock, WorkflowMountsConfig, StateType, WorkflowToolsConfig, WorkflowSkillsConfig, MachineSettings, MachinePromptCacheSettings, WorkflowTestsConfig, RuntimeMetadata, TriggerDeclaration, SpecExtensions, SpecMetadata, RubricDeclaration, SignatureEntryDeclaration, } from "../machine/types.js";
+export type { MachineSpec, MachineState, MachineTransition, TransitionType, StateBudget, AllowEntry, ForbidEntry, ToolsBlock, SkillsBlock, MountAccess, MountGrantEntry, MountsBlock, WorkflowMountsConfig, StateType, WorkflowToolsConfig, WorkflowSkillsConfig, MachineSettings, MachinePromptCacheSettings, WorkflowTestsConfig, RuntimeMetadata, TriggerDeclaration, SpecMetadata, SignatureEntryDeclaration, } from "../machine/types.js";
 /** Whether a spec declares itself out of service (`disabled: true`). */
 export { specDisabled } from "../machine/types.js";
 export { 
@@ -61,15 +63,6 @@ export {
 mountNameOf, 
 /** The mount a glob can only ever match inside, or `null` when it is broader. */
 mountNameOfPattern, } from "../core/zones.js";
-export { 
-/** A `before:`/`after:` declaration as a flat list of hooks. */
-normalizeHooks, 
-/** A hook's kind (`script`, `subagent`, a custom one). */
-hookKind, 
-/** A hook's value: the script path, the rubric name. */
-hookValue, 
-/** The keys that ride beside a hook's kind (`max_iterations`) rather than naming one. */
-HOOK_SIDECAR_KEYS, } from "../lifecycle/hook-shape.js";
 export { SLUG_PATTERN, isSlug } from "../machine/slug.js";
 export { MANUAL_TRIGGER, DEFAULT_TRIGGER_ID, 
 /** Parse a dotted session path (`triggers.-1.conversationId`). */
@@ -162,15 +155,15 @@ dispatchIdOf,
 /** The top-level session an id belongs to: the part before the first `~`. */
 rootSessionIdOf, } from "../sessions/scope.js";
 export { DEFAULT_WORKFLOW, 
-/** Where a hook script lives, relative to its workflow directory. */
-HOOKS_DIR, 
+/** Where a code state's script lives, relative to its workflow directory. */
+SCRIPTS_DIR, 
 /** Where a workspace may override the bundled platform prompt (`.platform/system/GRAPH_STATE.md`). */
 PLATFORM_PROMPT_PATH, 
-/** The authored paths of one workflow (`workflow.yaml`, `WORKFLOW.md`, `tests/`, `hooks/`). */
+/** The authored paths of one workflow (`workflow.yaml`, `WORKFLOW.md`, `tests/`, `scripts/`). */
 workflowPaths, 
 /** The runtime-internal layout of one session's folder. */
 sessionPaths, 
-/** Resolve a hook's declared `script:` to an authoring-backend path, or refuse it with a reason. */
-resolveHookScript, } from "../workflow/paths.js";
+/** Resolve a code state's declared `script:` to an authoring-backend path, or refuse it with a reason. */
+resolveCodeScript, } from "../workflow/paths.js";
 export { parseCodeDescription } from "../core/code-description.js";
 export type { CodeDescription } from "../core/code-description.js";

package/dist/public/spec.js

@@ -12,8 +12,8 @@
  *
  * What is **not** here, because it cannot be pure: loading a spec from a
  * backend (`loadMachineSpec`), compiling one (`WorkflowMachine`), the full
- * validator (`validateWorkflow`, which also probes the kernel and reads hook
- * scripts), resolving a trigger against a machine, and every store and mount.
+ * validator (`validateWorkflow`, which also probes the kernel and reads
+ * code-state scripts), resolving a trigger against a machine, and every store and mount.
  * Those stay on the package root.
  *
  * Several names here are also on the root. That is deliberate: this subpath
@@ -31,10 +31,12 @@ triggerDeclarationSchema,
 /** A state's `triggers:` mapping — trigger id to declaration (or `null`). */
 stateTriggersSchema, 
 /** One transition. */
-machineTransitionSchema, transitionTypeSchema, stateTypeSchema, stateBudgetSchema, workflowBudgetSchema, allowEntrySchema, forbidEntrySchema, 
+machineTransitionSchema, transitionTypeSchema, stateTypeSchema, stateBudgetSchema, allowEntrySchema, forbidEntrySchema, 
 /** The `*` entry a `forbid` list uses to refuse every tool. */
-FORBID_ANY_TOOL, toolsBlockSchema, skillsBlockSchema, mountAccessSchema, mountGrantEntrySchema, mountsBlockSchema, workflowMountsConfigSchema, hookSchema, hookSpecSchema, rubricDeclarationSchema, workflowToolsConfigSchema, workflowSkillsConfigSchema, machineSettingsSchema, machinePromptCacheSettingsSchema, workflowTestsConfigSchema, runtimeMetadataSchema, specExtensionsSchema, 
-/** The loose slot for host metadata at the root, on a state and on a rubric. */
+FORBID_ANY_TOOL, toolsBlockSchema, skillsBlockSchema, mountAccessSchema, mountGrantEntrySchema, mountsBlockSchema, workflowMountsConfigSchema, 
+/** A code state's `script:` — a workflow-relative path confined to `scripts/`. */
+codeScriptPathSchema, workflowToolsConfigSchema, workflowSkillsConfigSchema, machineSettingsSchema, machinePromptCacheSettingsSchema, workflowTestsConfigSchema, runtimeMetadataSchema, 
+/** The loose slot for host metadata at the root and on a state. */
 specMetadataSchema, 
 /** One `requires`/`returns` entry: a bare name, or `{ name, type?, description? }`. */
 signatureEntrySchema, 
@@ -59,16 +61,6 @@ export {
 mountNameOf, 
 /** The mount a glob can only ever match inside, or `null` when it is broader. */
 mountNameOfPattern, } from "../core/zones.js";
-// --- Hooks ------------------------------------------------------------------------
-export { 
-/** A `before:`/`after:` declaration as a flat list of hooks. */
-normalizeHooks, 
-/** A hook's kind (`script`, `subagent`, a custom one). */
-hookKind, 
-/** A hook's value: the script path, the rubric name. */
-hookValue, 
-/** The keys that ride beside a hook's kind (`max_iterations`) rather than naming one. */
-HOOK_SIDECAR_KEYS, } from "../lifecycle/hook-shape.js";
 // --- Slugs, triggers, variables --------------------------------------------------
 export { SLUG_PATTERN, isSlug } from "../machine/slug.js";
 export { MANUAL_TRIGGER, DEFAULT_TRIGGER_ID, 
@@ -161,16 +153,16 @@ dispatchIdOf,
 rootSessionIdOf, } from "../sessions/scope.js";
 // --- Paths -------------------------------------------------------------------------------
 export { DEFAULT_WORKFLOW, 
-/** Where a hook script lives, relative to its workflow directory. */
-HOOKS_DIR, 
+/** Where a code state's script lives, relative to its workflow directory. */
+SCRIPTS_DIR, 
 /** Where a workspace may override the bundled platform prompt (`.platform/system/GRAPH_STATE.md`). */
 PLATFORM_PROMPT_PATH, 
-/** The authored paths of one workflow (`workflow.yaml`, `WORKFLOW.md`, `tests/`, `hooks/`). */
+/** The authored paths of one workflow (`workflow.yaml`, `WORKFLOW.md`, `tests/`, `scripts/`). */
 workflowPaths, 
 /** The runtime-internal layout of one session's folder. */
 sessionPaths, 
-/** Resolve a hook's declared `script:` to an authoring-backend path, or refuse it with a reason. */
-resolveHookScript, } from "../workflow/paths.js";
+/** Resolve a code state's declared `script:` to an authoring-backend path, or refuse it with a reason. */
+resolveCodeScript, } from "../workflow/paths.js";
 // --- Scripts -------------------------------------------------------------------------------
 export { parseCodeDescription } from "../core/code-description.js";
 //# sourceMappingURL=spec.js.map

package/dist/public/spec.js.map

@@ -1 +1 @@
-{"version":3,"file":"spec.js","sourceRoot":"","sources":["../../src/public/spec.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;GAqBG;AAEH,gFAAgF;AAEhF,OAAO;AACL,0HAA0H;AAC1H,iBAAiB;AACjB,iBAAiB;AACjB,kBAAkB;AAClB,0FAA0F;AAC1F,wBAAwB;AACxB,6EAA6E;AAC7E,mBAAmB;AACnB,sBAAsB;AACtB,uBAAuB,EACvB,oBAAoB,EACpB,eAAe,EACf,iBAAiB,EACjB,oBAAoB,EACpB,gBAAgB,EAChB,iBAAiB;AACjB,+DAA+D;AAC/D,eAAe,EACf,gBAAgB,EAChB,iBAAiB,EACjB,iBAAiB,EACjB,qBAAqB,EACrB,iBAAiB,EACjB,0BAA0B,EAC1B,UAAU,EACV,cAAc,EACd,uBAAuB,EACvB,yBAAyB,EACzB,0BAA0B,EAC1B,qBAAqB,EACrB,gCAAgC,EAChC,yBAAyB,EACzB,qBAAqB,EACrB,oBAAoB;AACpB,gFAAgF;AAChF,kBAAkB;AAClB,uFAAuF;AACvF,oBAAoB;AACpB,yEAAyE;AACzE,gBAAgB;AAChB,0EAA0E;AAC1E,UAAU,GACX,MAAM,2BAA2B,CAAC;AAiCnC,wEAAwE;AACxE,OAAO,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AAEnD,mFAAmF;AAEnF,OAAO;AACL,+FAA+F;AAC/F,YAAY;AACZ,4DAA4D;AAC5D,qBAAqB,GACtB,MAAM,6BAA6B,CAAC;AAErC,iEAAiE;AACjE,OAAO,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAGnD,qFAAqF;AAErF,OAAO,EAAE,oBAAoB,EAAE,MAAM,4BAA4B,CAAC;AAElE,OAAO;AACL,wEAAwE;AACxE,WAAW;AACX,iFAAiF;AACjF,kBAAkB,GACnB,MAAM,kBAAkB,CAAC;AAE1B,qFAAqF;AAErF,OAAO;AACL,gEAAgE;AAChE,cAAc;AACd,0DAA0D;AAC1D,QAAQ;AACR,wDAAwD;AACxD,SAAS;AACT,yFAAyF;AACzF,iBAAiB,GAClB,MAAM,4BAA4B,CAAC;AAEpC,oFAAoF;AAEpF,OAAO,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAC;AAE1D,OAAO,EACL,cAAc,EACd,kBAAkB;AAClB,kEAAkE;AAClE,gBAAgB;AAChB,kEAAkE;AAClE,gBAAgB;AAChB,qHAAqH;AACrH,mBAAmB;AACnB,8EAA8E;AAC9E,eAAe;AACf,0CAA0C;AAC1C,eAAe;AACf,iEAAiE;AACjE,qBAAqB,GACtB,MAAM,wBAAwB,CAAC;AAShC,OAAO;AACL,iGAAiG;AACjG,eAAe;AACf,+FAA+F;AAC/F,kBAAkB;AAClB,kGAAkG;AAClG,mBAAmB;AACnB,sEAAsE;AACtE,mBAAmB;AACnB,4FAA4F;AAC5F,oBAAoB,GACrB,MAAM,yBAAyB,CAAC;AAQjC,OAAO,EACL,qBAAqB;AACrB,sEAAsE;AACtE,gBAAgB;AAChB,qEAAqE;AACrE,cAAc,EACd,gBAAgB;AAChB,2DAA2D;AAC3D,oBAAoB;AACpB,kDAAkD;AAClD,eAAe;AACf,qEAAqE;AACrE,cAAc;AACd,wDAAwD;AACxD,WAAW;AACX,qEAAqE;AACrE,WAAW,GACZ,MAAM,yBAAyB,CAAC;AAGjC,uFAAuF;AAEvF,OAAO,EACL,mBAAmB,EACnB,YAAY,EACZ,UAAU,EACV,SAAS,EACT,UAAU,EACV,SAAS,EACT,QAAQ,EACR,kBAAkB,EAClB,kBAAkB;AAClB,0EAA0E;AAC1E,SAAS,EACT,oBAAoB,EACpB,gBAAgB,EAChB,wBAAwB,EACxB,kBAAkB;AAClB,4DAA4D;AAC5D,kBAAkB;AAClB,oGAAoG;AACpG,qBAAqB;AACrB,4DAA4D;AAC5D,oBAAoB;AACpB,gGAAgG;AAChG,aAAa;AACb,wCAAwC;AACxC,iBAAiB,EACjB,qBAAqB;AACrB,4FAA4F;AAC5F,cAAc,EACd,cAAc,EACd,gBAAgB,EAChB,kBAAkB,GACnB,MAAM,0BAA0B,CAAC;AAClC,oEAAoE;AACpE,OAAO,EAAE,mBAAmB,EAAE,aAAa,EAAE,MAAM,0BAA0B,CAAC;AAE9E,OAAO;AACL,2GAA2G;AAC3G,iBAAiB;AACjB,mFAAmF;AACnF,gBAAgB,GACjB,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,0BAA0B,EAAE,gCAAgC,EAAE,MAAM,0BAA0B,CAAC;AAExG,yFAAyF;AAEzF,OAAO,EACL,qBAAqB,EACrB,oBAAoB,EACpB,gBAAgB,EAChB,uBAAuB,EACvB,yBAAyB,EACzB,SAAS;AACT,sEAAsE;AACtE,gBAAgB,EAChB,qBAAqB,EACrB,kBAAkB,EAClB,qBAAqB;AACrB,qFAAqF;AACrF,kBAAkB,EAClB,iBAAiB;AACjB,kEAAkE;AAClE,oBAAoB,EACpB,uBAAuB,GACxB,MAAM,kBAAkB,CAAC;AAG1B,0FAA0F;AAE1F,OAAO;AACL,2EAA2E;AAC3E,kBAAkB,EAClB,mBAAmB;AACnB,0EAA0E;AAC1E,oBAAoB,GACrB,MAAM,uBAAuB,CAAC;AAC/B,OAAO;AACL,mEAAmE;AACnE,gBAAgB;AAChB,6EAA6E;AAC7E,iBAAiB;AACjB,4FAA4F;AAC5F,cAAc;AACd,wFAAwF;AACxF,YAAY;AACZ,6EAA6E;AAC7E,eAAe,GAChB,MAAM,sBAAsB,CAAC;AAE9B,4FAA4F;AAE5F,OAAO,EACL,gBAAgB;AAChB,qEAAqE;AACrE,SAAS;AACT,sGAAsG;AACtG,oBAAoB;AACpB,+FAA+F;AAC/F,aAAa;AACb,2DAA2D;AAC3D,YAAY;AACZ,oGAAoG;AACpG,iBAAiB,GAClB,MAAM,sBAAsB,CAAC;AAE9B,8FAA8F;AAE9F,OAAO,EAAE,oBAAoB,EAAE,MAAM,6BAA6B,CAAC"}
+{"version":3,"file":"spec.js","sourceRoot":"","sources":["../../src/public/spec.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;GAqBG;AAEH,gFAAgF;AAEhF,OAAO;AACL,0HAA0H;AAC1H,iBAAiB;AACjB,iBAAiB;AACjB,kBAAkB;AAClB,0FAA0F;AAC1F,wBAAwB;AACxB,6EAA6E;AAC7E,mBAAmB;AACnB,sBAAsB;AACtB,uBAAuB,EACvB,oBAAoB,EACpB,eAAe,EACf,iBAAiB,EACjB,gBAAgB,EAChB,iBAAiB;AACjB,+DAA+D;AAC/D,eAAe,EACf,gBAAgB,EAChB,iBAAiB,EACjB,iBAAiB,EACjB,qBAAqB,EACrB,iBAAiB,EACjB,0BAA0B;AAC1B,kFAAkF;AAClF,oBAAoB,EACpB,yBAAyB,EACzB,0BAA0B,EAC1B,qBAAqB,EACrB,gCAAgC,EAChC,yBAAyB,EACzB,qBAAqB;AACrB,mEAAmE;AACnE,kBAAkB;AAClB,uFAAuF;AACvF,oBAAoB;AACpB,yEAAyE;AACzE,gBAAgB;AAChB,0EAA0E;AAC1E,UAAU,GACX,MAAM,2BAA2B,CAAC;AA4BnC,wEAAwE;AACxE,OAAO,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AAEnD,mFAAmF;AAEnF,OAAO;AACL,+FAA+F;AAC/F,YAAY;AACZ,4DAA4D;AAC5D,qBAAqB,GACtB,MAAM,6BAA6B,CAAC;AAErC,iEAAiE;AACjE,OAAO,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAGnD,qFAAqF;AAErF,OAAO,EAAE,oBAAoB,EAAE,MAAM,4BAA4B,CAAC;AAElE,OAAO;AACL,wEAAwE;AACxE,WAAW;AACX,iFAAiF;AACjF,kBAAkB,GACnB,MAAM,kBAAkB,CAAC;AAE1B,oFAAoF;AAEpF,OAAO,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAC;AAE1D,OAAO,EACL,cAAc,EACd,kBAAkB;AAClB,kEAAkE;AAClE,gBAAgB;AAChB,kEAAkE;AAClE,gBAAgB;AAChB,qHAAqH;AACrH,mBAAmB;AACnB,8EAA8E;AAC9E,eAAe;AACf,0CAA0C;AAC1C,eAAe;AACf,iEAAiE;AACjE,qBAAqB,GACtB,MAAM,wBAAwB,CAAC;AAShC,OAAO;AACL,iGAAiG;AACjG,eAAe;AACf,+FAA+F;AAC/F,kBAAkB;AAClB,kGAAkG;AAClG,mBAAmB;AACnB,sEAAsE;AACtE,mBAAmB;AACnB,4FAA4F;AAC5F,oBAAoB,GACrB,MAAM,yBAAyB,CAAC;AAQjC,OAAO,EACL,qBAAqB;AACrB,sEAAsE;AACtE,gBAAgB;AAChB,qEAAqE;AACrE,cAAc,EACd,gBAAgB;AAChB,2DAA2D;AAC3D,oBAAoB;AACpB,kDAAkD;AAClD,eAAe;AACf,qEAAqE;AACrE,cAAc;AACd,wDAAwD;AACxD,WAAW;AACX,qEAAqE;AACrE,WAAW,GACZ,MAAM,yBAAyB,CAAC;AAGjC,uFAAuF;AAEvF,OAAO,EACL,mBAAmB,EACnB,YAAY,EACZ,UAAU,EACV,SAAS,EACT,UAAU,EACV,SAAS,EACT,QAAQ,EACR,kBAAkB,EAClB,kBAAkB;AAClB,0EAA0E;AAC1E,SAAS,EACT,oBAAoB,EACpB,gBAAgB,EAChB,wBAAwB,EACxB,kBAAkB;AAClB,4DAA4D;AAC5D,kBAAkB;AAClB,oGAAoG;AACpG,qBAAqB;AACrB,4DAA4D;AAC5D,oBAAoB;AACpB,gGAAgG;AAChG,aAAa;AACb,wCAAwC;AACxC,iBAAiB,EACjB,qBAAqB;AACrB,4FAA4F;AAC5F,cAAc,EACd,cAAc,EACd,gBAAgB,EAChB,kBAAkB,GACnB,MAAM,0BAA0B,CAAC;AAClC,oEAAoE;AACpE,OAAO,EAAE,mBAAmB,EAAE,aAAa,EAAE,MAAM,0BAA0B,CAAC;AAE9E,OAAO;AACL,2GAA2G;AAC3G,iBAAiB;AACjB,mFAAmF;AACnF,gBAAgB,GACjB,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,0BAA0B,EAAE,gCAAgC,EAAE,MAAM,0BAA0B,CAAC;AAExG,yFAAyF;AAEzF,OAAO,EACL,qBAAqB,EACrB,oBAAoB,EACpB,gBAAgB,EAChB,uBAAuB,EACvB,yBAAyB,EACzB,SAAS;AACT,sEAAsE;AACtE,gBAAgB,EAChB,qBAAqB,EACrB,kBAAkB,EAClB,qBAAqB;AACrB,qFAAqF;AACrF,kBAAkB,EAClB,iBAAiB;AACjB,kEAAkE;AAClE,oBAAoB,EACpB,uBAAuB,GACxB,MAAM,kBAAkB,CAAC;AAG1B,0FAA0F;AAE1F,OAAO;AACL,2EAA2E;AAC3E,kBAAkB,EAClB,mBAAmB;AACnB,0EAA0E;AAC1E,oBAAoB,GACrB,MAAM,uBAAuB,CAAC;AAC/B,OAAO;AACL,mEAAmE;AACnE,gBAAgB;AAChB,6EAA6E;AAC7E,iBAAiB;AACjB,4FAA4F;AAC5F,cAAc;AACd,wFAAwF;AACxF,YAAY;AACZ,6EAA6E;AAC7E,eAAe,GAChB,MAAM,sBAAsB,CAAC;AAE9B,4FAA4F;AAE5F,OAAO,EACL,gBAAgB;AAChB,6EAA6E;AAC7E,WAAW;AACX,sGAAsG;AACtG,oBAAoB;AACpB,iGAAiG;AACjG,aAAa;AACb,2DAA2D;AAC3D,YAAY;AACZ,0GAA0G;AAC1G,iBAAiB,GAClB,MAAM,sBAAsB,CAAC;AAE9B,8FAA8F;AAE9F,OAAO,EAAE,oBAAoB,EAAE,MAAM,6BAA6B,CAAC"}

package/dist/runtime/contract.d.ts

@@ -26,27 +26,26 @@ export interface ResolvedRuntimeContract extends RuntimeContract {
     /** Offline test-case format implied by this runtime version. */
     testFormat: string;
 }
+/** Default contract version applied when metadata is omitted. */
+export declare const DEFAULT_RUNTIME_VERSION = "3";
 /** The sandbox script contract applied when nothing resolves a runtime version. */
 export declare const DEFAULT_SANDBOX_VERSION: number;
 /**
- * The execution contexts the runtime assembles a prelude for. The vocabulary
- * survived the contract merge; the list of them did not, because nothing
- * enumerated it — a context is always named, never iterated.
+ * The execution contexts the runtime assembles a prelude for: `ptc` for the
+ * agent's own code (`archmax_eval`, `archmax_run`), `code` for a code state's
+ * script. A context is always named, never iterated.
  */
-export type SandboxContext = "lifecycle-hook" | "ptc";
+export type SandboxContext = "ptc" | "code";
 /** The runtime engine this package implements. */
 export declare const RUNTIME_ENGINE = "archmax-harness";
-/** Default contract version applied when metadata is omitted. */
-export declare const DEFAULT_RUNTIME_VERSION = "1";
 /** The contract resolved for workspaces that omit `runtime` metadata. */
 export declare const DEFAULT_RUNTIME_CONTRACT: RuntimeContract;
 /**
- * The explicit set of runtime contracts the installed runtime supports.
- * Version 2 identifies the v2 authoring contract (two-file `workflow.yaml` /
- * `WORKFLOW.md` layout, declarative `tests:` block, typed sandbox imports,
- * verdict-returning hook functions). Load behavior is
- * layout-driven, not version-driven — the version is declarative metadata for
- * support checking, validation, and docs. Version 1 remains supported.
+ * The explicit set of runtime contracts the installed runtime supports. Version
+ * 3 identifies the current authoring contract (two-file `workflow.yaml` /
+ * `WORKFLOW.md` layout, declarative `tests:` block, typed sandbox imports, the
+ * four state types). Load behavior is layout-driven, not version-driven — the
+ * version is declarative metadata for support checking, validation, and docs.
  */
 export declare const SUPPORTED_RUNTIME_CONTRACTS: readonly RuntimeContract[];
 /** Render a contract as `engine@version` for messages and artifacts. */