diff --git a/.quixos-subtree-source.json b/.quixos-subtree-source.json
index fb1ca78..055b4c4 100644
--- a/.quixos-subtree-source.json
+++ b/.quixos-subtree-source.json
@@ -1,7 +1,7 @@
 {
   "version": 1,
   "sourceRepo": "https://gitea-external.egads.tutti.syntaxblitz.net/quixos/quixos",
-  "sourceCommit": "22bb3d02264980d74de65c34bbbcb81764dc65c0",
+  "sourceCommit": "7fd5e15105cef21d2b1c3da860c53c5033f66256",
   "sourcePath": "quixos-instance/quixos-nix-helpers",
   "exportName": "quixos-nix-helpers",
   "mirrorRemote": "https://gitea-external.egads.tutti.syntaxblitz.net/quixos/quixos-nix-helpers.git"
diff --git a/checked-package.nix b/checked-package.nix
deleted file mode 100644
index 8e82ae6..0000000
--- a/checked-package.nix
+++ /dev/null
@@ -1,13 +0,0 @@
-# The caller has compiled this package and its exact recursive candidate graph.
-# No credentials, mutable references, or workspace-wide unrelated schema enter
-# the package derivation. Ordinary #server builds are not promotion evidence.
-{ source, schema, generator, packageRevisionId, system ? builtins.currentSystem }:
-let
-  package = builtins.getFlake ("path:" + source);
-  checked = package.quixosPackages.${system}.checkedServer or
-    (throw "Package ${packageRevisionId} lacks checkedServer. Upgrade its Nix helper and adopt generated implementation bindings before cutover.");
-in checked {
-  inherit packageRevisionId;
-  schema = builtins.path { path = /. + schema; name = "candidate-package-bindings.json"; };
-  generator = builtins.storePath generator;
-}