Migrate TODO implementations to generated candidate bindings

2026-09-13 19:29:33 -07:00
parent 32652d5279
commit 5861e91298
2 changed files with 29 additions and 5 deletions
@@ -0,0 +1,13 @@
+# 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;
+}