@davidahmann/mill 0.1.4 → 0.2.1

package/dist/contracts/schemas.d.ts

@@ -251,6 +251,83 @@ export declare const scenarioSetSchema: z.ZodObject<{
         forbidden: z.ZodDefault<z.ZodArray<z.ZodString>>;
     }, z.core.$strict>>;
 }, z.core.$strict>;
+export declare const repositoryIntelligenceSchema: z.ZodObject<{
+    schemaVersion: z.ZodLiteral<"1">;
+    extractor: z.ZodObject<{
+        id: z.ZodLiteral<"mill.repository-intelligence">;
+        version: z.ZodLiteral<"1">;
+        digest: z.ZodString;
+    }, z.core.$strict>;
+    source: z.ZodObject<{
+        commit: z.ZodString;
+        tree: z.ZodString;
+        root: z.ZodLiteral<".">;
+    }, z.core.$strict>;
+    scanDigest: z.ZodString;
+    sourceFiles: z.ZodArray<z.ZodString>;
+    modules: z.ZodArray<z.ZodObject<{
+        path: z.ZodString;
+        digest: z.ZodString;
+        imports: z.ZodArray<z.ZodObject<{
+            kind: z.ZodEnum<{
+                type: "type";
+                dynamic: "dynamic";
+                require: "require";
+                static: "static";
+            }>;
+            specifier: z.ZodString;
+            location: z.ZodObject<{
+                path: z.ZodString;
+                line: z.ZodNumber;
+                column: z.ZodNumber;
+            }, z.core.$strict>;
+            resolution: z.ZodEnum<{
+                external: "external";
+                resolved_local: "resolved_local";
+                unresolved: "unresolved";
+            }>;
+            targetPath: z.ZodOptional<z.ZodString>;
+        }, z.core.$strict>>;
+        parseDiagnostics: z.ZodArray<z.ZodObject<{
+            path: z.ZodString;
+            line: z.ZodNumber;
+            column: z.ZodNumber;
+        }, z.core.$strict>>;
+    }, z.core.$strict>>;
+    tests: z.ZodObject<{
+        inventory: z.ZodArray<z.ZodObject<{
+            path: z.ZodString;
+            source: z.ZodLiteral<"filename">;
+        }, z.core.$strict>>;
+        declaredSelection: z.ZodArray<z.ZodObject<{
+            script: z.ZodString;
+            command: z.ZodString;
+            selector: z.ZodString;
+            matchedInventory: z.ZodArray<z.ZodString>;
+            status: z.ZodEnum<{
+                unknown: "unknown";
+                observed: "observed";
+            }>;
+        }, z.core.$strict>>;
+        executedCoverage: z.ZodLiteral<"unknown">;
+    }, z.core.$strict>;
+    changeImpact: z.ZodArray<z.ZodObject<{
+        changedPath: z.ZodString;
+        leads: z.ZodArray<z.ZodObject<{
+            path: z.ZodString;
+            relationship: z.ZodEnum<{
+                changed: "changed";
+                direct_importer: "direct_importer";
+                transitive_importer: "transitive_importer";
+            }>;
+            via: z.ZodOptional<z.ZodString>;
+        }, z.core.$strict>>;
+        unknowns: z.ZodArray<z.ZodString>;
+    }, z.core.$strict>>;
+    unknowns: z.ZodArray<z.ZodString>;
+    digest: z.ZodString;
+    authority: z.ZodLiteral<"derived_read_only">;
+}, z.core.$strict>;
 export declare const outcomeSchema: z.ZodObject<{
     id: z.ZodString;
     title: z.ZodString;
@@ -471,6 +548,12 @@ export declare const specificationProposalSchema: z.ZodObject<{
     }, z.core.$strict>>;
     status: z.ZodLiteral<"proposed">;
 }, z.core.$strict>;
+export declare const checkProducerSchema: z.ZodObject<{
+    appId: z.ZodNumber;
+    workflowPath: z.ZodString;
+    pullRequestEvent: z.ZodLiteral<"pull_request">;
+    postMergeEvent: z.ZodLiteral<"push">;
+}, z.core.$strict>;
 export declare const millConfigSchema: z.ZodObject<{
     schemaVersion: z.ZodLiteral<"1">;
     repositoryId: z.ZodUUID;
@@ -502,6 +585,14 @@ export declare const millConfigSchema: z.ZodObject<{
         allowedActors: z.ZodArray<z.ZodString>;
         allowedMergerLogins: z.ZodArray<z.ZodString>;
         requiredChecks: z.ZodArray<z.ZodString>;
+        checkProducers: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodObject<{
+            appId: z.ZodNumber;
+            workflowPath: z.ZodString;
+            pullRequestEvent: z.ZodLiteral<"pull_request">;
+            postMergeEvent: z.ZodLiteral<"push">;
+        }, z.core.$strict>>>;
+        attendedMerge: z.ZodOptional<z.ZodLiteral<true>>;
+        postMergeRequiredChecks: z.ZodOptional<z.ZodArray<z.ZodString>>;
         reviewPolicy: z.ZodObject<{
             mode: z.ZodEnum<{
                 local_only: "local_only";
@@ -533,6 +624,7 @@ export declare const millConfigSchema: z.ZodObject<{
             oci: "oci";
         }>>;
         writablePaths: z.ZodOptional<z.ZodArray<z.ZodString>>;
+        executableFixtureScratch: z.ZodOptional<z.ZodLiteral<true>>;
     }, z.core.$strict>>;
 }, z.core.$strict>;
 export declare const taskPacketV1Schema: z.ZodObject<{
@@ -554,6 +646,7 @@ export declare const taskPacketV1Schema: z.ZodObject<{
         id: z.ZodString;
         statement: z.ZodString;
     }, z.core.$strict>>;
+    repositoryIntelligence: z.ZodOptional<z.ZodLiteral<true>>;
     id: z.ZodString;
     title: z.ZodString;
     objective: z.ZodString;
@@ -573,6 +666,7 @@ export declare const taskPacketV1Schema: z.ZodObject<{
     }, z.core.$strict>;
     budget: z.ZodObject<{
         deadlineSeconds: z.ZodNumber;
+        maxContextBytes: z.ZodOptional<z.ZodNumber>;
         maxOutputBytes: z.ZodNumber;
         retryCount: z.ZodNumber;
     }, z.core.$strict>;
@@ -633,6 +727,7 @@ export declare const taskPacketV2Schema: z.ZodObject<{
             reason: z.ZodString;
         }, z.core.$strict>], "mode">;
     }, z.core.$strict>>;
+    repositoryIntelligence: z.ZodOptional<z.ZodLiteral<true>>;
     id: z.ZodString;
     title: z.ZodString;
     objective: z.ZodString;
@@ -652,6 +747,7 @@ export declare const taskPacketV2Schema: z.ZodObject<{
     }, z.core.$strict>;
     budget: z.ZodObject<{
         deadlineSeconds: z.ZodNumber;
+        maxContextBytes: z.ZodOptional<z.ZodNumber>;
         maxOutputBytes: z.ZodNumber;
         retryCount: z.ZodNumber;
     }, z.core.$strict>;
@@ -676,6 +772,7 @@ export declare const taskPacketSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
         id: z.ZodString;
         statement: z.ZodString;
     }, z.core.$strict>>;
+    repositoryIntelligence: z.ZodOptional<z.ZodLiteral<true>>;
     id: z.ZodString;
     title: z.ZodString;
     objective: z.ZodString;
@@ -695,6 +792,7 @@ export declare const taskPacketSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
     }, z.core.$strict>;
     budget: z.ZodObject<{
         deadlineSeconds: z.ZodNumber;
+        maxContextBytes: z.ZodOptional<z.ZodNumber>;
         maxOutputBytes: z.ZodNumber;
         retryCount: z.ZodNumber;
     }, z.core.$strict>;
@@ -754,6 +852,7 @@ export declare const taskPacketSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
             reason: z.ZodString;
         }, z.core.$strict>], "mode">;
     }, z.core.$strict>>;
+    repositoryIntelligence: z.ZodOptional<z.ZodLiteral<true>>;
     id: z.ZodString;
     title: z.ZodString;
     objective: z.ZodString;
@@ -773,11 +872,69 @@ export declare const taskPacketSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
     }, z.core.$strict>;
     budget: z.ZodObject<{
         deadlineSeconds: z.ZodNumber;
+        maxContextBytes: z.ZodOptional<z.ZodNumber>;
         maxOutputBytes: z.ZodNumber;
         retryCount: z.ZodNumber;
     }, z.core.$strict>;
     schemaVersion: z.ZodLiteral<"2">;
 }, z.core.$strict>], "schemaVersion">;
+export declare const changeRequestSchema: z.ZodObject<{
+    schemaVersion: z.ZodLiteral<"1">;
+    repositoryIntelligence: z.ZodOptional<z.ZodLiteral<true>>;
+    id: z.ZodString;
+    kind: z.ZodEnum<{
+        prd: "prd";
+        plan: "plan";
+        bug: "bug";
+        review: "review";
+        maintenance: "maintenance";
+    }>;
+    source: z.ZodObject<{
+        path: z.ZodString;
+        digest: z.ZodString;
+    }, z.core.$strict>;
+    productPath: z.ZodString;
+    scenariosPath: z.ZodString;
+    policyPath: z.ZodString;
+    commit: z.ZodObject<{
+        message: z.ZodString;
+        authorName: z.ZodString;
+        authorEmail: z.ZodEmail;
+    }, z.core.$strict>;
+    budget: z.ZodObject<{
+        deadlineSeconds: z.ZodNumber;
+        maxContextBytes: z.ZodOptional<z.ZodNumber>;
+        maxOutputBytes: z.ZodNumber;
+        retryCount: z.ZodNumber;
+    }, z.core.$strict>;
+    readyOutcomeId: z.ZodString;
+    tasks: z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        outcomeId: z.ZodString;
+        supersedesTaskDigest: z.ZodOptional<z.ZodString>;
+        title: z.ZodString;
+        objective: z.ZodString;
+        dependsOn: z.ZodArray<z.ZodString>;
+        impactPath: z.ZodString;
+        allowedPaths: z.ZodArray<z.ZodString>;
+        contextPaths: z.ZodArray<z.ZodString>;
+        attestations: z.ZodDefault<z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            approvedBy: z.ZodString;
+            approvedAt: z.ZodISODateTime;
+            expiresAt: z.ZodISODateTime;
+            claims: z.ZodArray<z.ZodObject<{
+                kind: z.ZodEnum<{
+                    acceptance: "acceptance";
+                    invariant: "invariant";
+                    scenario: "scenario";
+                }>;
+                id: z.ZodString;
+                digest: z.ZodString;
+            }, z.core.$strict>>;
+        }, z.core.$strict>>>;
+    }, z.core.$strict>>;
+}, z.core.$strict>;
 export declare const workerProfileSchema: z.ZodObject<{
     schemaVersion: z.ZodLiteral<"1">;
     adapter: z.ZodLiteral<"codex-cli">;
@@ -812,8 +969,8 @@ export declare const workerInvocationSchema: z.ZodObject<{
     runId: z.ZodUUID;
     phase: z.ZodEnum<{
         build: "build";
-        repair: "repair";
         review: "review";
+        repair: "repair";
     }>;
     attempt: z.ZodNumber;
     taskDigest: z.ZodString;
@@ -856,6 +1013,20 @@ export declare const workerInvocationSchema: z.ZodObject<{
 }, z.core.$strict>;
 export declare const contextManifestSchema: z.ZodObject<{
     schemaVersion: z.ZodLiteral<"1">;
+    repositoryContext: z.ZodOptional<z.ZodObject<{
+        authority: z.ZodLiteral<"derived_read_only">;
+        sourceCommit: z.ZodString;
+        mapDigest: z.ZodString;
+        extractorVersion: z.ZodString;
+        modules: z.ZodArray<z.ZodObject<{
+            path: z.ZodString;
+            digest: z.ZodString;
+            localImports: z.ZodArray<z.ZodString>;
+            unresolvedImports: z.ZodNumber;
+        }, z.core.$strict>>;
+        omittedModules: z.ZodNumber;
+        unknowns: z.ZodArray<z.ZodString>;
+    }, z.core.$strict>>;
     taskDigest: z.ZodString;
     baseCommit: z.ZodString;
     provider: z.ZodLiteral<"openai">;
@@ -881,9 +1052,23 @@ export declare const contextManifestSchema: z.ZodObject<{
         observedReads: z.ZodLiteral<"unavailable">;
     }, z.core.$strict>>;
 }, z.core.$strict>;
+export declare const reviewScopeSchema: z.ZodObject<{
+    baseCommit: z.ZodString;
+    candidateCommit: z.ZodString;
+    candidateTree: z.ZodString;
+    changedPaths: z.ZodArray<z.ZodString>;
+    digest: z.ZodString;
+}, z.core.$strict>;
 export declare const reviewResultSchema: z.ZodObject<{
     schemaVersion: z.ZodLiteral<"1">;
     candidateCommit: z.ZodString;
+    scope: z.ZodOptional<z.ZodObject<{
+        baseCommit: z.ZodString;
+        candidateCommit: z.ZodString;
+        candidateTree: z.ZodString;
+        changedPaths: z.ZodArray<z.ZodString>;
+        digest: z.ZodString;
+    }, z.core.$strict>>;
     summary: z.ZodString;
     findings: z.ZodArray<z.ZodObject<{
         id: z.ZodString;
@@ -961,6 +1146,24 @@ export declare const validationEvidenceSchema: z.ZodObject<{
     }, z.core.$strict>>;
     passed: z.ZodBoolean;
 }, z.core.$strict>;
+export declare const mergeApprovalPlanSchema: z.ZodObject<{
+    schemaVersion: z.ZodLiteral<"1">;
+    repositoryNodeId: z.ZodString;
+    pullRequestNumber: z.ZodNumber;
+    pullRequestNodeId: z.ZodString;
+    headCommit: z.ZodString;
+    baseCommit: z.ZodString;
+    candidateTree: z.ZodString;
+    actorLogin: z.ZodString;
+    actorId: z.ZodNumber;
+    policyDigest: z.ZodString;
+    method: z.ZodEnum<{
+        merge: "merge";
+        squash: "squash";
+    }>;
+    markReady: z.ZodBoolean;
+    expiresAt: z.ZodISODateTime;
+}, z.core.$strict>;
 export declare const deliveryRecordSchema: z.ZodObject<{
     schemaVersion: z.ZodLiteral<"1">;
     runId: z.ZodUUID;
@@ -995,6 +1198,19 @@ export declare const deliveryRecordSchema: z.ZodObject<{
     candidateCommit: z.ZodString;
     candidateTree: z.ZodString;
     requiredChecks: z.ZodArray<z.ZodString>;
+    checkProducers: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodObject<{
+        appId: z.ZodNumber;
+        workflowPath: z.ZodString;
+        pullRequestEvent: z.ZodLiteral<"pull_request">;
+        postMergeEvent: z.ZodLiteral<"push">;
+    }, z.core.$strict>>>;
+    postMergeRequiredChecks: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    postMergePolicySource: z.ZodOptional<z.ZodEnum<{
+        configured: "configured";
+        implicit_default: "implicit_default";
+        legacy_migrated: "legacy_migrated";
+    }>>;
+    legacyPostMergePolicyConfigDigest: z.ZodOptional<z.ZodString>;
     reviewPolicy: z.ZodObject<{
         mode: z.ZodEnum<{
             local_only: "local_only";
@@ -1027,6 +1243,36 @@ export declare const deliveryRecordSchema: z.ZodObject<{
         errorCode: z.ZodNullable<z.ZodString>;
         updatedAt: z.ZodISODateTime;
     }, z.core.$strict>>;
+    mergeApproval: z.ZodOptional<z.ZodObject<{
+        plan: z.ZodObject<{
+            schemaVersion: z.ZodLiteral<"1">;
+            repositoryNodeId: z.ZodString;
+            pullRequestNumber: z.ZodNumber;
+            pullRequestNodeId: z.ZodString;
+            headCommit: z.ZodString;
+            baseCommit: z.ZodString;
+            candidateTree: z.ZodString;
+            actorLogin: z.ZodString;
+            actorId: z.ZodNumber;
+            policyDigest: z.ZodString;
+            method: z.ZodEnum<{
+                merge: "merge";
+                squash: "squash";
+            }>;
+            markReady: z.ZodBoolean;
+            expiresAt: z.ZodISODateTime;
+        }, z.core.$strict>;
+        digest: z.ZodString;
+        state: z.ZodEnum<{
+            effect_unknown: "effect_unknown";
+            planned: "planned";
+            merged: "merged";
+            ready_started: "ready_started";
+            ready_verified: "ready_verified";
+            merge_started: "merge_started";
+        }>;
+        approvalSource: z.ZodOptional<z.ZodLiteral<"attended_operator">>;
+    }, z.core.$strict>>;
     remoteHeadCommit: z.ZodNullable<z.ZodString>;
     pullRequest: z.ZodNullable<z.ZodObject<{
         number: z.ZodNumber;
@@ -1211,6 +1457,10 @@ export declare const auditReportSchema: z.ZodObject<{
             ux: "ux";
             release: "release";
         }>;
+        assurance: z.ZodOptional<z.ZodEnum<{
+            structural: "structural";
+            executed: "executed";
+        }>>;
         status: z.ZodEnum<{
             blocked: "blocked";
             passed: "passed";
@@ -1462,6 +1712,63 @@ export declare const releaseEvidenceSchema: z.ZodObject<{
     generatedAt: z.ZodISODateTime;
 }, z.core.$strict>;
 export declare const contractSchemas: {
+    readonly changeRequest: z.ZodObject<{
+        schemaVersion: z.ZodLiteral<"1">;
+        repositoryIntelligence: z.ZodOptional<z.ZodLiteral<true>>;
+        id: z.ZodString;
+        kind: z.ZodEnum<{
+            prd: "prd";
+            plan: "plan";
+            bug: "bug";
+            review: "review";
+            maintenance: "maintenance";
+        }>;
+        source: z.ZodObject<{
+            path: z.ZodString;
+            digest: z.ZodString;
+        }, z.core.$strict>;
+        productPath: z.ZodString;
+        scenariosPath: z.ZodString;
+        policyPath: z.ZodString;
+        commit: z.ZodObject<{
+            message: z.ZodString;
+            authorName: z.ZodString;
+            authorEmail: z.ZodEmail;
+        }, z.core.$strict>;
+        budget: z.ZodObject<{
+            deadlineSeconds: z.ZodNumber;
+            maxContextBytes: z.ZodOptional<z.ZodNumber>;
+            maxOutputBytes: z.ZodNumber;
+            retryCount: z.ZodNumber;
+        }, z.core.$strict>;
+        readyOutcomeId: z.ZodString;
+        tasks: z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            outcomeId: z.ZodString;
+            supersedesTaskDigest: z.ZodOptional<z.ZodString>;
+            title: z.ZodString;
+            objective: z.ZodString;
+            dependsOn: z.ZodArray<z.ZodString>;
+            impactPath: z.ZodString;
+            allowedPaths: z.ZodArray<z.ZodString>;
+            contextPaths: z.ZodArray<z.ZodString>;
+            attestations: z.ZodDefault<z.ZodArray<z.ZodObject<{
+                id: z.ZodString;
+                approvedBy: z.ZodString;
+                approvedAt: z.ZodISODateTime;
+                expiresAt: z.ZodISODateTime;
+                claims: z.ZodArray<z.ZodObject<{
+                    kind: z.ZodEnum<{
+                        acceptance: "acceptance";
+                        invariant: "invariant";
+                        scenario: "scenario";
+                    }>;
+                    id: z.ZodString;
+                    digest: z.ZodString;
+                }, z.core.$strict>>;
+            }, z.core.$strict>>>;
+        }, z.core.$strict>>;
+    }, z.core.$strict>;
     readonly auditReport: z.ZodObject<{
         schemaVersion: z.ZodLiteral<"1">;
         candidate: z.ZodObject<{
@@ -1486,6 +1793,10 @@ export declare const contractSchemas: {
                 ux: "ux";
                 release: "release";
             }>;
+            assurance: z.ZodOptional<z.ZodEnum<{
+                structural: "structural";
+                executed: "executed";
+            }>>;
             status: z.ZodEnum<{
                 blocked: "blocked";
                 passed: "passed";
@@ -1506,6 +1817,20 @@ export declare const contractSchemas: {
     }, z.core.$strict>;
     readonly contextManifest: z.ZodObject<{
         schemaVersion: z.ZodLiteral<"1">;
+        repositoryContext: z.ZodOptional<z.ZodObject<{
+            authority: z.ZodLiteral<"derived_read_only">;
+            sourceCommit: z.ZodString;
+            mapDigest: z.ZodString;
+            extractorVersion: z.ZodString;
+            modules: z.ZodArray<z.ZodObject<{
+                path: z.ZodString;
+                digest: z.ZodString;
+                localImports: z.ZodArray<z.ZodString>;
+                unresolvedImports: z.ZodNumber;
+            }, z.core.$strict>>;
+            omittedModules: z.ZodNumber;
+            unknowns: z.ZodArray<z.ZodString>;
+        }, z.core.$strict>>;
         taskDigest: z.ZodString;
         baseCommit: z.ZodString;
         provider: z.ZodLiteral<"openai">;
@@ -1620,6 +1945,14 @@ export declare const contractSchemas: {
             allowedActors: z.ZodArray<z.ZodString>;
             allowedMergerLogins: z.ZodArray<z.ZodString>;
             requiredChecks: z.ZodArray<z.ZodString>;
+            checkProducers: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodObject<{
+                appId: z.ZodNumber;
+                workflowPath: z.ZodString;
+                pullRequestEvent: z.ZodLiteral<"pull_request">;
+                postMergeEvent: z.ZodLiteral<"push">;
+            }, z.core.$strict>>>;
+            attendedMerge: z.ZodOptional<z.ZodLiteral<true>>;
+            postMergeRequiredChecks: z.ZodOptional<z.ZodArray<z.ZodString>>;
             reviewPolicy: z.ZodObject<{
                 mode: z.ZodEnum<{
                     local_only: "local_only";
@@ -1651,6 +1984,7 @@ export declare const contractSchemas: {
                 oci: "oci";
             }>>;
             writablePaths: z.ZodOptional<z.ZodArray<z.ZodString>>;
+            executableFixtureScratch: z.ZodOptional<z.ZodLiteral<true>>;
         }, z.core.$strict>>;
     }, z.core.$strict>;
     readonly millLock: z.ZodObject<{
@@ -1865,6 +2199,83 @@ export declare const contractSchemas: {
         }, z.core.$strict>>;
         generatedAt: z.ZodISODateTime;
     }, z.core.$strict>;
+    readonly repositoryIntelligence: z.ZodObject<{
+        schemaVersion: z.ZodLiteral<"1">;
+        extractor: z.ZodObject<{
+            id: z.ZodLiteral<"mill.repository-intelligence">;
+            version: z.ZodLiteral<"1">;
+            digest: z.ZodString;
+        }, z.core.$strict>;
+        source: z.ZodObject<{
+            commit: z.ZodString;
+            tree: z.ZodString;
+            root: z.ZodLiteral<".">;
+        }, z.core.$strict>;
+        scanDigest: z.ZodString;
+        sourceFiles: z.ZodArray<z.ZodString>;
+        modules: z.ZodArray<z.ZodObject<{
+            path: z.ZodString;
+            digest: z.ZodString;
+            imports: z.ZodArray<z.ZodObject<{
+                kind: z.ZodEnum<{
+                    type: "type";
+                    dynamic: "dynamic";
+                    require: "require";
+                    static: "static";
+                }>;
+                specifier: z.ZodString;
+                location: z.ZodObject<{
+                    path: z.ZodString;
+                    line: z.ZodNumber;
+                    column: z.ZodNumber;
+                }, z.core.$strict>;
+                resolution: z.ZodEnum<{
+                    external: "external";
+                    resolved_local: "resolved_local";
+                    unresolved: "unresolved";
+                }>;
+                targetPath: z.ZodOptional<z.ZodString>;
+            }, z.core.$strict>>;
+            parseDiagnostics: z.ZodArray<z.ZodObject<{
+                path: z.ZodString;
+                line: z.ZodNumber;
+                column: z.ZodNumber;
+            }, z.core.$strict>>;
+        }, z.core.$strict>>;
+        tests: z.ZodObject<{
+            inventory: z.ZodArray<z.ZodObject<{
+                path: z.ZodString;
+                source: z.ZodLiteral<"filename">;
+            }, z.core.$strict>>;
+            declaredSelection: z.ZodArray<z.ZodObject<{
+                script: z.ZodString;
+                command: z.ZodString;
+                selector: z.ZodString;
+                matchedInventory: z.ZodArray<z.ZodString>;
+                status: z.ZodEnum<{
+                    unknown: "unknown";
+                    observed: "observed";
+                }>;
+            }, z.core.$strict>>;
+            executedCoverage: z.ZodLiteral<"unknown">;
+        }, z.core.$strict>;
+        changeImpact: z.ZodArray<z.ZodObject<{
+            changedPath: z.ZodString;
+            leads: z.ZodArray<z.ZodObject<{
+                path: z.ZodString;
+                relationship: z.ZodEnum<{
+                    changed: "changed";
+                    direct_importer: "direct_importer";
+                    transitive_importer: "transitive_importer";
+                }>;
+                via: z.ZodOptional<z.ZodString>;
+            }, z.core.$strict>>;
+            unknowns: z.ZodArray<z.ZodString>;
+        }, z.core.$strict>>;
+        unknowns: z.ZodArray<z.ZodString>;
+        digest: z.ZodString;
+        authority: z.ZodLiteral<"derived_read_only">;
+    }, z.core.$strict>;
     readonly repositoryIntegrationPlan: z.ZodObject<{
         schemaVersion: z.ZodLiteral<"1">;
         planDigest: z.ZodString;
@@ -1916,6 +2327,13 @@ export declare const contractSchemas: {
     readonly reviewResult: z.ZodObject<{
         schemaVersion: z.ZodLiteral<"1">;
         candidateCommit: z.ZodString;
+        scope: z.ZodOptional<z.ZodObject<{
+            baseCommit: z.ZodString;
+            candidateCommit: z.ZodString;
+            candidateTree: z.ZodString;
+            changedPaths: z.ZodArray<z.ZodString>;
+            digest: z.ZodString;
+        }, z.core.$strict>>;
         summary: z.ZodString;
         findings: z.ZodArray<z.ZodObject<{
             id: z.ZodString;
@@ -2225,6 +2643,7 @@ export declare const contractSchemas: {
             id: z.ZodString;
             statement: z.ZodString;
         }, z.core.$strict>>;
+        repositoryIntelligence: z.ZodOptional<z.ZodLiteral<true>>;
         id: z.ZodString;
         title: z.ZodString;
         objective: z.ZodString;
@@ -2244,6 +2663,7 @@ export declare const contractSchemas: {
         }, z.core.$strict>;
         budget: z.ZodObject<{
             deadlineSeconds: z.ZodNumber;
+            maxContextBytes: z.ZodOptional<z.ZodNumber>;
             maxOutputBytes: z.ZodNumber;
             retryCount: z.ZodNumber;
         }, z.core.$strict>;
@@ -2303,6 +2723,7 @@ export declare const contractSchemas: {
                 reason: z.ZodString;
             }, z.core.$strict>], "mode">;
         }, z.core.$strict>>;
+        repositoryIntelligence: z.ZodOptional<z.ZodLiteral<true>>;
         id: z.ZodString;
         title: z.ZodString;
         objective: z.ZodString;
@@ -2322,6 +2743,7 @@ export declare const contractSchemas: {
         }, z.core.$strict>;
         budget: z.ZodObject<{
             deadlineSeconds: z.ZodNumber;
+            maxContextBytes: z.ZodOptional<z.ZodNumber>;
             maxOutputBytes: z.ZodNumber;
             retryCount: z.ZodNumber;
         }, z.core.$strict>;
@@ -2542,8 +2964,8 @@ export declare const contractSchemas: {
         runId: z.ZodUUID;
         phase: z.ZodEnum<{
             build: "build";
-            repair: "repair";
             review: "review";
+            repair: "repair";
         }>;
         attempt: z.ZodNumber;
         taskDigest: z.ZodString;
@@ -2646,6 +3068,19 @@ export declare const contractSchemas: {
         candidateCommit: z.ZodString;
         candidateTree: z.ZodString;
         requiredChecks: z.ZodArray<z.ZodString>;
+        checkProducers: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodObject<{
+            appId: z.ZodNumber;
+            workflowPath: z.ZodString;
+            pullRequestEvent: z.ZodLiteral<"pull_request">;
+            postMergeEvent: z.ZodLiteral<"push">;
+        }, z.core.$strict>>>;
+        postMergeRequiredChecks: z.ZodOptional<z.ZodArray<z.ZodString>>;
+        postMergePolicySource: z.ZodOptional<z.ZodEnum<{
+            configured: "configured";
+            implicit_default: "implicit_default";
+            legacy_migrated: "legacy_migrated";
+        }>>;
+        legacyPostMergePolicyConfigDigest: z.ZodOptional<z.ZodString>;
         reviewPolicy: z.ZodObject<{
             mode: z.ZodEnum<{
                 local_only: "local_only";
@@ -2678,6 +3113,36 @@ export declare const contractSchemas: {
             errorCode: z.ZodNullable<z.ZodString>;
             updatedAt: z.ZodISODateTime;
         }, z.core.$strict>>;
+        mergeApproval: z.ZodOptional<z.ZodObject<{
+            plan: z.ZodObject<{
+                schemaVersion: z.ZodLiteral<"1">;
+                repositoryNodeId: z.ZodString;
+                pullRequestNumber: z.ZodNumber;
+                pullRequestNodeId: z.ZodString;
+                headCommit: z.ZodString;
+                baseCommit: z.ZodString;
+                candidateTree: z.ZodString;
+                actorLogin: z.ZodString;
+                actorId: z.ZodNumber;
+                policyDigest: z.ZodString;
+                method: z.ZodEnum<{
+                    merge: "merge";
+                    squash: "squash";
+                }>;
+                markReady: z.ZodBoolean;
+                expiresAt: z.ZodISODateTime;
+            }, z.core.$strict>;
+            digest: z.ZodString;
+            state: z.ZodEnum<{
+                effect_unknown: "effect_unknown";
+                planned: "planned";
+                merged: "merged";
+                ready_started: "ready_started";
+                ready_verified: "ready_verified";
+                merge_started: "merge_started";
+            }>;
+            approvalSource: z.ZodOptional<z.ZodLiteral<"attended_operator">>;
+        }, z.core.$strict>>;
         remoteHeadCommit: z.ZodNullable<z.ZodString>;
         pullRequest: z.ZodNullable<z.ZodObject<{
             number: z.ZodNumber;