@interf/compiler 0.22.2 → 0.50.0

package/dist/packages/runtime/schemas/jobs.d.ts

@@ -0,0 +1,339 @@
+import { z } from "zod";
+export declare const LocalJobTypeSchema: z.ZodEnum<{
+    "benchmark-question-draft": "benchmark-question-draft";
+    "build-plan-draft": "build-plan-draft";
+    "build-plan-improvement": "build-plan-improvement";
+}>;
+export declare const RunStatusSchema: z.ZodEnum<{
+    running: "running";
+    failed: "failed";
+    cancelled: "cancelled";
+    queued: "queued";
+    succeeded: "succeeded";
+}>;
+export declare const LocalJobStatusSchema: z.ZodEnum<{
+    running: "running";
+    failed: "failed";
+    cancelled: "cancelled";
+    queued: "queued";
+    succeeded: "succeeded";
+}>;
+export declare const LocalRunHandlerResultSchema: z.ZodObject<{
+    ok: z.ZodBoolean;
+    error: z.ZodOptional<z.ZodString>;
+    benchmark_run: z.ZodOptional<z.ZodNullable<z.ZodPipe<z.ZodTransform<unknown, unknown>, z.ZodObject<{
+        kind: z.ZodLiteral<"interf-benchmark-run">;
+        version: z.ZodLiteral<1>;
+        generated_at: z.ZodString;
+        mode: z.ZodEnum<{
+            "source-files": "source-files";
+            "context-graph": "context-graph";
+            both: "both";
+        }>;
+        source_path: z.ZodString;
+        checks_fingerprint: z.ZodOptional<z.ZodString>;
+        project: z.ZodObject<{
+            name: z.ZodString;
+            context_graph_path: z.ZodNullable<z.ZodString>;
+        }, z.core.$strip>;
+        source_files: z.ZodNullable<z.ZodObject<{
+            label: z.ZodString;
+            run_path: z.ZodString;
+            ok: z.ZodBoolean;
+            passed_cases: z.ZodNumber;
+            total_cases: z.ZodNumber;
+            passed_checks: z.ZodNumber;
+            total_checks: z.ZodNumber;
+            executor: z.ZodOptional<z.ZodNullable<z.ZodObject<{
+                kind: z.ZodEnum<{
+                    "local-agent": "local-agent";
+                    "connected-provider": "connected-provider";
+                    managed: "managed";
+                }>;
+                name: z.ZodString;
+                display_name: z.ZodString;
+                command: z.ZodNullable<z.ZodString>;
+                model: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+                effort: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+                profile: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+                timeout_ms: z.ZodOptional<z.ZodNullable<z.ZodNumber>>;
+            }, z.core.$strip>>>;
+            source_usage: z.ZodDefault<z.ZodEnum<{
+                unknown: "unknown";
+                "source-baseline": "source-baseline";
+                "graph-only": "graph-only";
+                "graph-source-verified": "graph-source-verified";
+            }>>;
+            target: z.ZodObject<{
+                type: z.ZodEnum<{
+                    "source-files": "source-files";
+                    "context-graph": "context-graph";
+                }>;
+                name: z.ZodString;
+                path: z.ZodString;
+                build_plan: z.ZodString;
+            }, z.core.$strip>;
+        }, z.core.$strip>>;
+        context_graph: z.ZodNullable<z.ZodObject<{
+            label: z.ZodString;
+            run_path: z.ZodString;
+            ok: z.ZodBoolean;
+            passed_cases: z.ZodNumber;
+            total_cases: z.ZodNumber;
+            passed_checks: z.ZodNumber;
+            total_checks: z.ZodNumber;
+            executor: z.ZodOptional<z.ZodNullable<z.ZodObject<{
+                kind: z.ZodEnum<{
+                    "local-agent": "local-agent";
+                    "connected-provider": "connected-provider";
+                    managed: "managed";
+                }>;
+                name: z.ZodString;
+                display_name: z.ZodString;
+                command: z.ZodNullable<z.ZodString>;
+                model: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+                effort: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+                profile: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+                timeout_ms: z.ZodOptional<z.ZodNullable<z.ZodNumber>>;
+            }, z.core.$strip>>>;
+            source_usage: z.ZodDefault<z.ZodEnum<{
+                unknown: "unknown";
+                "source-baseline": "source-baseline";
+                "graph-only": "graph-only";
+                "graph-source-verified": "graph-source-verified";
+            }>>;
+            target: z.ZodObject<{
+                type: z.ZodEnum<{
+                    "source-files": "source-files";
+                    "context-graph": "context-graph";
+                }>;
+                name: z.ZodString;
+                path: z.ZodString;
+                build_plan: z.ZodString;
+            }, z.core.$strip>;
+        }, z.core.$strip>>;
+        summary: z.ZodObject<{
+            source_files_pass_rate: z.ZodNullable<z.ZodNumber>;
+            context_graph_pass_rate: z.ZodNullable<z.ZodNumber>;
+        }, z.core.$strip>;
+    }, z.core.$strip>>>>;
+    executor: z.ZodOptional<z.ZodNullable<z.ZodObject<{
+        kind: z.ZodEnum<{
+            "local-agent": "local-agent";
+            "connected-provider": "connected-provider";
+            managed: "managed";
+        }>;
+        name: z.ZodString;
+        display_name: z.ZodString;
+        command: z.ZodNullable<z.ZodString>;
+        model: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+        effort: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+        profile: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+        timeout_ms: z.ZodOptional<z.ZodNullable<z.ZodNumber>>;
+    }, z.core.$strip>>>;
+    agent_label: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+}, z.core.$strict>;
+export declare const LocalJobAgentSchema: z.ZodObject<{
+    name: z.ZodString;
+    display_name: z.ZodString;
+    command: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+}, z.core.$strict>;
+export declare const LocalJobStepSchema: z.ZodObject<{
+    id: z.ZodString;
+    label: z.ZodString;
+    status: z.ZodEnum<{
+        running: "running";
+        failed: "failed";
+        cancelled: "cancelled";
+        queued: "queued";
+        succeeded: "succeeded";
+    }>;
+    started_at: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+    finished_at: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+    summary: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+    input: z.ZodOptional<z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>>;
+    output: z.ZodOptional<z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>>;
+}, z.core.$strict>;
+export declare const LocalJobEventTypeSchema: z.ZodEnum<{
+    "artifact.written": "artifact.written";
+    "log.appended": "log.appended";
+    "job.started": "job.started";
+    "step.started": "step.started";
+    "step.completed": "step.completed";
+    "step.failed": "step.failed";
+    "job.completed": "job.completed";
+    "job.failed": "job.failed";
+}>;
+export declare const LocalJobEventSchema: z.ZodObject<{
+    event_id: z.ZodString;
+    run_id: z.ZodString;
+    timestamp: z.ZodString;
+    type: z.ZodEnum<{
+        "artifact.written": "artifact.written";
+        "log.appended": "log.appended";
+        "job.started": "job.started";
+        "step.started": "step.started";
+        "step.completed": "step.completed";
+        "step.failed": "step.failed";
+        "job.completed": "job.completed";
+        "job.failed": "job.failed";
+    }>;
+    step_id: z.ZodOptional<z.ZodString>;
+    message: z.ZodOptional<z.ZodString>;
+    artifact: z.ZodOptional<z.ZodObject<{
+        path: z.ZodString;
+        role: z.ZodEnum<{
+            runtime: "runtime";
+            output: "output";
+            source: "source";
+            evidence: "evidence";
+            benchmark: "benchmark";
+        }>;
+        stage_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+        label: z.ZodOptional<z.ZodString>;
+        sha256: z.ZodOptional<z.ZodString>;
+    }, z.core.$strict>>;
+    input: z.ZodOptional<z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>>;
+    output: z.ZodOptional<z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>>;
+}, z.core.$strict>;
+export declare const LocalJobRunCreateRequestSchema: z.ZodObject<{
+    job_type: z.ZodEnum<{
+        "benchmark-question-draft": "benchmark-question-draft";
+        "build-plan-draft": "build-plan-draft";
+        "build-plan-improvement": "build-plan-improvement";
+    }>;
+    title: z.ZodString;
+    project: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+    build_plan: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+    source_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+    output_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+    agent: z.ZodOptional<z.ZodNullable<z.ZodObject<{
+        name: z.ZodString;
+        display_name: z.ZodString;
+        command: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+    }, z.core.$strict>>>;
+    steps: z.ZodDefault<z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        label: z.ZodString;
+        input: z.ZodOptional<z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>>;
+    }, z.core.$strict>>>;
+}, z.core.$strict>;
+export declare const LocalJobEventAppendRequestSchema: z.ZodObject<{
+    type: z.ZodEnum<{
+        "artifact.written": "artifact.written";
+        "log.appended": "log.appended";
+        "job.started": "job.started";
+        "step.started": "step.started";
+        "step.completed": "step.completed";
+        "step.failed": "step.failed";
+        "job.completed": "job.completed";
+        "job.failed": "job.failed";
+    }>;
+    step_id: z.ZodOptional<z.ZodString>;
+    message: z.ZodOptional<z.ZodString>;
+    artifact: z.ZodOptional<z.ZodObject<{
+        path: z.ZodString;
+        role: z.ZodEnum<{
+            runtime: "runtime";
+            output: "output";
+            source: "source";
+            evidence: "evidence";
+            benchmark: "benchmark";
+        }>;
+        stage_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+        label: z.ZodOptional<z.ZodString>;
+        sha256: z.ZodOptional<z.ZodString>;
+    }, z.core.$strict>>;
+    input: z.ZodOptional<z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>>;
+    output: z.ZodOptional<z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>>;
+}, z.core.$strict>;
+export declare const LocalJobRunResourceSchema: z.ZodObject<{
+    kind: z.ZodLiteral<"interf-local-job-run">;
+    version: z.ZodLiteral<1>;
+    run_id: z.ZodString;
+    job_type: z.ZodEnum<{
+        "benchmark-question-draft": "benchmark-question-draft";
+        "build-plan-draft": "build-plan-draft";
+        "build-plan-improvement": "build-plan-improvement";
+    }>;
+    status: z.ZodEnum<{
+        running: "running";
+        failed: "failed";
+        cancelled: "cancelled";
+        queued: "queued";
+        succeeded: "succeeded";
+    }>;
+    title: z.ZodString;
+    project: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+    build_plan: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+    source_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+    output_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+    agent: z.ZodOptional<z.ZodNullable<z.ZodObject<{
+        name: z.ZodString;
+        display_name: z.ZodString;
+        command: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+    }, z.core.$strict>>>;
+    created_at: z.ZodString;
+    started_at: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+    finished_at: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+    steps: z.ZodDefault<z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        label: z.ZodString;
+        status: z.ZodEnum<{
+            running: "running";
+            failed: "failed";
+            cancelled: "cancelled";
+            queued: "queued";
+            succeeded: "succeeded";
+        }>;
+        started_at: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+        finished_at: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+        summary: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+        input: z.ZodOptional<z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>>;
+        output: z.ZodOptional<z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>>;
+    }, z.core.$strict>>>;
+    events: z.ZodDefault<z.ZodArray<z.ZodObject<{
+        event_id: z.ZodString;
+        run_id: z.ZodString;
+        timestamp: z.ZodString;
+        type: z.ZodEnum<{
+            "artifact.written": "artifact.written";
+            "log.appended": "log.appended";
+            "job.started": "job.started";
+            "step.started": "step.started";
+            "step.completed": "step.completed";
+            "step.failed": "step.failed";
+            "job.completed": "job.completed";
+            "job.failed": "job.failed";
+        }>;
+        step_id: z.ZodOptional<z.ZodString>;
+        message: z.ZodOptional<z.ZodString>;
+        artifact: z.ZodOptional<z.ZodObject<{
+            path: z.ZodString;
+            role: z.ZodEnum<{
+                runtime: "runtime";
+                output: "output";
+                source: "source";
+                evidence: "evidence";
+                benchmark: "benchmark";
+            }>;
+            stage_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+            label: z.ZodOptional<z.ZodString>;
+            sha256: z.ZodOptional<z.ZodString>;
+        }, z.core.$strict>>;
+        input: z.ZodOptional<z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>>;
+        output: z.ZodOptional<z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>>;
+    }, z.core.$strict>>>;
+    result: z.ZodOptional<z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>>;
+    error: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+}, z.core.$strict>;
+export type LocalJobType = z.infer<typeof LocalJobTypeSchema>;
+export type LocalJobStatus = z.infer<typeof LocalJobStatusSchema>;
+export type LocalRunHandlerResult = z.infer<typeof LocalRunHandlerResultSchema>;
+export type LocalJobAgent = z.infer<typeof LocalJobAgentSchema>;
+export type LocalJobStep = z.infer<typeof LocalJobStepSchema>;
+export type LocalJobEventType = z.infer<typeof LocalJobEventTypeSchema>;
+export type LocalJobEvent = z.infer<typeof LocalJobEventSchema>;
+export type LocalJobRunCreateRequest = z.infer<typeof LocalJobRunCreateRequestSchema>;
+export type LocalJobEventAppendRequest = z.infer<typeof LocalJobEventAppendRequestSchema>;
+export type LocalJobRunResource = z.infer<typeof LocalJobRunResourceSchema>;

package/dist/packages/runtime/schemas/jobs.js

@@ -0,0 +1,107 @@
+import { z } from "zod";
+import { ArtifactRefSchema, } from "../execution/lib/schema.js";
+import { ProjectIdSchema, BuildPlanIdSchema, RuntimeExecutorInfoSchema, } from "../../contracts/lib/schema.js";
+import { BenchmarkRunSchema, } from "../verify/lib/schema.js";
+const JsonObjectSchema = z.record(z.string(), z.unknown());
+// Graph-less `LocalJobRun` kinds. Intentionally omits `judge`: the judge/verify
+// path is not a LocalJobRun — it writes a `verdict.json` and a preserved
+// `test-judge` shell (see verify-execution.ts), driven by the verify path rather
+// than a job_type. Do not add `judge` here.
+export const LocalJobTypeSchema = z.enum([
+    "benchmark-question-draft",
+    "build-plan-draft",
+    "build-plan-improvement",
+]);
+export const RunStatusSchema = z.enum([
+    "queued",
+    "running",
+    "succeeded",
+    "failed",
+    "cancelled",
+]);
+export const LocalJobStatusSchema = RunStatusSchema;
+export const LocalRunHandlerResultSchema = z.object({
+    ok: z.boolean(),
+    error: z.string().min(1).optional(),
+    benchmark_run: BenchmarkRunSchema.nullable().optional(),
+    executor: RuntimeExecutorInfoSchema.nullable().optional(),
+    agent_label: z.string().min(1).nullable().optional(),
+}).strict();
+export const LocalJobAgentSchema = z.object({
+    name: z.string().min(1),
+    display_name: z.string().min(1),
+    command: z.string().min(1).nullable().optional(),
+}).strict();
+export const LocalJobStepSchema = z.object({
+    id: z.string().min(1),
+    label: z.string().min(1),
+    status: LocalJobStatusSchema,
+    started_at: z.string().nullable().optional(),
+    finished_at: z.string().nullable().optional(),
+    summary: z.string().min(1).nullable().optional(),
+    input: JsonObjectSchema.nullable().optional(),
+    output: JsonObjectSchema.nullable().optional(),
+}).strict();
+export const LocalJobEventTypeSchema = z.enum([
+    "job.started",
+    "step.started",
+    "log.appended",
+    "artifact.written",
+    "step.completed",
+    "step.failed",
+    "job.completed",
+    "job.failed",
+]);
+export const LocalJobEventSchema = z.object({
+    event_id: z.string().min(1),
+    run_id: z.string().min(1),
+    timestamp: z.string().min(1),
+    type: LocalJobEventTypeSchema,
+    step_id: z.string().min(1).optional(),
+    message: z.string().min(1).optional(),
+    artifact: ArtifactRefSchema.optional(),
+    input: JsonObjectSchema.nullable().optional(),
+    output: JsonObjectSchema.nullable().optional(),
+}).strict();
+export const LocalJobRunCreateRequestSchema = z.object({
+    job_type: LocalJobTypeSchema,
+    title: z.string().min(1),
+    project: ProjectIdSchema.nullable().optional(),
+    build_plan: BuildPlanIdSchema.nullable().optional(),
+    source_path: z.string().min(1).nullable().optional(),
+    output_path: z.string().min(1).nullable().optional(),
+    agent: LocalJobAgentSchema.nullable().optional(),
+    steps: z.array(z.object({
+        id: z.string().min(1),
+        label: z.string().min(1),
+        input: JsonObjectSchema.nullable().optional(),
+    }).strict()).default([]),
+}).strict();
+export const LocalJobEventAppendRequestSchema = z.object({
+    type: LocalJobEventTypeSchema,
+    step_id: z.string().min(1).optional(),
+    message: z.string().min(1).optional(),
+    artifact: ArtifactRefSchema.optional(),
+    input: JsonObjectSchema.nullable().optional(),
+    output: JsonObjectSchema.nullable().optional(),
+}).strict();
+export const LocalJobRunResourceSchema = z.object({
+    kind: z.literal("interf-local-job-run"),
+    version: z.literal(1),
+    run_id: z.string().min(1),
+    job_type: LocalJobTypeSchema,
+    status: LocalJobStatusSchema,
+    title: z.string().min(1),
+    project: ProjectIdSchema.nullable().optional(),
+    build_plan: BuildPlanIdSchema.nullable().optional(),
+    source_path: z.string().min(1).nullable().optional(),
+    output_path: z.string().min(1).nullable().optional(),
+    agent: LocalJobAgentSchema.nullable().optional(),
+    created_at: z.string().min(1),
+    started_at: z.string().nullable().optional(),
+    finished_at: z.string().nullable().optional(),
+    steps: z.array(LocalJobStepSchema).default([]),
+    events: z.array(LocalJobEventSchema).default([]),
+    result: z.record(z.string(), z.unknown()).nullable().optional(),
+    error: z.string().min(1).nullable().optional(),
+}).strict();