spawnfile 0.1.17 → 0.1.18

package/dist/compiler/training/repair/contract.d.ts

@@ -17,8 +17,10 @@ export declare const witnessSchema: z.ZodObject<{
     config: z.ZodObject<{
         version: z.ZodEnum<{
             "spawnfile.training-container.v3": "spawnfile.training-container.v3";
+            "spawnfile.training-container.v4": "spawnfile.training-container.v4";
             "spawnfile.training-container.v2": "spawnfile.training-container.v2";
         }>;
+        slots: z.ZodDefault<z.ZodNumber>;
         dockerContext: z.ZodString;
         image: z.ZodUnion<readonly [z.ZodObject<{
             ref: z.ZodString;
@@ -28,8 +30,8 @@ export declare const witnessSchema: z.ZodObject<{
                 nativeImage: z.ZodString;
                 pythonImage: z.ZodString;
                 platform: z.ZodEnum<{
-                    "linux/arm64": "linux/arm64";
                     "linux/amd64": "linux/amd64";
+                    "linux/arm64": "linux/arm64";
                 }>;
                 paideia: z.ZodString;
                 bridge: z.ZodString;
@@ -42,6 +44,7 @@ export declare const witnessSchema: z.ZodObject<{
                 integration: z.ZodObject<{
                     source: z.ZodString;
                     entry: z.ZodString;
+                    execution: z.ZodOptional<z.ZodLiteral<"spawnfile.training-execution.v1">>;
                 }, z.core.$strict>;
                 bootstrap: z.ZodOptional<z.ZodString>;
             }, z.core.$strict>;
@@ -77,7 +80,27 @@ export declare const witnessSchema: z.ZodObject<{
                 claude: "claude";
             }>;
         }, z.core.$strict>>;
+        evaluatorRoutes: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            purpose: z.ZodEnum<{
+                decisions: "decisions";
+                extraction: "extraction";
+                proposals: "proposals";
+            }>;
+            provider: z.ZodEnum<{
+                "codex-subscription": "codex-subscription";
+                typesafe: "typesafe";
+            }>;
+            model: z.ZodString;
+            maxRequests: z.ZodNumber;
+            maxSpendUsd: z.ZodOptional<z.ZodNumber>;
+        }, z.core.$strict>>>;
+        evaluatorSecrets: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            provider: z.ZodLiteral<"typesafe">;
+            source: z.ZodString;
+        }, z.core.$strict>>>;
+        subjectIsolation: z.ZodOptional<z.ZodLiteral<"codex-native-sandbox">>;
         broker: z.ZodOptional<z.ZodObject<{
+            maxRunRequests: z.ZodDefault<z.ZodNumber>;
             engine: z.ZodLiteral<"grok">;
             agentId: z.ZodString;
             model: z.ZodEnum<{
@@ -173,6 +196,149 @@ export declare const witnessSchema: z.ZodObject<{
             isolatedPreparation: z.ZodLiteral<true>;
         }, z.core.$strict>;
     }, z.core.$strict>;
+    execution: z.ZodOptional<z.ZodObject<{
+        version: z.ZodLiteral<"spawnfile.training-execution.v1">;
+        authoring: z.ZodObject<{
+            version: z.ZodLiteral<"spawnfile.training-plan.v1">;
+            producer: z.ZodObject<{
+                package: z.ZodLiteral<"spawnfile">;
+                version: z.ZodString;
+            }, z.core.$strict>;
+            project: z.ZodObject<{
+                root: z.ZodString;
+                manifest: z.ZodString;
+            }, z.core.$strict>;
+            agent: z.ZodObject<{
+                id: z.ZodString;
+                name: z.ZodString;
+            }, z.core.$strict>;
+            deadlines: z.ZodOptional<z.ZodObject<{
+                experiment_ms: z.ZodNumber;
+                trial_ms: z.ZodOptional<z.ZodNumber>;
+            }, z.core.$strict>>;
+            preparation: z.ZodOptional<z.ZodObject<{
+                hook: z.ZodString;
+                history: z.ZodOptional<z.ZodString>;
+            }, z.core.$strict>>;
+            record: z.ZodNullable<z.ZodObject<{
+                keep: z.ZodNullable<z.ZodString>;
+                volumes: z.ZodArray<z.ZodObject<{
+                    id: z.ZodString;
+                    declaredBy: z.ZodString;
+                }, z.core.$strict>>;
+            }, z.core.$strict>>;
+            optimizer: z.ZodNullable<z.ZodObject<{
+                method: z.ZodString;
+                model: z.ZodString;
+                variants: z.ZodNumber;
+                keep: z.ZodNumber;
+                budget: z.ZodObject<{
+                    rounds: z.ZodNumber;
+                }, z.core.$strict>;
+            }, z.core.$strict>>;
+            graders: z.ZodArray<z.ZodObject<{
+                sourcePath: z.ZodString;
+                path: z.ZodString;
+                name: z.ZodString;
+                declaredBy: z.ZodString;
+            }, z.core.$strict>>;
+            targets: z.ZodArray<z.ZodObject<{
+                declaredBy: z.ZodString;
+                grader: z.ZodString;
+                files: z.ZodArray<z.ZodObject<{
+                    sourcePath: z.ZodString;
+                    path: z.ZodString;
+                    consumers: z.ZodArray<z.ZodString>;
+                }, z.core.$strict>>;
+                datasets: z.ZodObject<{
+                    train: z.ZodObject<{
+                        sourcePath: z.ZodString;
+                        path: z.ZodString;
+                        examples: z.ZodArray<z.ZodObject<{
+                            id: z.ZodString;
+                            at: z.ZodISODateTime;
+                            wake: z.ZodObject<{
+                                surface: z.ZodLiteral<"moltnet">;
+                                room: z.ZodString;
+                                from: z.ZodString;
+                                text: z.ZodString;
+                            }, z.core.$strict>;
+                            overrides: z.ZodArray<z.ZodObject<{
+                                id: z.ZodString;
+                                declaredBy: z.ZodString;
+                                section: z.ZodEnum<{
+                                    memory: "memory";
+                                    resources: "resources";
+                                    networks: "networks";
+                                }>;
+                            }, z.core.$strict>>;
+                        }, z.core.$strict>>;
+                    }, z.core.$strict>;
+                    validation: z.ZodNullable<z.ZodObject<{
+                        sourcePath: z.ZodString;
+                        path: z.ZodString;
+                        examples: z.ZodArray<z.ZodObject<{
+                            id: z.ZodString;
+                            at: z.ZodISODateTime;
+                            wake: z.ZodObject<{
+                                surface: z.ZodLiteral<"moltnet">;
+                                room: z.ZodString;
+                                from: z.ZodString;
+                                text: z.ZodString;
+                            }, z.core.$strict>;
+                            overrides: z.ZodArray<z.ZodObject<{
+                                id: z.ZodString;
+                                declaredBy: z.ZodString;
+                                section: z.ZodEnum<{
+                                    memory: "memory";
+                                    resources: "resources";
+                                    networks: "networks";
+                                }>;
+                            }, z.core.$strict>>;
+                        }, z.core.$strict>>;
+                    }, z.core.$strict>>;
+                    test: z.ZodObject<{
+                        sourcePath: z.ZodString;
+                        path: z.ZodString;
+                        examples: z.ZodArray<z.ZodObject<{
+                            id: z.ZodString;
+                            at: z.ZodISODateTime;
+                            wake: z.ZodObject<{
+                                surface: z.ZodLiteral<"moltnet">;
+                                room: z.ZodString;
+                                from: z.ZodString;
+                                text: z.ZodString;
+                            }, z.core.$strict>;
+                            overrides: z.ZodArray<z.ZodObject<{
+                                id: z.ZodString;
+                                declaredBy: z.ZodString;
+                                section: z.ZodEnum<{
+                                    memory: "memory";
+                                    resources: "resources";
+                                    networks: "networks";
+                                }>;
+                            }, z.core.$strict>>;
+                        }, z.core.$strict>>;
+                    }, z.core.$strict>;
+                }, z.core.$strict>;
+            }, z.core.$strict>>;
+        }, z.core.$strict>;
+        datasetPins: z.ZodArray<z.ZodObject<{
+            sourcePath: z.ZodString;
+            sha256: z.ZodString;
+        }, z.core.$strict>>;
+        optimizer: z.ZodObject<{
+            method: z.ZodString;
+            model: z.ZodString;
+            variants: z.ZodNumber;
+            keep: z.ZodNumber;
+            budget: z.ZodObject<{
+                rounds: z.ZodNumber;
+            }, z.core.$strict>;
+        }, z.core.$strict>;
+        args: z.ZodArray<z.ZodString>;
+        output: z.ZodString;
+    }, z.core.$strict>>;
     command: z.ZodObject<{
         args: z.ZodArray<z.ZodString>;
         env: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
@@ -195,8 +361,8 @@ export declare const witnessSchema: z.ZodObject<{
             nativeImage: z.ZodString;
             pythonImage: z.ZodString;
             platform: z.ZodEnum<{
-                "linux/arm64": "linux/arm64";
                 "linux/amd64": "linux/amd64";
+                "linux/arm64": "linux/arm64";
             }>;
             paideia: z.ZodString;
             bridge: z.ZodString;
@@ -209,6 +375,7 @@ export declare const witnessSchema: z.ZodObject<{
             integration: z.ZodObject<{
                 source: z.ZodString;
                 entry: z.ZodString;
+                execution: z.ZodOptional<z.ZodLiteral<"spawnfile.training-execution.v1">>;
             }, z.core.$strict>;
             bootstrap: z.ZodOptional<z.ZodString>;
         }, z.core.$strict>;
@@ -236,8 +403,10 @@ export declare const witnessEnvelopeSchema: z.ZodObject<{
         config: z.ZodObject<{
             version: z.ZodEnum<{
                 "spawnfile.training-container.v3": "spawnfile.training-container.v3";
+                "spawnfile.training-container.v4": "spawnfile.training-container.v4";
                 "spawnfile.training-container.v2": "spawnfile.training-container.v2";
             }>;
+            slots: z.ZodDefault<z.ZodNumber>;
             dockerContext: z.ZodString;
             image: z.ZodUnion<readonly [z.ZodObject<{
                 ref: z.ZodString;
@@ -247,8 +416,8 @@ export declare const witnessEnvelopeSchema: z.ZodObject<{
                     nativeImage: z.ZodString;
                     pythonImage: z.ZodString;
                     platform: z.ZodEnum<{
-                        "linux/arm64": "linux/arm64";
                         "linux/amd64": "linux/amd64";
+                        "linux/arm64": "linux/arm64";
                     }>;
                     paideia: z.ZodString;
                     bridge: z.ZodString;
@@ -261,6 +430,7 @@ export declare const witnessEnvelopeSchema: z.ZodObject<{
                     integration: z.ZodObject<{
                         source: z.ZodString;
                         entry: z.ZodString;
+                        execution: z.ZodOptional<z.ZodLiteral<"spawnfile.training-execution.v1">>;
                     }, z.core.$strict>;
                     bootstrap: z.ZodOptional<z.ZodString>;
                 }, z.core.$strict>;
@@ -296,7 +466,27 @@ export declare const witnessEnvelopeSchema: z.ZodObject<{
                     claude: "claude";
                 }>;
             }, z.core.$strict>>;
+            evaluatorRoutes: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                purpose: z.ZodEnum<{
+                    decisions: "decisions";
+                    extraction: "extraction";
+                    proposals: "proposals";
+                }>;
+                provider: z.ZodEnum<{
+                    "codex-subscription": "codex-subscription";
+                    typesafe: "typesafe";
+                }>;
+                model: z.ZodString;
+                maxRequests: z.ZodNumber;
+                maxSpendUsd: z.ZodOptional<z.ZodNumber>;
+            }, z.core.$strict>>>;
+            evaluatorSecrets: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                provider: z.ZodLiteral<"typesafe">;
+                source: z.ZodString;
+            }, z.core.$strict>>>;
+            subjectIsolation: z.ZodOptional<z.ZodLiteral<"codex-native-sandbox">>;
             broker: z.ZodOptional<z.ZodObject<{
+                maxRunRequests: z.ZodDefault<z.ZodNumber>;
                 engine: z.ZodLiteral<"grok">;
                 agentId: z.ZodString;
                 model: z.ZodEnum<{
@@ -392,6 +582,149 @@ export declare const witnessEnvelopeSchema: z.ZodObject<{
                 isolatedPreparation: z.ZodLiteral<true>;
             }, z.core.$strict>;
         }, z.core.$strict>;
+        execution: z.ZodOptional<z.ZodObject<{
+            version: z.ZodLiteral<"spawnfile.training-execution.v1">;
+            authoring: z.ZodObject<{
+                version: z.ZodLiteral<"spawnfile.training-plan.v1">;
+                producer: z.ZodObject<{
+                    package: z.ZodLiteral<"spawnfile">;
+                    version: z.ZodString;
+                }, z.core.$strict>;
+                project: z.ZodObject<{
+                    root: z.ZodString;
+                    manifest: z.ZodString;
+                }, z.core.$strict>;
+                agent: z.ZodObject<{
+                    id: z.ZodString;
+                    name: z.ZodString;
+                }, z.core.$strict>;
+                deadlines: z.ZodOptional<z.ZodObject<{
+                    experiment_ms: z.ZodNumber;
+                    trial_ms: z.ZodOptional<z.ZodNumber>;
+                }, z.core.$strict>>;
+                preparation: z.ZodOptional<z.ZodObject<{
+                    hook: z.ZodString;
+                    history: z.ZodOptional<z.ZodString>;
+                }, z.core.$strict>>;
+                record: z.ZodNullable<z.ZodObject<{
+                    keep: z.ZodNullable<z.ZodString>;
+                    volumes: z.ZodArray<z.ZodObject<{
+                        id: z.ZodString;
+                        declaredBy: z.ZodString;
+                    }, z.core.$strict>>;
+                }, z.core.$strict>>;
+                optimizer: z.ZodNullable<z.ZodObject<{
+                    method: z.ZodString;
+                    model: z.ZodString;
+                    variants: z.ZodNumber;
+                    keep: z.ZodNumber;
+                    budget: z.ZodObject<{
+                        rounds: z.ZodNumber;
+                    }, z.core.$strict>;
+                }, z.core.$strict>>;
+                graders: z.ZodArray<z.ZodObject<{
+                    sourcePath: z.ZodString;
+                    path: z.ZodString;
+                    name: z.ZodString;
+                    declaredBy: z.ZodString;
+                }, z.core.$strict>>;
+                targets: z.ZodArray<z.ZodObject<{
+                    declaredBy: z.ZodString;
+                    grader: z.ZodString;
+                    files: z.ZodArray<z.ZodObject<{
+                        sourcePath: z.ZodString;
+                        path: z.ZodString;
+                        consumers: z.ZodArray<z.ZodString>;
+                    }, z.core.$strict>>;
+                    datasets: z.ZodObject<{
+                        train: z.ZodObject<{
+                            sourcePath: z.ZodString;
+                            path: z.ZodString;
+                            examples: z.ZodArray<z.ZodObject<{
+                                id: z.ZodString;
+                                at: z.ZodISODateTime;
+                                wake: z.ZodObject<{
+                                    surface: z.ZodLiteral<"moltnet">;
+                                    room: z.ZodString;
+                                    from: z.ZodString;
+                                    text: z.ZodString;
+                                }, z.core.$strict>;
+                                overrides: z.ZodArray<z.ZodObject<{
+                                    id: z.ZodString;
+                                    declaredBy: z.ZodString;
+                                    section: z.ZodEnum<{
+                                        memory: "memory";
+                                        resources: "resources";
+                                        networks: "networks";
+                                    }>;
+                                }, z.core.$strict>>;
+                            }, z.core.$strict>>;
+                        }, z.core.$strict>;
+                        validation: z.ZodNullable<z.ZodObject<{
+                            sourcePath: z.ZodString;
+                            path: z.ZodString;
+                            examples: z.ZodArray<z.ZodObject<{
+                                id: z.ZodString;
+                                at: z.ZodISODateTime;
+                                wake: z.ZodObject<{
+                                    surface: z.ZodLiteral<"moltnet">;
+                                    room: z.ZodString;
+                                    from: z.ZodString;
+                                    text: z.ZodString;
+                                }, z.core.$strict>;
+                                overrides: z.ZodArray<z.ZodObject<{
+                                    id: z.ZodString;
+                                    declaredBy: z.ZodString;
+                                    section: z.ZodEnum<{
+                                        memory: "memory";
+                                        resources: "resources";
+                                        networks: "networks";
+                                    }>;
+                                }, z.core.$strict>>;
+                            }, z.core.$strict>>;
+                        }, z.core.$strict>>;
+                        test: z.ZodObject<{
+                            sourcePath: z.ZodString;
+                            path: z.ZodString;
+                            examples: z.ZodArray<z.ZodObject<{
+                                id: z.ZodString;
+                                at: z.ZodISODateTime;
+                                wake: z.ZodObject<{
+                                    surface: z.ZodLiteral<"moltnet">;
+                                    room: z.ZodString;
+                                    from: z.ZodString;
+                                    text: z.ZodString;
+                                }, z.core.$strict>;
+                                overrides: z.ZodArray<z.ZodObject<{
+                                    id: z.ZodString;
+                                    declaredBy: z.ZodString;
+                                    section: z.ZodEnum<{
+                                        memory: "memory";
+                                        resources: "resources";
+                                        networks: "networks";
+                                    }>;
+                                }, z.core.$strict>>;
+                            }, z.core.$strict>>;
+                        }, z.core.$strict>;
+                    }, z.core.$strict>;
+                }, z.core.$strict>>;
+            }, z.core.$strict>;
+            datasetPins: z.ZodArray<z.ZodObject<{
+                sourcePath: z.ZodString;
+                sha256: z.ZodString;
+            }, z.core.$strict>>;
+            optimizer: z.ZodObject<{
+                method: z.ZodString;
+                model: z.ZodString;
+                variants: z.ZodNumber;
+                keep: z.ZodNumber;
+                budget: z.ZodObject<{
+                    rounds: z.ZodNumber;
+                }, z.core.$strict>;
+            }, z.core.$strict>;
+            args: z.ZodArray<z.ZodString>;
+            output: z.ZodString;
+        }, z.core.$strict>>;
         command: z.ZodObject<{
             args: z.ZodArray<z.ZodString>;
             env: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
@@ -414,8 +747,8 @@ export declare const witnessEnvelopeSchema: z.ZodObject<{
                 nativeImage: z.ZodString;
                 pythonImage: z.ZodString;
                 platform: z.ZodEnum<{
-                    "linux/arm64": "linux/arm64";
                     "linux/amd64": "linux/amd64";
+                    "linux/arm64": "linux/arm64";
                 }>;
                 paideia: z.ZodString;
                 bridge: z.ZodString;
@@ -428,6 +761,7 @@ export declare const witnessEnvelopeSchema: z.ZodObject<{
                 integration: z.ZodObject<{
                     source: z.ZodString;
                     entry: z.ZodString;
+                    execution: z.ZodOptional<z.ZodLiteral<"spawnfile.training-execution.v1">>;
                 }, z.core.$strict>;
                 bootstrap: z.ZodOptional<z.ZodString>;
             }, z.core.$strict>;

package/dist/compiler/training/repair/contract.js

@@ -1,6 +1,7 @@
 import path from "node:path";
 import { z } from "zod";
 import { trainingContextSchema } from "../contract.js";
+import { trainingExecutionSchema } from "../execution.js";
 import { trainingPreparationSchema, trainingBuildSchema } from "../preparation/contract.js";
 export const sha = z.string().regex(/^sha256:[a-f0-9]{64}$/u);
 const relative = z.string().min(1).refine(value => !path.posix.isAbsolute(value) && !value.includes("\\") &&
@@ -11,6 +12,7 @@ export const witnessSchema = z.object({
     schema: z.enum(["spawnfile.training-legacy-witness.v1", "spawnfile.training-witness.v1"]),
     parentImage: sha, parentPreparationDigest: sha, imagePlanDigest: sha,
     config: trainingPreparationSchema, context: trainingContextSchema,
+    execution: trainingExecutionSchema.optional(),
     command: z.object({ args: z.array(z.string()), env: z.record(z.string(), z.string()).optional() }).strict(),
     inputs: z.array(z.object({ id: z.string(), source: z.string(), destination: z.string(), digest: sha,
         staged: z.string(), snapshotDigest: sha.nullable() }).strict()),

package/dist/compiler/training/repair/index.d.ts

@@ -1,3 +1,3 @@
-export { planMeasurementRepair, stageMeasurementRepair } from "./prepare.js";
+export { planMeasurementRepair, stageMeasurementRepair, validateMeasurementRepairOutput } from "./prepare.js";
 export { readTrainingWitness, writeTrainingWitness } from "./witness.js";
 export { repairEnvelopeSchema } from "./contract.js";

package/dist/compiler/training/repair/index.js

@@ -1,3 +1,3 @@
-export { planMeasurementRepair, stageMeasurementRepair } from "./prepare.js";
+export { planMeasurementRepair, stageMeasurementRepair, validateMeasurementRepairOutput } from "./prepare.js";
 export { readTrainingWitness, writeTrainingWitness } from "./witness.js";
 export { repairEnvelopeSchema } from "./contract.js";