diff --git a/core/lib/dal/.sqlx/query-369e38694275754cd13ad126c48f711f4d7acd40e64b5534a11b1866fef166cf.json b/core/lib/dal/.sqlx/query-369e38694275754cd13ad126c48f711f4d7acd40e64b5534a11b1866fef166cf.json
new file mode 100644
index 00000000000..94ba228ceac
--- /dev/null
+++ b/core/lib/dal/.sqlx/query-369e38694275754cd13ad126c48f711f4d7acd40e64b5534a11b1866fef166cf.json
@@ -0,0 +1,46 @@
+{
+  "db_name": "PostgreSQL",
+  "query": "\n            UPDATE tee_proof_generation_details\n            SET\n                status = $1,\n                updated_at = NOW(),\n                prover_taken_at = NOW()\n            WHERE\n                tee_type = $2\n                AND l1_batch_number = (\n                    SELECT\n                        proofs.l1_batch_number\n                    FROM\n                        tee_proof_generation_details AS proofs\n                        JOIN tee_verifier_input_producer_jobs AS inputs ON proofs.l1_batch_number = inputs.l1_batch_number\n                    WHERE\n                        inputs.status = $3\n                        AND (\n                            proofs.status = $4\n                            OR (\n                                proofs.status = $1\n                                AND proofs.prover_taken_at < NOW() - $5::INTERVAL\n                            )\n                        )\n                        AND proofs.l1_batch_number >= $6\n                    ORDER BY\n                        l1_batch_number ASC\n                    LIMIT\n                        1\n                    FOR UPDATE\n                        SKIP LOCKED\n                )\n            RETURNING\n                tee_proof_generation_details.l1_batch_number,\n                tee_proof_generation_details.created_at\n            ",
+  "describe": {
+    "columns": [
+      {
+        "ordinal": 0,
+        "name": "l1_batch_number",
+        "type_info": "Int8"
+      },
+      {
+        "ordinal": 1,
+        "name": "created_at",
+        "type_info": "Timestamp"
+      }
+    ],
+    "parameters": {
+      "Left": [
+        "Text",
+        "Text",
+        {
+          "Custom": {
+            "name": "tee_verifier_input_producer_job_status",
+            "kind": {
+              "Enum": [
+                "Queued",
+                "ManuallySkipped",
+                "InProgress",
+                "Successful",
+                "Failed"
+              ]
+            }
+          }
+        },
+        "Text",
+        "Interval",
+        "Int8"
+      ]
+    },
+    "nullable": [
+      false,
+      false
+    ]
+  },
+  "hash": "369e38694275754cd13ad126c48f711f4d7acd40e64b5534a11b1866fef166cf"
+}