@archmax-ai/harness 0.8.0 → 1.0.0

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

@@ -33,70 +33,12 @@ export declare const mountGrantEntrySchema: z.ZodUnion<readonly [z.ZodString, z.
  *
  * One loose, named slot for host data the runtime never reads (an authoring UI's
  * canvas state, a node's position) — rather than a `.catchall()`, which would
- * switch off the strictness this file exists for. Accepted at three positions:
- * the spec root, a state, and a rubric declaration.
+ * switch off the strictness this file exists for. Accepted at two positions:
+ * the spec root and a state.
  */
 export declare const specMetadataSchema: z.ZodObject<{}, z.core.$loose>;
-/**
- * @see RubricDeclaration
- *
- * A grading rubric: the standard a state's exit is measured against, declared
- * **inline on the hook that applies it**. `instructions` is the only required
- * key — the same word a state uses for the prose telling a model what to do.
- *
- * There is deliberately no name: a rubric is not a first-order item a hook
- * points at, it is part of the state's own declaration, so reading the state
- * tells you the whole standard without a lookup. The cost is duplication when
- * two states want the same grader, which is accepted: a state is legible on its
- * own, and nothing silently changes what one state grades against by editing
- * something elsewhere. There is no `title` either (nothing routes to a rubric)
- * and no `description`; a host label goes in `metadata`.
- */
-export declare const rubricDeclarationSchema: z.ZodObject<{
-    instructions: z.ZodString;
-    max_iterations: z.ZodOptional<z.ZodNumber>;
-    model: z.ZodOptional<z.ZodString>;
-    metadata: z.ZodOptional<z.ZodObject<{}, z.core.$loose>>;
-}, z.core.$strict>;
-/**
- * One lifecycle hook. The built-in kinds are strict; the custom-kind branch (a
- * record of strings, for an executor registered at assembly) is fenced so it
- * cannot rescue a malformed built-in — `{ script: <bad path> }` must fail the
- * script branch and stay failed.
- */
-export declare const hookSchema: z.ZodUnion<readonly [z.ZodObject<{
-    script: z.ZodString;
-    max_iterations: z.ZodOptional<z.ZodNumber>;
-}, z.core.$strict>, z.ZodObject<{
-    rubric: z.ZodObject<{
-        instructions: z.ZodString;
-        max_iterations: z.ZodOptional<z.ZodNumber>;
-        model: z.ZodOptional<z.ZodString>;
-        metadata: z.ZodOptional<z.ZodObject<{}, z.core.$loose>>;
-    }, z.core.$strict>;
-}, z.core.$strict>, z.ZodRecord<z.ZodString, z.ZodString>]>;
-/** @see HookSpec */
-export declare const hookSpecSchema: z.ZodUnion<readonly [z.ZodUnion<readonly [z.ZodObject<{
-    script: z.ZodString;
-    max_iterations: z.ZodOptional<z.ZodNumber>;
-}, z.core.$strict>, z.ZodObject<{
-    rubric: z.ZodObject<{
-        instructions: z.ZodString;
-        max_iterations: z.ZodOptional<z.ZodNumber>;
-        model: z.ZodOptional<z.ZodString>;
-        metadata: z.ZodOptional<z.ZodObject<{}, z.core.$loose>>;
-    }, z.core.$strict>;
-}, z.core.$strict>, z.ZodRecord<z.ZodString, z.ZodString>]>, z.ZodArray<z.ZodUnion<readonly [z.ZodObject<{
-    script: z.ZodString;
-    max_iterations: z.ZodOptional<z.ZodNumber>;
-}, z.core.$strict>, z.ZodObject<{
-    rubric: z.ZodObject<{
-        instructions: z.ZodString;
-        max_iterations: z.ZodOptional<z.ZodNumber>;
-        model: z.ZodOptional<z.ZodString>;
-        metadata: z.ZodOptional<z.ZodObject<{}, z.core.$loose>>;
-    }, z.core.$strict>;
-}, z.core.$strict>, z.ZodRecord<z.ZodString, z.ZodString>]>>]>;
+/** @see MachineState.script — the file a code state runs. */
+export declare const codeScriptPathSchema: z.ZodString;
 /** @see TransitionType */
 export declare const transitionTypeSchema: z.ZodEnum<{
     approve: "approve";
@@ -222,7 +164,9 @@ export declare const mountsBlockSchema: z.ZodObject<{
 /** @see StateType */
 export declare const stateTypeSchema: z.ZodEnum<{
     human: "human";
+    code: "code";
     agent: "agent";
+    grader: "grader";
 }>;
 /**
  * @see SignatureEntryDeclaration
@@ -239,10 +183,10 @@ export declare const signatureEntryObjectSchema: z.ZodObject<{
         boolean: "boolean";
         object: "object";
         file: "file";
-        date: "date";
-        array: "array";
         integer: "integer";
+        date: "date";
         "date-time": "date-time";
+        array: "array";
     }>>;
     description: z.ZodOptional<z.ZodString>;
 }, z.core.$strict>;
@@ -261,10 +205,10 @@ export declare const signatureEntrySchema: z.ZodUnion<readonly [z.ZodString, z.Z
         boolean: "boolean";
         object: "object";
         file: "file";
-        date: "date";
-        array: "array";
         integer: "integer";
+        date: "date";
         "date-time": "date-time";
+        array: "array";
     }>>;
     description: z.ZodOptional<z.ZodString>;
 }, z.core.$strict>]>;
@@ -288,10 +232,10 @@ export declare const triggerDeclarationSchema: z.ZodObject<{
             boolean: "boolean";
             object: "object";
             file: "file";
-            date: "date";
-            array: "array";
             integer: "integer";
+            date: "date";
             "date-time": "date-time";
+            array: "array";
         }>>;
         description: z.ZodOptional<z.ZodString>;
     }, z.core.$strict>]>>>;
@@ -303,10 +247,10 @@ export declare const triggerDeclarationSchema: z.ZodObject<{
             boolean: "boolean";
             object: "object";
             file: "file";
-            date: "date";
-            array: "array";
             integer: "integer";
+            date: "date";
             "date-time": "date-time";
+            array: "array";
         }>>;
         description: z.ZodOptional<z.ZodString>;
     }, z.core.$strict>]>>>;
@@ -330,10 +274,10 @@ export declare const stateTriggersSchema: z.ZodRecord<z.ZodString, z.ZodNullable
             boolean: "boolean";
             object: "object";
             file: "file";
-            date: "date";
-            array: "array";
             integer: "integer";
+            date: "date";
             "date-time": "date-time";
+            array: "array";
         }>>;
         description: z.ZodOptional<z.ZodString>;
     }, z.core.$strict>]>>>;
@@ -345,10 +289,10 @@ export declare const stateTriggersSchema: z.ZodRecord<z.ZodString, z.ZodNullable
             boolean: "boolean";
             object: "object";
             file: "file";
-            date: "date";
-            array: "array";
             integer: "integer";
+            date: "date";
             "date-time": "date-time";
+            array: "array";
         }>>;
         description: z.ZodOptional<z.ZodString>;
     }, z.core.$strict>]>>>;
@@ -357,7 +301,9 @@ export declare const stateTriggersSchema: z.ZodRecord<z.ZodString, z.ZodNullable
 export declare const machineStateSchema: z.ZodObject<{
     type: z.ZodOptional<z.ZodEnum<{
         human: "human";
+        code: "code";
         agent: "agent";
+        grader: "grader";
     }>>;
     title: z.ZodOptional<z.ZodString>;
     instructions: z.ZodOptional<z.ZodString>;
@@ -377,10 +323,10 @@ export declare const machineStateSchema: z.ZodObject<{
                 boolean: "boolean";
                 object: "object";
                 file: "file";
-                date: "date";
-                array: "array";
                 integer: "integer";
+                date: "date";
                 "date-time": "date-time";
+                array: "array";
             }>>;
             description: z.ZodOptional<z.ZodString>;
         }, z.core.$strict>]>>>;
@@ -392,56 +338,15 @@ export declare const machineStateSchema: z.ZodObject<{
                 boolean: "boolean";
                 object: "object";
                 file: "file";
-                date: "date";
-                array: "array";
                 integer: "integer";
+                date: "date";
                 "date-time": "date-time";
+                array: "array";
             }>>;
             description: z.ZodOptional<z.ZodString>;
         }, z.core.$strict>]>>>;
     }, z.core.$loose>>>>;
-    before: z.ZodOptional<z.ZodUnion<readonly [z.ZodUnion<readonly [z.ZodObject<{
-        script: z.ZodString;
-        max_iterations: z.ZodOptional<z.ZodNumber>;
-    }, z.core.$strict>, z.ZodObject<{
-        rubric: z.ZodObject<{
-            instructions: z.ZodString;
-            max_iterations: z.ZodOptional<z.ZodNumber>;
-            model: z.ZodOptional<z.ZodString>;
-            metadata: z.ZodOptional<z.ZodObject<{}, z.core.$loose>>;
-        }, z.core.$strict>;
-    }, z.core.$strict>, z.ZodRecord<z.ZodString, z.ZodString>]>, z.ZodArray<z.ZodUnion<readonly [z.ZodObject<{
-        script: z.ZodString;
-        max_iterations: z.ZodOptional<z.ZodNumber>;
-    }, z.core.$strict>, z.ZodObject<{
-        rubric: z.ZodObject<{
-            instructions: z.ZodString;
-            max_iterations: z.ZodOptional<z.ZodNumber>;
-            model: z.ZodOptional<z.ZodString>;
-            metadata: z.ZodOptional<z.ZodObject<{}, z.core.$loose>>;
-        }, z.core.$strict>;
-    }, z.core.$strict>, z.ZodRecord<z.ZodString, z.ZodString>]>>]>>;
-    after: z.ZodOptional<z.ZodUnion<readonly [z.ZodUnion<readonly [z.ZodObject<{
-        script: z.ZodString;
-        max_iterations: z.ZodOptional<z.ZodNumber>;
-    }, z.core.$strict>, z.ZodObject<{
-        rubric: z.ZodObject<{
-            instructions: z.ZodString;
-            max_iterations: z.ZodOptional<z.ZodNumber>;
-            model: z.ZodOptional<z.ZodString>;
-            metadata: z.ZodOptional<z.ZodObject<{}, z.core.$loose>>;
-        }, z.core.$strict>;
-    }, z.core.$strict>, z.ZodRecord<z.ZodString, z.ZodString>]>, z.ZodArray<z.ZodUnion<readonly [z.ZodObject<{
-        script: z.ZodString;
-        max_iterations: z.ZodOptional<z.ZodNumber>;
-    }, z.core.$strict>, z.ZodObject<{
-        rubric: z.ZodObject<{
-            instructions: z.ZodString;
-            max_iterations: z.ZodOptional<z.ZodNumber>;
-            model: z.ZodOptional<z.ZodString>;
-            metadata: z.ZodOptional<z.ZodObject<{}, z.core.$loose>>;
-        }, z.core.$strict>;
-    }, z.core.$strict>, z.ZodRecord<z.ZodString, z.ZodString>]>>]>>;
+    script: z.ZodOptional<z.ZodString>;
     budget: z.ZodOptional<z.ZodObject<{
         maxTurns: z.ZodOptional<z.ZodNumber>;
         timeoutMs: z.ZodOptional<z.ZodNumber>;
@@ -480,6 +385,7 @@ export declare const machineStateSchema: z.ZodObject<{
         forbid: z.ZodOptional<z.ZodArray<z.ZodString>>;
     }, z.core.$strict>>;
     requires: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    locks: z.ZodOptional<z.ZodArray<z.ZodString>>;
     metadata: z.ZodOptional<z.ZodObject<{}, z.core.$loose>>;
     transitions: z.ZodOptional<z.ZodArray<z.ZodObject<{
         to: z.ZodString;
@@ -587,10 +493,6 @@ export declare const runtimeMetadataSchema: z.ZodObject<{
     engine: z.ZodOptional<z.ZodString>;
     version: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodNumber]>>;
 }, z.core.$strict>;
-/** @see SpecExtensions */
-export declare const specExtensionsSchema: z.ZodObject<{
-    hooks: z.ZodOptional<z.ZodArray<z.ZodString>>;
-}, z.core.$strict>;
 /** The whole of `workflow.yaml`. @see MachineSpec */
 export declare const machineSpecSchema: z.ZodObject<{
     title: z.ZodOptional<z.ZodString>;
@@ -652,14 +554,13 @@ export declare const machineSpecSchema: z.ZodObject<{
             }, z.core.$strict>>;
         }, z.core.$strict>>;
     }, z.core.$strict>>;
-    extensions: z.ZodOptional<z.ZodObject<{
-        hooks: z.ZodOptional<z.ZodArray<z.ZodString>>;
-    }, z.core.$strict>>;
     metadata: z.ZodOptional<z.ZodObject<{}, z.core.$loose>>;
     states: z.ZodRecord<z.ZodString, z.ZodPreprocess<z.ZodObject<{
         type: z.ZodOptional<z.ZodEnum<{
             human: "human";
+            code: "code";
             agent: "agent";
+            grader: "grader";
         }>>;
         title: z.ZodOptional<z.ZodString>;
         instructions: z.ZodOptional<z.ZodString>;
@@ -679,10 +580,10 @@ export declare const machineSpecSchema: z.ZodObject<{
                     boolean: "boolean";
                     object: "object";
                     file: "file";
-                    date: "date";
-                    array: "array";
                     integer: "integer";
+                    date: "date";
                     "date-time": "date-time";
+                    array: "array";
                 }>>;
                 description: z.ZodOptional<z.ZodString>;
             }, z.core.$strict>]>>>;
@@ -694,56 +595,15 @@ export declare const machineSpecSchema: z.ZodObject<{
                     boolean: "boolean";
                     object: "object";
                     file: "file";
-                    date: "date";
-                    array: "array";
                     integer: "integer";
+                    date: "date";
                     "date-time": "date-time";
+                    array: "array";
                 }>>;
                 description: z.ZodOptional<z.ZodString>;
             }, z.core.$strict>]>>>;
         }, z.core.$loose>>>>;
-        before: z.ZodOptional<z.ZodUnion<readonly [z.ZodUnion<readonly [z.ZodObject<{
-            script: z.ZodString;
-            max_iterations: z.ZodOptional<z.ZodNumber>;
-        }, z.core.$strict>, z.ZodObject<{
-            rubric: z.ZodObject<{
-                instructions: z.ZodString;
-                max_iterations: z.ZodOptional<z.ZodNumber>;
-                model: z.ZodOptional<z.ZodString>;
-                metadata: z.ZodOptional<z.ZodObject<{}, z.core.$loose>>;
-            }, z.core.$strict>;
-        }, z.core.$strict>, z.ZodRecord<z.ZodString, z.ZodString>]>, z.ZodArray<z.ZodUnion<readonly [z.ZodObject<{
-            script: z.ZodString;
-            max_iterations: z.ZodOptional<z.ZodNumber>;
-        }, z.core.$strict>, z.ZodObject<{
-            rubric: z.ZodObject<{
-                instructions: z.ZodString;
-                max_iterations: z.ZodOptional<z.ZodNumber>;
-                model: z.ZodOptional<z.ZodString>;
-                metadata: z.ZodOptional<z.ZodObject<{}, z.core.$loose>>;
-            }, z.core.$strict>;
-        }, z.core.$strict>, z.ZodRecord<z.ZodString, z.ZodString>]>>]>>;
-        after: z.ZodOptional<z.ZodUnion<readonly [z.ZodUnion<readonly [z.ZodObject<{
-            script: z.ZodString;
-            max_iterations: z.ZodOptional<z.ZodNumber>;
-        }, z.core.$strict>, z.ZodObject<{
-            rubric: z.ZodObject<{
-                instructions: z.ZodString;
-                max_iterations: z.ZodOptional<z.ZodNumber>;
-                model: z.ZodOptional<z.ZodString>;
-                metadata: z.ZodOptional<z.ZodObject<{}, z.core.$loose>>;
-            }, z.core.$strict>;
-        }, z.core.$strict>, z.ZodRecord<z.ZodString, z.ZodString>]>, z.ZodArray<z.ZodUnion<readonly [z.ZodObject<{
-            script: z.ZodString;
-            max_iterations: z.ZodOptional<z.ZodNumber>;
-        }, z.core.$strict>, z.ZodObject<{
-            rubric: z.ZodObject<{
-                instructions: z.ZodString;
-                max_iterations: z.ZodOptional<z.ZodNumber>;
-                model: z.ZodOptional<z.ZodString>;
-                metadata: z.ZodOptional<z.ZodObject<{}, z.core.$loose>>;
-            }, z.core.$strict>;
-        }, z.core.$strict>, z.ZodRecord<z.ZodString, z.ZodString>]>>]>>;
+        script: z.ZodOptional<z.ZodString>;
         budget: z.ZodOptional<z.ZodObject<{
             maxTurns: z.ZodOptional<z.ZodNumber>;
             timeoutMs: z.ZodOptional<z.ZodNumber>;
@@ -782,6 +642,7 @@ export declare const machineSpecSchema: z.ZodObject<{
             forbid: z.ZodOptional<z.ZodArray<z.ZodString>>;
         }, z.core.$strict>>;
         requires: z.ZodOptional<z.ZodArray<z.ZodString>>;
+        locks: z.ZodOptional<z.ZodArray<z.ZodString>>;
         metadata: z.ZodOptional<z.ZodObject<{}, z.core.$loose>>;
         transitions: z.ZodOptional<z.ZodArray<z.ZodObject<{
             to: z.ZodString;
@@ -805,12 +666,6 @@ export interface SpecSchemaIssue {
     path: string;
     message: string;
 }
-/**
- * The rules that need the whole document and that the runtime cannot run
- * without: every reference resolves, the start wiring is unambiguous, guards
- * reference variables by a readable name. Runs after the shape has been
- * accepted. Defects the runtime tolerates are `lint-spec.ts` errors instead.
- */
 export declare function refineSpec(spec: Spec): SpecSchemaIssue[];
 /**
  * Parse a spec through the schema, then the document-level rules, returning