@crvouga/atlas 0.3.0 → 0.5.0

package/dist/schema/src/api.d.ts

@@ -0,0 +1,799 @@
+/**
+ * @module Atlas server API documents
+ *
+ * The JSON bodies the Atlas server speaks, as Zod schemas: the problem document every error uses (RFC 9457), what
+ * `/api/server` and `/readyz` say about the server, the report a viewer reads (`/api/reports/evidence/effective`) and
+ * what changed since a version of it, the store protocol's listings and acknowledgements, and the events on the
+ * stream. The server's OpenAPI document (`@crvouga/atlas/openapi.json`) is generated from these, and each is also
+ * published as a JSON Schema, so a client in any language can validate what it receives.
+ *
+ * Every object is open (unknown keys are kept, not refused) because the API only grows: within a version a response
+ * may gain optional fields, never lose or change one (see AGENTS.md, "The server is a living application"). A client
+ * must ignore what it does not know.
+ *
+ * @see docs/server.md
+ */
+import { z } from 'zod/v4';
+/** One of the statuses a check has in a report: `passed`, `failed`, `running` (not finished) or `not-run`. Closed. */
+export declare const EvidenceStatusSchema: z.ZodEnum<{
+    passed: "passed";
+    failed: "failed";
+    running: "running";
+    "not-run": "not-run";
+}>;
+/**
+ * The body of every error the server answers, a Problem Details document (RFC 9457, `application/problem+json`).
+ * `error` repeats `detail` for clients written before the standard was adopted; read `detail`.
+ */
+export declare const ProblemSchema: z.ZodObject<{
+    type: z.ZodDefault<z.ZodString>;
+    title: z.ZodString;
+    status: z.ZodNumber;
+    detail: z.ZodString;
+    error: z.ZodString;
+}, z.core.$loose>;
+/** What `GET /healthz` answers: the process is up. */
+export declare const HealthSchema: z.ZodObject<{
+    ok: z.ZodLiteral<true>;
+}, z.core.$loose>;
+/** What `GET /readyz` answers: whether the backends were read, and counts for logs. `ready` false comes with status 503. */
+export declare const ReadySchema: z.ZodObject<{
+    ready: z.ZodBoolean;
+    layers: z.ZodNumber;
+    slots: z.ZodNumber;
+    holding: z.ZodNumber;
+    failed: z.ZodNumber;
+    refreshedAt: z.ZodNumber;
+    backends: z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        available: z.ZodBoolean;
+    }, z.core.$loose>>;
+}, z.core.$loose>;
+/** What `GET /api/server` answers: what the server is, who is asking, and what it can do. */
+export declare const ServerInfoSchema: z.ZodObject<{
+    name: z.ZodLiteral<"atlas">;
+    version: z.ZodNullable<z.ZodString>;
+    role: z.ZodEnum<{
+        read: "read";
+        publish: "publish";
+        admin: "admin";
+    }>;
+    open: z.ZodBoolean;
+    write: z.ZodString;
+    ready: z.ZodBoolean;
+    viewers: z.ZodNumber;
+    time: z.ZodNumber;
+    backends: z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        label: z.ZodString;
+        available: z.ZodBoolean;
+        write: z.ZodBoolean;
+    }, z.core.$loose>>;
+    layers: z.ZodNumber;
+    slots: z.ZodNumber;
+    capabilities: z.ZodRecord<z.ZodString, z.ZodBoolean>;
+}, z.core.$loose>;
+/** A backend as the report shows it: where results came from, and whether it could be read. */
+export declare const BackendInfoSchema: z.ZodObject<{
+    id: z.ZodString;
+    label: z.ZodString;
+    live: z.ZodBoolean;
+    available: z.ZodBoolean;
+}, z.core.$loose>;
+/** What a result carries beyond its outcome, as counts and short facts. Present only when there is something. */
+export declare const EvidenceSummarySchema: z.ZodObject<{
+    attachments: z.ZodNumber;
+    steps: z.ZodNumber;
+    annotations: z.ZodNumber;
+    attempts: z.ZodNumber;
+    links: z.ZodNumber;
+    tags: z.ZodArray<z.ZodString>;
+    labels: z.ZodRecord<z.ZodString, z.ZodString>;
+    roles: z.ZodArray<z.ZodString>;
+}, z.core.$loose>;
+/** A layer as the report shows it: its origin and its checks by status. */
+export declare const LayerHeaderSchema: z.ZodObject<{
+    id: z.ZodString;
+    backend: z.ZodString;
+    producer: z.ZodString;
+    packageDir: z.ZodNullable<z.ZodString>;
+    recordedAtMs: z.ZodNumber;
+    sha: z.ZodNullable<z.ZodString>;
+    branch: z.ZodNullable<z.ZodString>;
+    environment: z.ZodNullable<z.ZodString>;
+    runUrl: z.ZodNullable<z.ZodString>;
+    parameters: z.ZodRecord<z.ZodString, z.ZodString>;
+    freshness: z.ZodOptional<z.ZodEnum<{
+        unknown: "unknown";
+        modified: "modified";
+    }>>;
+    recording: z.ZodNullable<z.ZodUnknown>;
+    live: z.ZodBoolean;
+    counts: z.ZodRecord<z.ZodEnum<{
+        passed: "passed";
+        failed: "failed";
+        running: "running";
+        "not-run": "not-run";
+    }>, z.ZodNumber>;
+    execution: z.ZodString;
+    evidence: z.ZodOptional<z.ZodObject<{
+        attachments: z.ZodNumber;
+        steps: z.ZodNumber;
+        annotations: z.ZodNumber;
+        attempts: z.ZodNumber;
+        links: z.ZodNumber;
+        tags: z.ZodArray<z.ZodString>;
+        labels: z.ZodRecord<z.ZodString, z.ZodString>;
+        roles: z.ZodArray<z.ZodString>;
+    }, z.core.$loose>>;
+}, z.core.$loose>;
+/** One check of a layer as the report shows it. */
+export declare const LayerRowSchema: z.ZodObject<{
+    kind: z.ZodString;
+    id: z.ZodString;
+    title: z.ZodString;
+    status: z.ZodEnum<{
+        passed: "passed";
+        failed: "failed";
+        running: "running";
+        "not-run": "not-run";
+    }>;
+    specPath: z.ZodNullable<z.ZodString>;
+    detail: z.ZodString;
+    measurements: z.ZodArray<z.ZodObject<{
+        name: z.ZodString;
+        value: z.ZodNumber;
+        unit: z.ZodString;
+        limit: z.ZodOptional<z.ZodNumber>;
+    }, z.core.$loose>>;
+    testId: z.ZodNullable<z.ZodString>;
+    variant: z.ZodRecord<z.ZodString, z.ZodString>;
+    durationMs: z.ZodNullable<z.ZodNumber>;
+    evidence: z.ZodOptional<z.ZodObject<{
+        attachments: z.ZodNumber;
+        steps: z.ZodNumber;
+        annotations: z.ZodNumber;
+        attempts: z.ZodNumber;
+        links: z.ZodNumber;
+        tags: z.ZodArray<z.ZodString>;
+        labels: z.ZodRecord<z.ZodString, z.ZodString>;
+        roles: z.ZodArray<z.ZodString>;
+    }, z.core.$loose>>;
+}, z.core.$loose>;
+/** A layer with its checks: the rows of one layer, read apart from its header. */
+export declare const LayerRowsSchema: z.ZodObject<{
+    id: z.ZodString;
+    rows: z.ZodArray<z.ZodObject<{
+        kind: z.ZodString;
+        id: z.ZodString;
+        title: z.ZodString;
+        status: z.ZodEnum<{
+            passed: "passed";
+            failed: "failed";
+            running: "running";
+            "not-run": "not-run";
+        }>;
+        specPath: z.ZodNullable<z.ZodString>;
+        detail: z.ZodString;
+        measurements: z.ZodArray<z.ZodObject<{
+            name: z.ZodString;
+            value: z.ZodNumber;
+            unit: z.ZodString;
+            limit: z.ZodOptional<z.ZodNumber>;
+        }, z.core.$loose>>;
+        testId: z.ZodNullable<z.ZodString>;
+        variant: z.ZodRecord<z.ZodString, z.ZodString>;
+        durationMs: z.ZodNullable<z.ZodNumber>;
+        evidence: z.ZodOptional<z.ZodObject<{
+            attachments: z.ZodNumber;
+            steps: z.ZodNumber;
+            annotations: z.ZodNumber;
+            attempts: z.ZodNumber;
+            links: z.ZodNumber;
+            tags: z.ZodArray<z.ZodString>;
+            labels: z.ZodRecord<z.ZodString, z.ZodString>;
+            roles: z.ZodArray<z.ZodString>;
+        }, z.core.$loose>>;
+    }, z.core.$loose>>;
+    fingerprints: z.ZodRecord<z.ZodString, z.ZodString>;
+}, z.core.$loose>;
+/** A layer that holds winners, with only the rows that win. */
+export declare const LayerEvidenceSchema: z.ZodObject<{
+    id: z.ZodString;
+    rows: z.ZodArray<z.ZodObject<{
+        kind: z.ZodString;
+        id: z.ZodString;
+        title: z.ZodString;
+        status: z.ZodEnum<{
+            passed: "passed";
+            failed: "failed";
+            running: "running";
+            "not-run": "not-run";
+        }>;
+        specPath: z.ZodNullable<z.ZodString>;
+        detail: z.ZodString;
+        measurements: z.ZodArray<z.ZodObject<{
+            name: z.ZodString;
+            value: z.ZodNumber;
+            unit: z.ZodString;
+            limit: z.ZodOptional<z.ZodNumber>;
+        }, z.core.$loose>>;
+        testId: z.ZodNullable<z.ZodString>;
+        variant: z.ZodRecord<z.ZodString, z.ZodString>;
+        durationMs: z.ZodNullable<z.ZodNumber>;
+        evidence: z.ZodOptional<z.ZodObject<{
+            attachments: z.ZodNumber;
+            steps: z.ZodNumber;
+            annotations: z.ZodNumber;
+            attempts: z.ZodNumber;
+            links: z.ZodNumber;
+            tags: z.ZodArray<z.ZodString>;
+            labels: z.ZodRecord<z.ZodString, z.ZodString>;
+            roles: z.ZodArray<z.ZodString>;
+        }, z.core.$loose>>;
+    }, z.core.$loose>>;
+    fingerprints: z.ZodRecord<z.ZodString, z.ZodString>;
+    layer: z.ZodObject<{
+        id: z.ZodString;
+        backend: z.ZodString;
+        producer: z.ZodString;
+        packageDir: z.ZodNullable<z.ZodString>;
+        recordedAtMs: z.ZodNumber;
+        sha: z.ZodNullable<z.ZodString>;
+        branch: z.ZodNullable<z.ZodString>;
+        environment: z.ZodNullable<z.ZodString>;
+        runUrl: z.ZodNullable<z.ZodString>;
+        parameters: z.ZodRecord<z.ZodString, z.ZodString>;
+        freshness: z.ZodOptional<z.ZodEnum<{
+            unknown: "unknown";
+            modified: "modified";
+        }>>;
+        recording: z.ZodNullable<z.ZodUnknown>;
+        live: z.ZodBoolean;
+        counts: z.ZodRecord<z.ZodEnum<{
+            passed: "passed";
+            failed: "failed";
+            running: "running";
+            "not-run": "not-run";
+        }>, z.ZodNumber>;
+        execution: z.ZodString;
+        evidence: z.ZodOptional<z.ZodObject<{
+            attachments: z.ZodNumber;
+            steps: z.ZodNumber;
+            annotations: z.ZodNumber;
+            attempts: z.ZodNumber;
+            links: z.ZodNumber;
+            tags: z.ZodArray<z.ZodString>;
+            labels: z.ZodRecord<z.ZodString, z.ZodString>;
+            roles: z.ZodArray<z.ZodString>;
+        }, z.core.$loose>>;
+    }, z.core.$loose>;
+}, z.core.$loose>;
+/**
+ * The report as it stands: `GET /api/reports/evidence/effective`. Only the layers that win at least one check are
+ * listed, each with only the rows that win, newest first. `version` is a hash of the report: equal exactly when the
+ * report is, on every replica, so it works as an ETag and as the `since` of a delta.
+ */
+export declare const EffectiveEvidenceSchema: z.ZodObject<{
+    version: z.ZodString;
+    layers: z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        rows: z.ZodArray<z.ZodObject<{
+            kind: z.ZodString;
+            id: z.ZodString;
+            title: z.ZodString;
+            status: z.ZodEnum<{
+                passed: "passed";
+                failed: "failed";
+                running: "running";
+                "not-run": "not-run";
+            }>;
+            specPath: z.ZodNullable<z.ZodString>;
+            detail: z.ZodString;
+            measurements: z.ZodArray<z.ZodObject<{
+                name: z.ZodString;
+                value: z.ZodNumber;
+                unit: z.ZodString;
+                limit: z.ZodOptional<z.ZodNumber>;
+            }, z.core.$loose>>;
+            testId: z.ZodNullable<z.ZodString>;
+            variant: z.ZodRecord<z.ZodString, z.ZodString>;
+            durationMs: z.ZodNullable<z.ZodNumber>;
+            evidence: z.ZodOptional<z.ZodObject<{
+                attachments: z.ZodNumber;
+                steps: z.ZodNumber;
+                annotations: z.ZodNumber;
+                attempts: z.ZodNumber;
+                links: z.ZodNumber;
+                tags: z.ZodArray<z.ZodString>;
+                labels: z.ZodRecord<z.ZodString, z.ZodString>;
+                roles: z.ZodArray<z.ZodString>;
+            }, z.core.$loose>>;
+        }, z.core.$loose>>;
+        fingerprints: z.ZodRecord<z.ZodString, z.ZodString>;
+        layer: z.ZodObject<{
+            id: z.ZodString;
+            backend: z.ZodString;
+            producer: z.ZodString;
+            packageDir: z.ZodNullable<z.ZodString>;
+            recordedAtMs: z.ZodNumber;
+            sha: z.ZodNullable<z.ZodString>;
+            branch: z.ZodNullable<z.ZodString>;
+            environment: z.ZodNullable<z.ZodString>;
+            runUrl: z.ZodNullable<z.ZodString>;
+            parameters: z.ZodRecord<z.ZodString, z.ZodString>;
+            freshness: z.ZodOptional<z.ZodEnum<{
+                unknown: "unknown";
+                modified: "modified";
+            }>>;
+            recording: z.ZodNullable<z.ZodUnknown>;
+            live: z.ZodBoolean;
+            counts: z.ZodRecord<z.ZodEnum<{
+                passed: "passed";
+                failed: "failed";
+                running: "running";
+                "not-run": "not-run";
+            }>, z.ZodNumber>;
+            execution: z.ZodString;
+            evidence: z.ZodOptional<z.ZodObject<{
+                attachments: z.ZodNumber;
+                steps: z.ZodNumber;
+                annotations: z.ZodNumber;
+                attempts: z.ZodNumber;
+                links: z.ZodNumber;
+                tags: z.ZodArray<z.ZodString>;
+                labels: z.ZodRecord<z.ZodString, z.ZodString>;
+                roles: z.ZodArray<z.ZodString>;
+            }, z.core.$loose>>;
+        }, z.core.$loose>;
+    }, z.core.$loose>>;
+    backends: z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        label: z.ZodString;
+        live: z.ZodBoolean;
+        available: z.ZodBoolean;
+    }, z.core.$loose>>;
+    notices: z.ZodArray<z.ZodString>;
+    totalLayers: z.ZodNumber;
+    active: z.ZodArray<z.ZodUnknown>;
+}, z.core.$loose>;
+/**
+ * What `GET /api/reports/evidence/effective?since=<version>` answers when the server remembers that version: only
+ * what changed. Replace the layers of the same id, drop `removed`, take the rest whole; the result equals the full
+ * report. When the server does not remember the version it answers with the whole report instead (no `delta` key).
+ */
+export declare const EffectiveDeltaSchema: z.ZodObject<{
+    version: z.ZodString;
+    backends: z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        label: z.ZodString;
+        live: z.ZodBoolean;
+        available: z.ZodBoolean;
+    }, z.core.$loose>>;
+    notices: z.ZodArray<z.ZodString>;
+    totalLayers: z.ZodNumber;
+    active: z.ZodArray<z.ZodUnknown>;
+    delta: z.ZodLiteral<true>;
+    base: z.ZodString;
+    layers: z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        rows: z.ZodArray<z.ZodObject<{
+            kind: z.ZodString;
+            id: z.ZodString;
+            title: z.ZodString;
+            status: z.ZodEnum<{
+                passed: "passed";
+                failed: "failed";
+                running: "running";
+                "not-run": "not-run";
+            }>;
+            specPath: z.ZodNullable<z.ZodString>;
+            detail: z.ZodString;
+            measurements: z.ZodArray<z.ZodObject<{
+                name: z.ZodString;
+                value: z.ZodNumber;
+                unit: z.ZodString;
+                limit: z.ZodOptional<z.ZodNumber>;
+            }, z.core.$loose>>;
+            testId: z.ZodNullable<z.ZodString>;
+            variant: z.ZodRecord<z.ZodString, z.ZodString>;
+            durationMs: z.ZodNullable<z.ZodNumber>;
+            evidence: z.ZodOptional<z.ZodObject<{
+                attachments: z.ZodNumber;
+                steps: z.ZodNumber;
+                annotations: z.ZodNumber;
+                attempts: z.ZodNumber;
+                links: z.ZodNumber;
+                tags: z.ZodArray<z.ZodString>;
+                labels: z.ZodRecord<z.ZodString, z.ZodString>;
+                roles: z.ZodArray<z.ZodString>;
+            }, z.core.$loose>>;
+        }, z.core.$loose>>;
+        fingerprints: z.ZodRecord<z.ZodString, z.ZodString>;
+        layer: z.ZodObject<{
+            id: z.ZodString;
+            backend: z.ZodString;
+            producer: z.ZodString;
+            packageDir: z.ZodNullable<z.ZodString>;
+            recordedAtMs: z.ZodNumber;
+            sha: z.ZodNullable<z.ZodString>;
+            branch: z.ZodNullable<z.ZodString>;
+            environment: z.ZodNullable<z.ZodString>;
+            runUrl: z.ZodNullable<z.ZodString>;
+            parameters: z.ZodRecord<z.ZodString, z.ZodString>;
+            freshness: z.ZodOptional<z.ZodEnum<{
+                unknown: "unknown";
+                modified: "modified";
+            }>>;
+            recording: z.ZodNullable<z.ZodUnknown>;
+            live: z.ZodBoolean;
+            counts: z.ZodRecord<z.ZodEnum<{
+                passed: "passed";
+                failed: "failed";
+                running: "running";
+                "not-run": "not-run";
+            }>, z.ZodNumber>;
+            execution: z.ZodString;
+            evidence: z.ZodOptional<z.ZodObject<{
+                attachments: z.ZodNumber;
+                steps: z.ZodNumber;
+                annotations: z.ZodNumber;
+                attempts: z.ZodNumber;
+                links: z.ZodNumber;
+                tags: z.ZodArray<z.ZodString>;
+                labels: z.ZodRecord<z.ZodString, z.ZodString>;
+                roles: z.ZodArray<z.ZodString>;
+            }, z.core.$loose>>;
+        }, z.core.$loose>;
+    }, z.core.$loose>>;
+    removed: z.ZodArray<z.ZodString>;
+}, z.core.$loose>;
+/** A spec of the outline a report is laid over. */
+export declare const OutlineSpecSchema: z.ZodObject<{
+    path: z.ZodString;
+    domain: z.ZodString;
+    kind: z.ZodString;
+    title: z.ZodString;
+    fingerprint: z.ZodOptional<z.ZodString>;
+}, z.core.$loose>;
+/** `GET /api/reports/outline`: the specs a report is laid over, from the newest committed spec set. */
+export declare const OutlineSchema: z.ZodObject<{
+    specs: z.ZodArray<z.ZodObject<{
+        path: z.ZodString;
+        domain: z.ZodString;
+        kind: z.ZodString;
+        title: z.ZodString;
+        fingerprint: z.ZodOptional<z.ZodString>;
+    }, z.core.$loose>>;
+    sha: z.ZodNullable<z.ZodString>;
+    changedFiles: z.ZodArray<z.ZodString>;
+}, z.core.$loose>;
+/** `GET /api/reports/evidence`: one page of layer headers, newest first. Used by clients that read the whole history. */
+export declare const EvidencePageSchema: z.ZodObject<{
+    layers: z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        backend: z.ZodString;
+        producer: z.ZodString;
+        packageDir: z.ZodNullable<z.ZodString>;
+        recordedAtMs: z.ZodNumber;
+        sha: z.ZodNullable<z.ZodString>;
+        branch: z.ZodNullable<z.ZodString>;
+        environment: z.ZodNullable<z.ZodString>;
+        runUrl: z.ZodNullable<z.ZodString>;
+        parameters: z.ZodRecord<z.ZodString, z.ZodString>;
+        freshness: z.ZodOptional<z.ZodEnum<{
+            unknown: "unknown";
+            modified: "modified";
+        }>>;
+        recording: z.ZodNullable<z.ZodUnknown>;
+        live: z.ZodBoolean;
+        counts: z.ZodRecord<z.ZodEnum<{
+            passed: "passed";
+            failed: "failed";
+            running: "running";
+            "not-run": "not-run";
+        }>, z.ZodNumber>;
+        execution: z.ZodString;
+        evidence: z.ZodOptional<z.ZodObject<{
+            attachments: z.ZodNumber;
+            steps: z.ZodNumber;
+            annotations: z.ZodNumber;
+            attempts: z.ZodNumber;
+            links: z.ZodNumber;
+            tags: z.ZodArray<z.ZodString>;
+            labels: z.ZodRecord<z.ZodString, z.ZodString>;
+            roles: z.ZodArray<z.ZodString>;
+        }, z.core.$loose>>;
+    }, z.core.$loose>>;
+    cursor: z.ZodNullable<z.ZodString>;
+    notices: z.ZodArray<z.ZodString>;
+    backends: z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        label: z.ZodString;
+        live: z.ZodBoolean;
+        available: z.ZodBoolean;
+    }, z.core.$loose>>;
+    active: z.ZodArray<z.ZodUnknown>;
+}, z.core.$loose>;
+/** `GET /api/reports/evidence/detail/{backend}/{id}`: everything one check carries, and what its run carries. */
+export declare const CheckDetailSchema: z.ZodObject<{
+    layer: z.ZodString;
+    kind: z.ZodString;
+    check: z.ZodObject<{
+        steps: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            id: z.ZodOptional<z.ZodString>;
+            parentId: z.ZodOptional<z.ZodString>;
+            name: z.ZodString;
+            kind: z.ZodOptional<z.ZodString>;
+            status: z.ZodOptional<z.ZodString>;
+            offsetMs: z.ZodOptional<z.ZodNumber>;
+            durationMs: z.ZodOptional<z.ZodNumber>;
+            detail: z.ZodOptional<z.ZodString>;
+            attachments: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                id: z.ZodOptional<z.ZodString>;
+                name: z.ZodString;
+                role: z.ZodOptional<z.ZodString>;
+                contentType: z.ZodOptional<z.ZodString>;
+                bundleKey: z.ZodOptional<z.ZodString>;
+                uri: z.ZodOptional<z.ZodString>;
+                text: z.ZodOptional<z.ZodString>;
+                bytes: z.ZodOptional<z.ZodNumber>;
+                sha256: z.ZodOptional<z.ZodString>;
+                width: z.ZodOptional<z.ZodNumber>;
+                height: z.ZodOptional<z.ZodNumber>;
+                durationMs: z.ZodOptional<z.ZodNumber>;
+                description: z.ZodOptional<z.ZodString>;
+                at: z.ZodOptional<z.ZodObject<{
+                    step: z.ZodOptional<z.ZodString>;
+                    offsetMs: z.ZodOptional<z.ZodNumber>;
+                }, z.core.$loose>>;
+                poster: z.ZodOptional<z.ZodString>;
+                captions: z.ZodOptional<z.ZodArray<z.ZodString>>;
+                extensions: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, z.core.$loose>>>;
+            annotations: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                type: z.ZodString;
+                message: z.ZodString;
+                level: z.ZodOptional<z.ZodString>;
+                at: z.ZodOptional<z.ZodObject<{
+                    step: z.ZodOptional<z.ZodString>;
+                    offsetMs: z.ZodOptional<z.ZodNumber>;
+                }, z.core.$loose>>;
+                source: z.ZodOptional<z.ZodObject<{
+                    file: z.ZodOptional<z.ZodString>;
+                    line: z.ZodOptional<z.ZodNumber>;
+                    column: z.ZodOptional<z.ZodNumber>;
+                }, z.core.$loose>>;
+                links: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                    url: z.ZodString;
+                    name: z.ZodOptional<z.ZodString>;
+                    rel: z.ZodOptional<z.ZodString>;
+                }, z.core.$loose>>>;
+                extensions: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, z.core.$loose>>>;
+            extensions: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+        }, z.core.$loose>>>;
+        attempts: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            index: z.ZodNumber;
+            status: z.ZodEnum<{
+                passed: "passed";
+                failed: "failed";
+                running: "running";
+                "not-run": "not-run";
+            }>;
+            durationMs: z.ZodOptional<z.ZodNumber>;
+            startedAtMs: z.ZodOptional<z.ZodNumber>;
+            detail: z.ZodOptional<z.ZodString>;
+            steps: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                id: z.ZodOptional<z.ZodString>;
+                parentId: z.ZodOptional<z.ZodString>;
+                name: z.ZodString;
+                kind: z.ZodOptional<z.ZodString>;
+                status: z.ZodOptional<z.ZodString>;
+                offsetMs: z.ZodOptional<z.ZodNumber>;
+                durationMs: z.ZodOptional<z.ZodNumber>;
+                detail: z.ZodOptional<z.ZodString>;
+                attachments: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                    id: z.ZodOptional<z.ZodString>;
+                    name: z.ZodString;
+                    role: z.ZodOptional<z.ZodString>;
+                    contentType: z.ZodOptional<z.ZodString>;
+                    bundleKey: z.ZodOptional<z.ZodString>;
+                    uri: z.ZodOptional<z.ZodString>;
+                    text: z.ZodOptional<z.ZodString>;
+                    bytes: z.ZodOptional<z.ZodNumber>;
+                    sha256: z.ZodOptional<z.ZodString>;
+                    width: z.ZodOptional<z.ZodNumber>;
+                    height: z.ZodOptional<z.ZodNumber>;
+                    durationMs: z.ZodOptional<z.ZodNumber>;
+                    description: z.ZodOptional<z.ZodString>;
+                    at: z.ZodOptional<z.ZodObject<{
+                        step: z.ZodOptional<z.ZodString>;
+                        offsetMs: z.ZodOptional<z.ZodNumber>;
+                    }, z.core.$loose>>;
+                    poster: z.ZodOptional<z.ZodString>;
+                    captions: z.ZodOptional<z.ZodArray<z.ZodString>>;
+                    extensions: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+                }, z.core.$loose>>>;
+                annotations: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                    type: z.ZodString;
+                    message: z.ZodString;
+                    level: z.ZodOptional<z.ZodString>;
+                    at: z.ZodOptional<z.ZodObject<{
+                        step: z.ZodOptional<z.ZodString>;
+                        offsetMs: z.ZodOptional<z.ZodNumber>;
+                    }, z.core.$loose>>;
+                    source: z.ZodOptional<z.ZodObject<{
+                        file: z.ZodOptional<z.ZodString>;
+                        line: z.ZodOptional<z.ZodNumber>;
+                        column: z.ZodOptional<z.ZodNumber>;
+                    }, z.core.$loose>>;
+                    links: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                        url: z.ZodString;
+                        name: z.ZodOptional<z.ZodString>;
+                        rel: z.ZodOptional<z.ZodString>;
+                    }, z.core.$loose>>>;
+                    extensions: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+                }, z.core.$loose>>>;
+                extensions: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, z.core.$loose>>>;
+            attachments: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                id: z.ZodOptional<z.ZodString>;
+                name: z.ZodString;
+                role: z.ZodOptional<z.ZodString>;
+                contentType: z.ZodOptional<z.ZodString>;
+                bundleKey: z.ZodOptional<z.ZodString>;
+                uri: z.ZodOptional<z.ZodString>;
+                text: z.ZodOptional<z.ZodString>;
+                bytes: z.ZodOptional<z.ZodNumber>;
+                sha256: z.ZodOptional<z.ZodString>;
+                width: z.ZodOptional<z.ZodNumber>;
+                height: z.ZodOptional<z.ZodNumber>;
+                durationMs: z.ZodOptional<z.ZodNumber>;
+                description: z.ZodOptional<z.ZodString>;
+                at: z.ZodOptional<z.ZodObject<{
+                    step: z.ZodOptional<z.ZodString>;
+                    offsetMs: z.ZodOptional<z.ZodNumber>;
+                }, z.core.$loose>>;
+                poster: z.ZodOptional<z.ZodString>;
+                captions: z.ZodOptional<z.ZodArray<z.ZodString>>;
+                extensions: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, z.core.$loose>>>;
+            annotations: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                type: z.ZodString;
+                message: z.ZodString;
+                level: z.ZodOptional<z.ZodString>;
+                at: z.ZodOptional<z.ZodObject<{
+                    step: z.ZodOptional<z.ZodString>;
+                    offsetMs: z.ZodOptional<z.ZodNumber>;
+                }, z.core.$loose>>;
+                source: z.ZodOptional<z.ZodObject<{
+                    file: z.ZodOptional<z.ZodString>;
+                    line: z.ZodOptional<z.ZodNumber>;
+                    column: z.ZodOptional<z.ZodNumber>;
+                }, z.core.$loose>>;
+                links: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                    url: z.ZodString;
+                    name: z.ZodOptional<z.ZodString>;
+                    rel: z.ZodOptional<z.ZodString>;
+                }, z.core.$loose>>>;
+                extensions: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, z.core.$loose>>>;
+            extensions: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+        }, z.core.$loose>>>;
+        tags: z.ZodOptional<z.ZodArray<z.ZodString>>;
+        labels: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
+        links: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            url: z.ZodString;
+            name: z.ZodOptional<z.ZodString>;
+            rel: z.ZodOptional<z.ZodString>;
+        }, z.core.$loose>>>;
+        attachments: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            id: z.ZodOptional<z.ZodString>;
+            name: z.ZodString;
+            role: z.ZodOptional<z.ZodString>;
+            contentType: z.ZodOptional<z.ZodString>;
+            bundleKey: z.ZodOptional<z.ZodString>;
+            uri: z.ZodOptional<z.ZodString>;
+            text: z.ZodOptional<z.ZodString>;
+            bytes: z.ZodOptional<z.ZodNumber>;
+            sha256: z.ZodOptional<z.ZodString>;
+            width: z.ZodOptional<z.ZodNumber>;
+            height: z.ZodOptional<z.ZodNumber>;
+            durationMs: z.ZodOptional<z.ZodNumber>;
+            description: z.ZodOptional<z.ZodString>;
+            at: z.ZodOptional<z.ZodObject<{
+                step: z.ZodOptional<z.ZodString>;
+                offsetMs: z.ZodOptional<z.ZodNumber>;
+            }, z.core.$loose>>;
+            poster: z.ZodOptional<z.ZodString>;
+            captions: z.ZodOptional<z.ZodArray<z.ZodString>>;
+            extensions: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+        }, z.core.$loose>>>;
+        annotations: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            type: z.ZodString;
+            message: z.ZodString;
+            level: z.ZodOptional<z.ZodString>;
+            at: z.ZodOptional<z.ZodObject<{
+                step: z.ZodOptional<z.ZodString>;
+                offsetMs: z.ZodOptional<z.ZodNumber>;
+            }, z.core.$loose>>;
+            source: z.ZodOptional<z.ZodObject<{
+                file: z.ZodOptional<z.ZodString>;
+                line: z.ZodOptional<z.ZodNumber>;
+                column: z.ZodOptional<z.ZodNumber>;
+            }, z.core.$loose>>;
+            links: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                url: z.ZodString;
+                name: z.ZodOptional<z.ZodString>;
+                rel: z.ZodOptional<z.ZodString>;
+            }, z.core.$loose>>>;
+            extensions: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+        }, z.core.$loose>>>;
+        extensions: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+        id: z.ZodString;
+        title: z.ZodString;
+        status: z.ZodEnum<{
+            passed: "passed";
+            failed: "failed";
+            running: "running";
+            "not-run": "not-run";
+        }>;
+        detail: z.ZodDefault<z.ZodString>;
+        specPath: z.ZodOptional<z.ZodString>;
+        measurements: z.ZodDefault<z.ZodArray<z.ZodObject<{
+            name: z.ZodString;
+            value: z.ZodNumber;
+            unit: z.ZodString;
+            limit: z.ZodOptional<z.ZodNumber>;
+        }, z.core.$loose>>>;
+        durationMs: z.ZodOptional<z.ZodNumber>;
+    }, z.core.$loose>;
+    run: z.ZodObject<{}, z.core.$loose>;
+}, z.core.$loose>;
+/** `GET /api/store?prefix=…`: one page of keys under `layers/`, in code-unit order. */
+export declare const StoreListingSchema: z.ZodObject<{
+    keys: z.ZodArray<z.ZodString>;
+    next: z.ZodNullable<z.ZodString>;
+}, z.core.$loose>;
+/** `PUT /api/store/{key}` answered: the key was taken (`created`) or was already there with the same bytes. */
+export declare const StoreWriteResultSchema: z.ZodObject<{
+    ok: z.ZodLiteral<true>;
+    key: z.ZodString;
+    kind: z.ZodString;
+    created: z.ZodBoolean;
+}, z.core.$loose>;
+/** `POST /api/checks` answered: the layer that was written. */
+export declare const ChecksResultSchema: z.ZodObject<{
+    ok: z.ZodLiteral<true>;
+    id: z.ZodString;
+    checks: z.ZodNumber;
+}, z.core.$loose>;
+/** The data of the `hello` event: sent first on `/api/events`. */
+export declare const HelloEventSchema: z.ZodObject<{
+    version: z.ZodString;
+    ready: z.ZodBoolean;
+    time: z.ZodNumber;
+}, z.core.$loose>;
+/** The data of the `report` event: layers arrived. Enough to say who sent what, without asking. */
+export declare const ReportEventSchema: z.ZodObject<{
+    version: z.ZodString;
+    totalLayers: z.ZodNumber;
+    added: z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        producer: z.ZodString;
+        environment: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+        branch: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+        sha: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+        recordedAtMs: z.ZodNumber;
+        counts: z.ZodOptional<z.ZodRecord<z.ZodEnum<{
+            passed: "passed";
+            failed: "failed";
+            running: "running";
+            "not-run": "not-run";
+        }>, z.ZodNumber>>;
+    }, z.core.$loose>>;
+    addedTotal: z.ZodNumber;
+}, z.core.$loose>;
+/** The data of the `ping` event: sent every `heartbeatSeconds`, so a quiet server is told apart from a dead connection. */
+export declare const PingEventSchema: z.ZodObject<{}, z.core.$loose>;