chore: drop orphan-repair proof harness from PR tip

Remove throwaway proof seed/script and restore Convex generated
files to match origin/main so the #3401 tip stays publishable.

Author: trippyogi

convex/_generated/api.d.ts

@@ -167,7 +167,6 @@ import type * as lib_workerTextRedaction from "../lib/workerTextRedaction.js";
 import type * as maintenance from "../maintenance.js";
 import type * as managementDevSeed from "../managementDevSeed.js";
 import type * as migrations from "../migrations.js";
-import type * as orphanRepairProofDevSeed from "../orphanRepairProofDevSeed.js";
 import type * as packageInspectorHttp from "../packageInspectorHttp.js";
 import type * as packageInspectorNode from "../packageInspectorNode.js";
 import type * as packageLeaderboards from "../packageLeaderboards.js";
@@ -384,7 +383,6 @@ declare const fullApi: ApiFromModules<{
   maintenance: typeof maintenance;
   managementDevSeed: typeof managementDevSeed;
   migrations: typeof migrations;
-  orphanRepairProofDevSeed: typeof orphanRepairProofDevSeed;
   packageInspectorHttp: typeof packageInspectorHttp;
   packageInspectorNode: typeof packageInspectorNode;
   packageLeaderboards: typeof packageLeaderboards;

convex/_generated/server.d.ts

@@ -21,6 +21,17 @@ import {
 } from "convex/server";
 import type { DataModel } from "./dataModel.js";
 
+/**
+ * Typesafe environment variables.
+ *
+ * This includes platform-provided env vars and any variables declared in
+ * `convex.config.ts`.
+ */
+type Env = {
+  readonly CONVEX_CLOUD_URL: string;
+  readonly CONVEX_SITE_URL: string;
+};
+
 /**
  * Define a query in this Convex app's public API.
  *
@@ -95,6 +106,14 @@ export declare const internalAction: ActionBuilder<DataModel, "internal">;
  */
 export declare const httpAction: HttpActionBuilder;
 
+/**
+ * Typesafe environment variables.
+ *
+ * This includes platform-provided env vars and any variables declared in
+ * `convex.config.ts`.
+ */
+export declare const env: Env;
+
 /**
  * A set of services for use within Convex query functions.
  *

convex/_generated/server.js

@@ -91,3 +91,11 @@ export const internalAction = internalActionGeneric;
  * @returns The wrapped function. Import this function from `convex/http.js` and route it to hook it up.
  */
 export const httpAction = httpActionGeneric;
+
+/**
+ * Typesafe environment variables.
+ *
+ * This includes platform-provided env vars and any variables declared in
+ * `convex.config.ts`.
+ */
+export const env = process.env;