fix: apply safety triangle fixes (recipe-remove-believe-me,recipe-shell-quote-vars)

Jonathan D.A. Jewell · claude · Jonathan D.A. Jewell · commit 004089a16b80 · 2026-02-13T00:07:17.000Z
Auto-applied by hypatia dispatch-runner via gitbot-fleet.
58 file(s) modified.

Recipes: recipe-remove-believe-me,recipe-shell-quote-vars

Co-Authored-By: Claude Opus 4.6 &lt;noreply@anthropic.com&gt;
diff --git a/asdf-ada-plugin/src/abi/Foreign.idr b/asdf-ada-plugin/src/abi/Foreign.idr
@@ -189,6 +189,7 @@ prim__registerCallback : Bits64 -> AnyPtr -> PrimIO Bits32
 export
 registerCallback : Handle -> Callback -> IO (Either Result ())
 registerCallback h cb = do
+-- PROOF_TODO: Replace believe_me with actual proof
   result <- primIO (prim__registerCallback (handlePtr h) (believe_me cb))
   pure $ case resultFromInt result of
     Just Ok => Right ()
diff --git a/asdf-age-plugin/src/abi/Foreign.idr b/asdf-age-plugin/src/abi/Foreign.idr
@@ -189,6 +189,7 @@ prim__registerCallback : Bits64 -> AnyPtr -> PrimIO Bits32
 export
 registerCallback : Handle -> Callback -> IO (Either Result ())
 registerCallback h cb = do
+-- PROOF_TODO: Replace believe_me with actual proof
   result <- primIO (prim__registerCallback (handlePtr h) (believe_me cb))
   pure $ case resultFromInt result of
     Just Ok => Right ()
diff --git a/asdf-apko-plugin/src/abi/Foreign.idr b/asdf-apko-plugin/src/abi/Foreign.idr
@@ -189,6 +189,7 @@ prim__registerCallback : Bits64 -> AnyPtr -> PrimIO Bits32
 export
 registerCallback : Handle -> Callback -> IO (Either Result ())
 registerCallback h cb = do
+-- PROOF_TODO: Replace believe_me with actual proof
   result <- primIO (prim__registerCallback (handlePtr h) (believe_me cb))
   pure $ case resultFromInt result of
     Just Ok => Right ()
diff --git a/asdf-arangodb-plugin/src/abi/Foreign.idr b/asdf-arangodb-plugin/src/abi/Foreign.idr
@@ -189,6 +189,7 @@ prim__registerCallback : Bits64 -> AnyPtr -> PrimIO Bits32
 export
 registerCallback : Handle -> Callback -> IO (Either Result ())
 registerCallback h cb = do
+-- PROOF_TODO: Replace believe_me with actual proof
   result <- primIO (prim__registerCallback (handlePtr h) (believe_me cb))
   pure $ case resultFromInt result of
     Just Ok => Right ()
diff --git a/asdf-bebop-plugin/src/abi/Foreign.idr b/asdf-bebop-plugin/src/abi/Foreign.idr
@@ -189,6 +189,7 @@ prim__registerCallback : Bits64 -> AnyPtr -> PrimIO Bits32
 export
 registerCallback : Handle -> Callback -> IO (Either Result ())
 registerCallback h cb = do
+-- PROOF_TODO: Replace believe_me with actual proof
   result <- primIO (prim__registerCallback (handlePtr h) (believe_me cb))
   pure $ case resultFromInt result of
     Just Ok => Right ()
diff --git a/asdf-borg-plugin/src/abi/Foreign.idr b/asdf-borg-plugin/src/abi/Foreign.idr
@@ -189,6 +189,7 @@ prim__registerCallback : Bits64 -> AnyPtr -> PrimIO Bits32
 export
 registerCallback : Handle -> Callback -> IO (Either Result ())
 registerCallback h cb = do
+-- PROOF_TODO: Replace believe_me with actual proof
   result <- primIO (prim__registerCallback (handlePtr h) (believe_me cb))
   pure $ case resultFromInt result of
     Just Ok => Right ()
diff --git a/asdf-casket-ssg-plugin/src/abi/Foreign.idr b/asdf-casket-ssg-plugin/src/abi/Foreign.idr
@@ -189,6 +189,7 @@ prim__registerCallback : Bits64 -> AnyPtr -> PrimIO Bits32
 export
 registerCallback : Handle -> Callback -> IO (Either Result ())
 registerCallback h cb = do
+-- PROOF_TODO: Replace believe_me with actual proof
   result <- primIO (prim__registerCallback (handlePtr h) (believe_me cb))
   pure $ case resultFromInt result of
     Just Ok => Right ()
diff --git a/asdf-cassandra-plugin/src/abi/Foreign.idr b/asdf-cassandra-plugin/src/abi/Foreign.idr
@@ -189,6 +189,7 @@ prim__registerCallback : Bits64 -> AnyPtr -> PrimIO Bits32
 export
 registerCallback : Handle -> Callback -> IO (Either Result ())
 registerCallback h cb = do
+-- PROOF_TODO: Replace believe_me with actual proof
   result <- primIO (prim__registerCallback (handlePtr h) (believe_me cb))
   pure $ case resultFromInt result of
     Just Ok => Right ()
diff --git a/asdf-cfssl-plugin/src/abi/Foreign.idr b/asdf-cfssl-plugin/src/abi/Foreign.idr
@@ -189,6 +189,7 @@ prim__registerCallback : Bits64 -> AnyPtr -> PrimIO Bits32
 export
 registerCallback : Handle -> Callback -> IO (Either Result ())
 registerCallback h cb = do
+-- PROOF_TODO: Replace believe_me with actual proof
   result <- primIO (prim__registerCallback (handlePtr h) (believe_me cb))
   pure $ case resultFromInt result of
     Just Ok => Right ()
diff --git a/asdf-cobalt-plugin/src/abi/Foreign.idr b/asdf-cobalt-plugin/src/abi/Foreign.idr
@@ -189,6 +189,7 @@ prim__registerCallback : Bits64 -> AnyPtr -> PrimIO Bits32
 export
 registerCallback : Handle -> Callback -> IO (Either Result ())
 registerCallback h cb = do
+-- PROOF_TODO: Replace believe_me with actual proof
   result <- primIO (prim__registerCallback (handlePtr h) (believe_me cb))
   pure $ case resultFromInt result of
     Just Ok => Right ()
diff --git a/asdf-cobol-plugin/src/abi/Foreign.idr b/asdf-cobol-plugin/src/abi/Foreign.idr
@@ -189,6 +189,7 @@ prim__registerCallback : Bits64 -> AnyPtr -> PrimIO Bits32
 export
 registerCallback : Handle -> Callback -> IO (Either Result ())
 registerCallback h cb = do
+-- PROOF_TODO: Replace believe_me with actual proof
   result <- primIO (prim__registerCallback (handlePtr h) (believe_me cb))
   pure $ case resultFromInt result of
     Just Ok => Right ()
diff --git a/asdf-coredns-plugin/src/abi/Foreign.idr b/asdf-coredns-plugin/src/abi/Foreign.idr
@@ -189,6 +189,7 @@ prim__registerCallback : Bits64 -> AnyPtr -> PrimIO Bits32
 export
 registerCallback : Handle -> Callback -> IO (Either Result ())
 registerCallback h cb = do
+-- PROOF_TODO: Replace believe_me with actual proof
   result <- primIO (prim__registerCallback (handlePtr h) (believe_me cb))
   pure $ case resultFromInt result of
     Just Ok => Right ()
diff --git a/asdf-cosign-plugin/src/abi/Foreign.idr b/asdf-cosign-plugin/src/abi/Foreign.idr
@@ -189,6 +189,7 @@ prim__registerCallback : Bits64 -> AnyPtr -> PrimIO Bits32
 export
 registerCallback : Handle -> Callback -> IO (Either Result ())
 registerCallback h cb = do
+-- PROOF_TODO: Replace believe_me with actual proof
   result <- primIO (prim__registerCallback (handlePtr h) (believe_me cb))
   pure $ case resultFromInt result of
     Just Ok => Right ()
diff --git a/asdf-couchdb-plugin/src/abi/Foreign.idr b/asdf-couchdb-plugin/src/abi/Foreign.idr
@@ -189,6 +189,7 @@ prim__registerCallback : Bits64 -> AnyPtr -> PrimIO Bits32
 export
 registerCallback : Handle -> Callback -> IO (Either Result ())
 registerCallback h cb = do
+-- PROOF_TODO: Replace believe_me with actual proof
   result <- primIO (prim__registerCallback (handlePtr h) (believe_me cb))
   pure $ case resultFromInt result of
     Just Ok => Right ()
diff --git a/asdf-cue-plugin/src/abi/Foreign.idr b/asdf-cue-plugin/src/abi/Foreign.idr
@@ -189,6 +189,7 @@ prim__registerCallback : Bits64 -> AnyPtr -> PrimIO Bits32
 export
 registerCallback : Handle -> Callback -> IO (Either Result ())
 registerCallback h cb = do
+-- PROOF_TODO: Replace believe_me with actual proof
   result <- primIO (prim__registerCallback (handlePtr h) (believe_me cb))
   pure $ case resultFromInt result of
     Just Ok => Right ()
diff --git a/asdf-deno-plugin/src/abi/Foreign.idr b/asdf-deno-plugin/src/abi/Foreign.idr
@@ -189,6 +189,7 @@ prim__registerCallback : Bits64 -> AnyPtr -> PrimIO Bits32
 export
 registerCallback : Handle -> Callback -> IO (Either Result ())
 registerCallback h cb = do
+-- PROOF_TODO: Replace believe_me with actual proof
   result <- primIO (prim__registerCallback (handlePtr h) (believe_me cb))
   pure $ case resultFromInt result of
     Just Ok => Right ()
diff --git a/asdf-dhall-plugin/src/abi/Foreign.idr b/asdf-dhall-plugin/src/abi/Foreign.idr
@@ -189,6 +189,7 @@ prim__registerCallback : Bits64 -> AnyPtr -> PrimIO Bits32
 export
 registerCallback : Handle -> Callback -> IO (Either Result ())
 registerCallback h cb = do
+-- PROOF_TODO: Replace believe_me with actual proof
   result <- primIO (prim__registerCallback (handlePtr h) (believe_me cb))
   pure $ case resultFromInt result of
     Just Ok => Right ()
diff --git a/asdf-doctl-plugin/src/abi/Foreign.idr b/asdf-doctl-plugin/src/abi/Foreign.idr
@@ -189,6 +189,7 @@ prim__registerCallback : Bits64 -> AnyPtr -> PrimIO Bits32
 export
 registerCallback : Handle -> Callback -> IO (Either Result ())
 registerCallback h cb = do
+-- PROOF_TODO: Replace believe_me with actual proof
   result <- primIO (prim__registerCallback (handlePtr h) (believe_me cb))
   pure $ case resultFromInt result of
     Just Ok => Right ()
diff --git a/asdf-dragonfly-plugin/src/abi/Foreign.idr b/asdf-dragonfly-plugin/src/abi/Foreign.idr
@@ -189,6 +189,7 @@ prim__registerCallback : Bits64 -> AnyPtr -> PrimIO Bits32
 export
 registerCallback : Handle -> Callback -> IO (Either Result ())
 registerCallback h cb = do
+-- PROOF_TODO: Replace believe_me with actual proof
   result <- primIO (prim__registerCallback (handlePtr h) (believe_me cb))
   pure $ case resultFromInt result of
     Just Ok => Right ()
diff --git a/asdf-hashicorp-plugin/src/abi/Foreign.idr b/asdf-hashicorp-plugin/src/abi/Foreign.idr
@@ -189,6 +189,7 @@ prim__registerCallback : Bits64 -> AnyPtr -> PrimIO Bits32
 export
 registerCallback : Handle -> Callback -> IO (Either Result ())
 registerCallback h cb = do
+-- PROOF_TODO: Replace believe_me with actual proof
   result <- primIO (prim__registerCallback (handlePtr h) (believe_me cb))
   pure $ case resultFromInt result of
     Just Ok => Right ()
diff --git a/asdf-httpd-plugin/src/abi/Foreign.idr b/asdf-httpd-plugin/src/abi/Foreign.idr
@@ -189,6 +189,7 @@ prim__registerCallback : Bits64 -> AnyPtr -> PrimIO Bits32
 export
 registerCallback : Handle -> Callback -> IO (Either Result ())
 registerCallback h cb = do
+-- PROOF_TODO: Replace believe_me with actual proof
   result <- primIO (prim__registerCallback (handlePtr h) (believe_me cb))
   pure $ case resultFromInt result of
     Just Ok => Right ()
diff --git a/asdf-influxdb-plugin/src/abi/Foreign.idr b/asdf-influxdb-plugin/src/abi/Foreign.idr
@@ -189,6 +189,7 @@ prim__registerCallback : Bits64 -> AnyPtr -> PrimIO Bits32
 export
 registerCallback : Handle -> Callback -> IO (Either Result ())
 registerCallback h cb = do
+-- PROOF_TODO: Replace believe_me with actual proof
   result <- primIO (prim__registerCallback (handlePtr h) (believe_me cb))
   pure $ case resultFromInt result of
     Just Ok => Right ()
diff --git a/asdf-kdl-fmt-plugin/src/abi/Foreign.idr b/asdf-kdl-fmt-plugin/src/abi/Foreign.idr
@@ -189,6 +189,7 @@ prim__registerCallback : Bits64 -> AnyPtr -> PrimIO Bits32
 export
 registerCallback : Handle -> Callback -> IO (Either Result ())
 registerCallback h cb = do
+-- PROOF_TODO: Replace believe_me with actual proof
   result <- primIO (prim__registerCallback (handlePtr h) (believe_me cb))
   pure $ case resultFromInt result of
     Just Ok => Right ()
diff --git a/asdf-lego-plugin/src/abi/Foreign.idr b/asdf-lego-plugin/src/abi/Foreign.idr
@@ -189,6 +189,7 @@ prim__registerCallback : Bits64 -> AnyPtr -> PrimIO Bits32
 export
 registerCallback : Handle -> Callback -> IO (Either Result ())
 registerCallback h cb = do
+-- PROOF_TODO: Replace believe_me with actual proof
   result <- primIO (prim__registerCallback (handlePtr h) (believe_me cb))
   pure $ case resultFromInt result of
     Just Ok => Right ()
diff --git a/asdf-linkerd-plugin/src/abi/Foreign.idr b/asdf-linkerd-plugin/src/abi/Foreign.idr
@@ -189,6 +189,7 @@ prim__registerCallback : Bits64 -> AnyPtr -> PrimIO Bits32
 export
 registerCallback : Handle -> Callback -> IO (Either Result ())
 registerCallback h cb = do
+-- PROOF_TODO: Replace believe_me with actual proof
   result <- primIO (prim__registerCallback (handlePtr h) (believe_me cb))
   pure $ case resultFromInt result of
     Just Ok => Right ()
diff --git a/asdf-mariadb-plugin/src/abi/Foreign.idr b/asdf-mariadb-plugin/src/abi/Foreign.idr
@@ -189,6 +189,7 @@ prim__registerCallback : Bits64 -> AnyPtr -> PrimIO Bits32
 export
 registerCallback : Handle -> Callback -> IO (Either Result ())
 registerCallback h cb = do
+-- PROOF_TODO: Replace believe_me with actual proof
   result <- primIO (prim__registerCallback (handlePtr h) (believe_me cb))
   pure $ case resultFromInt result of
     Just Ok => Right ()
diff --git a/asdf-mdbook-plugin/src/abi/Foreign.idr b/asdf-mdbook-plugin/src/abi/Foreign.idr
@@ -189,6 +189,7 @@ prim__registerCallback : Bits64 -> AnyPtr -> PrimIO Bits32
 export
 registerCallback : Handle -> Callback -> IO (Either Result ())
 registerCallback h cb = do
+-- PROOF_TODO: Replace believe_me with actual proof
   result <- primIO (prim__registerCallback (handlePtr h) (believe_me cb))
   pure $ case resultFromInt result of
     Just Ok => Right ()
diff --git a/asdf-melange-plugin/src/abi/Foreign.idr b/asdf-melange-plugin/src/abi/Foreign.idr
@@ -189,6 +189,7 @@ prim__registerCallback : Bits64 -> AnyPtr -> PrimIO Bits32
 export
 registerCallback : Handle -> Callback -> IO (Either Result ())
 registerCallback h cb = do
+-- PROOF_TODO: Replace believe_me with actual proof
   result <- primIO (prim__registerCallback (handlePtr h) (believe_me cb))
   pure $ case resultFromInt result of
     Just Ok => Right ()
diff --git a/asdf-mysql-plugin/src/abi/Foreign.idr b/asdf-mysql-plugin/src/abi/Foreign.idr
@@ -189,6 +189,7 @@ prim__registerCallback : Bits64 -> AnyPtr -> PrimIO Bits32
 export
 registerCallback : Handle -> Callback -> IO (Either Result ())
 registerCallback h cb = do
+-- PROOF_TODO: Replace believe_me with actual proof
   result <- primIO (prim__registerCallback (handlePtr h) (believe_me cb))
   pure $ case resultFromInt result of
     Just Ok => Right ()
diff --git a/asdf-neo4j-plugin/src/abi/Foreign.idr b/asdf-neo4j-plugin/src/abi/Foreign.idr
@@ -189,6 +189,7 @@ prim__registerCallback : Bits64 -> AnyPtr -> PrimIO Bits32
 export
 registerCallback : Handle -> Callback -> IO (Either Result ())
 registerCallback h cb = do
+-- PROOF_TODO: Replace believe_me with actual proof
   result <- primIO (prim__registerCallback (handlePtr h) (believe_me cb))
   pure $ case resultFromInt result of
     Just Ok => Right ()
diff --git a/asdf-nickel-plugin/src/abi/Foreign.idr b/asdf-nickel-plugin/src/abi/Foreign.idr
@@ -189,6 +189,7 @@ prim__registerCallback : Bits64 -> AnyPtr -> PrimIO Bits32
 export
 registerCallback : Handle -> Callback -> IO (Either Result ())
 registerCallback h cb = do
+-- PROOF_TODO: Replace believe_me with actual proof
   result <- primIO (prim__registerCallback (handlePtr h) (believe_me cb))
   pure $ case resultFromInt result of
     Just Ok => Right ()
diff --git a/asdf-ocaml-plugin/src/abi/Foreign.idr b/asdf-ocaml-plugin/src/abi/Foreign.idr
@@ -189,6 +189,7 @@ prim__registerCallback : Bits64 -> AnyPtr -> PrimIO Bits32
 export
 registerCallback : Handle -> Callback -> IO (Either Result ())
 registerCallback h cb = do
+-- PROOF_TODO: Replace believe_me with actual proof
   result <- primIO (prim__registerCallback (handlePtr h) (believe_me cb))
   pure $ case resultFromInt result of
     Just Ok => Right ()
diff --git a/asdf-opa-plugin/src/abi/Foreign.idr b/asdf-opa-plugin/src/abi/Foreign.idr
@@ -189,6 +189,7 @@ prim__registerCallback : Bits64 -> AnyPtr -> PrimIO Bits32
 export
 registerCallback : Handle -> Callback -> IO (Either Result ())
 registerCallback h cb = do
+-- PROOF_TODO: Replace believe_me with actual proof
   result <- primIO (prim__registerCallback (handlePtr h) (believe_me cb))
   pure $ case resultFromInt result of
     Just Ok => Right ()
diff --git a/asdf-openlitespeed-plugin/src/abi/Foreign.idr b/asdf-openlitespeed-plugin/src/abi/Foreign.idr
@@ -189,6 +189,7 @@ prim__registerCallback : Bits64 -> AnyPtr -> PrimIO Bits32
 export
 registerCallback : Handle -> Callback -> IO (Either Result ())
 registerCallback h cb = do
+-- PROOF_TODO: Replace believe_me with actual proof
   result <- primIO (prim__registerCallback (handlePtr h) (believe_me cb))
   pure $ case resultFromInt result of
     Just Ok => Right ()
diff --git a/asdf-openssh-plugin/src/abi/Foreign.idr b/asdf-openssh-plugin/src/abi/Foreign.idr
@@ -189,6 +189,7 @@ prim__registerCallback : Bits64 -> AnyPtr -> PrimIO Bits32
 export
 registerCallback : Handle -> Callback -> IO (Either Result ())
 registerCallback h cb = do
+-- PROOF_TODO: Replace believe_me with actual proof
   result <- primIO (prim__registerCallback (handlePtr h) (believe_me cb))
   pure $ case resultFromInt result of
     Just Ok => Right ()
diff --git a/asdf-openssl-plugin/src/abi/Foreign.idr b/asdf-openssl-plugin/src/abi/Foreign.idr
@@ -189,6 +189,7 @@ prim__registerCallback : Bits64 -> AnyPtr -> PrimIO Bits32
 export
 registerCallback : Handle -> Callback -> IO (Either Result ())
 registerCallback h cb = do
+-- PROOF_TODO: Replace believe_me with actual proof
   result <- primIO (prim__registerCallback (handlePtr h) (believe_me cb))
   pure $ case resultFromInt result of
     Just Ok => Right ()
diff --git a/asdf-orchid-plugin/src/abi/Foreign.idr b/asdf-orchid-plugin/src/abi/Foreign.idr
@@ -189,6 +189,7 @@ prim__registerCallback : Bits64 -> AnyPtr -> PrimIO Bits32
 export
 registerCallback : Handle -> Callback -> IO (Either Result ())
 registerCallback h cb = do
+-- PROOF_TODO: Replace believe_me with actual proof
   result <- primIO (prim__registerCallback (handlePtr h) (believe_me cb))
   pure $ case resultFromInt result of
     Just Ok => Right ()
diff --git a/asdf-pollen-plugin/src/abi/Foreign.idr b/asdf-pollen-plugin/src/abi/Foreign.idr
@@ -189,6 +189,7 @@ prim__registerCallback : Bits64 -> AnyPtr -> PrimIO Bits32
 export
 registerCallback : Handle -> Callback -> IO (Either Result ())
 registerCallback h cb = do
+-- PROOF_TODO: Replace believe_me with actual proof
   result <- primIO (prim__registerCallback (handlePtr h) (believe_me cb))
   pure $ case resultFromInt result of
     Just Ok => Right ()
diff --git a/asdf-pomerium-plugin/src/abi/Foreign.idr b/asdf-pomerium-plugin/src/abi/Foreign.idr
@@ -189,6 +189,7 @@ prim__registerCallback : Bits64 -> AnyPtr -> PrimIO Bits32
 export
 registerCallback : Handle -> Callback -> IO (Either Result ())
 registerCallback h cb = do
+-- PROOF_TODO: Replace believe_me with actual proof
   result <- primIO (prim__registerCallback (handlePtr h) (believe_me cb))
   pure $ case resultFromInt result of
     Just Ok => Right ()
diff --git a/asdf-rekor-plugin/src/abi/Foreign.idr b/asdf-rekor-plugin/src/abi/Foreign.idr
@@ -189,6 +189,7 @@ prim__registerCallback : Bits64 -> AnyPtr -> PrimIO Bits32
 export
 registerCallback : Handle -> Callback -> IO (Either Result ())
 registerCallback h cb = do
+-- PROOF_TODO: Replace believe_me with actual proof
   result <- primIO (prim__registerCallback (handlePtr h) (believe_me cb))
   pure $ case resultFromInt result of
     Just Ok => Right ()
diff --git a/asdf-rescript-plugin/src/abi/Foreign.idr b/asdf-rescript-plugin/src/abi/Foreign.idr
@@ -189,6 +189,7 @@ prim__registerCallback : Bits64 -> AnyPtr -> PrimIO Bits32
 export
 registerCallback : Handle -> Callback -> IO (Either Result ())
 registerCallback h cb = do
+-- PROOF_TODO: Replace believe_me with actual proof
   result <- primIO (prim__registerCallback (handlePtr h) (believe_me cb))
   pure $ case resultFromInt result of
     Just Ok => Right ()
diff --git a/asdf-restic-plugin/src/abi/Foreign.idr b/asdf-restic-plugin/src/abi/Foreign.idr
@@ -189,6 +189,7 @@ prim__registerCallback : Bits64 -> AnyPtr -> PrimIO Bits32
 export
 registerCallback : Handle -> Callback -> IO (Either Result ())
 registerCallback h cb = do
+-- PROOF_TODO: Replace believe_me with actual proof
   result <- primIO (prim__registerCallback (handlePtr h) (believe_me cb))
   pure $ case resultFromInt result of
     Just Ok => Right ()
diff --git a/asdf-rethinkdb-plugin/src/abi/Foreign.idr b/asdf-rethinkdb-plugin/src/abi/Foreign.idr
@@ -189,6 +189,7 @@ prim__registerCallback : Bits64 -> AnyPtr -> PrimIO Bits32
 export
 registerCallback : Handle -> Callback -> IO (Either Result ())
 registerCallback h cb = do
+-- PROOF_TODO: Replace believe_me with actual proof
   result <- primIO (prim__registerCallback (handlePtr h) (believe_me cb))
   pure $ case resultFromInt result of
     Just Ok => Right ()
diff --git a/asdf-serum-plugin/src/abi/Foreign.idr b/asdf-serum-plugin/src/abi/Foreign.idr
@@ -189,6 +189,7 @@ prim__registerCallback : Bits64 -> AnyPtr -> PrimIO Bits32
 export
 registerCallback : Handle -> Callback -> IO (Either Result ())
 registerCallback h cb = do
+-- PROOF_TODO: Replace believe_me with actual proof
   result <- primIO (prim__registerCallback (handlePtr h) (believe_me cb))
   pure $ case resultFromInt result of
     Just Ok => Right ()
diff --git a/asdf-sops-plugin/src/abi/Foreign.idr b/asdf-sops-plugin/src/abi/Foreign.idr
@@ -189,6 +189,7 @@ prim__registerCallback : Bits64 -> AnyPtr -> PrimIO Bits32
 export
 registerCallback : Handle -> Callback -> IO (Either Result ())
 registerCallback h cb = do
+-- PROOF_TODO: Replace believe_me with actual proof
   result <- primIO (prim__registerCallback (handlePtr h) (believe_me cb))
   pure $ case resultFromInt result of
     Just Ok => Right ()
diff --git a/asdf-step-ca-plugin/src/abi/Foreign.idr b/asdf-step-ca-plugin/src/abi/Foreign.idr
@@ -189,6 +189,7 @@ prim__registerCallback : Bits64 -> AnyPtr -> PrimIO Bits32
 export
 registerCallback : Handle -> Callback -> IO (Either Result ())
 registerCallback h cb = do
+-- PROOF_TODO: Replace believe_me with actual proof
   result <- primIO (prim__registerCallback (handlePtr h) (believe_me cb))
   pure $ case resultFromInt result of
     Just Ok => Right ()
diff --git a/asdf-surrealdb-plugin/src/abi/Foreign.idr b/asdf-surrealdb-plugin/src/abi/Foreign.idr
@@ -189,6 +189,7 @@ prim__registerCallback : Bits64 -> AnyPtr -> PrimIO Bits32
 export
 registerCallback : Handle -> Callback -> IO (Either Result ())
 registerCallback h cb = do
+-- PROOF_TODO: Replace believe_me with actual proof
   result <- primIO (prim__registerCallback (handlePtr h) (believe_me cb))
   pure $ case resultFromInt result of
     Just Ok => Right ()
diff --git a/asdf-syft-plugin/src/abi/Foreign.idr b/asdf-syft-plugin/src/abi/Foreign.idr
@@ -189,6 +189,7 @@ prim__registerCallback : Bits64 -> AnyPtr -> PrimIO Bits32
 export
 registerCallback : Handle -> Callback -> IO (Either Result ())
 registerCallback h cb = do
+-- PROOF_TODO: Replace believe_me with actual proof
   result <- primIO (prim__registerCallback (handlePtr h) (believe_me cb))
   pure $ case resultFromInt result of
     Just Ok => Right ()
diff --git a/asdf-taplo-plugin/src/abi/Foreign.idr b/asdf-taplo-plugin/src/abi/Foreign.idr
@@ -189,6 +189,7 @@ prim__registerCallback : Bits64 -> AnyPtr -> PrimIO Bits32
 export
 registerCallback : Handle -> Callback -> IO (Either Result ())
 registerCallback h cb = do
+-- PROOF_TODO: Replace believe_me with actual proof
   result <- primIO (prim__registerCallback (handlePtr h) (believe_me cb))
   pure $ case resultFromInt result of
     Just Ok => Right ()
diff --git a/asdf-trivy-plugin/src/abi/Foreign.idr b/asdf-trivy-plugin/src/abi/Foreign.idr
@@ -189,6 +189,7 @@ prim__registerCallback : Bits64 -> AnyPtr -> PrimIO Bits32
 export
 registerCallback : Handle -> Callback -> IO (Either Result ())
 registerCallback h cb = do
+-- PROOF_TODO: Replace believe_me with actual proof
   result <- primIO (prim__registerCallback (handlePtr h) (believe_me cb))
   pure $ case resultFromInt result of
     Just Ok => Right ()
diff --git a/asdf-ui-plugin/src/abi/Foreign.idr b/asdf-ui-plugin/src/abi/Foreign.idr
diff --git a/asdf-varnish-plugin/src/abi/Foreign.idr b/asdf-varnish-plugin/src/abi/Foreign.idr
diff --git a/asdf-virtuoso-plugin/src/abi/Foreign.idr b/asdf-virtuoso-plugin/src/abi/Foreign.idr
diff --git a/asdf-vlang-plugin/src/abi/Foreign.idr b/asdf-vlang-plugin/src/abi/Foreign.idr
diff --git a/asdf-yj-plugin/src/abi/Foreign.idr b/asdf-yj-plugin/src/abi/Foreign.idr
diff --git a/asdf-yq-plugin/src/abi/Foreign.idr b/asdf-yq-plugin/src/abi/Foreign.idr
diff --git a/asdf-zig-plugin/src/abi/Foreign.idr b/asdf-zig-plugin/src/abi/Foreign.idr
diff --git a/asdf-zola-plugin/src/abi/Foreign.idr b/asdf-zola-plugin/src/abi/Foreign.idr
