From a84c98525671df07519e44cfa4086afdb0f51ec1 Mon Sep 17 00:00:00 2001
From: "Timothy J. Aveni" <tja@berkeley.edu>
Date: Mon, 14 Sep 2026 22:11:36 -0700
Subject: [PATCH] Fix standalone candidate binding options and test real React
 props contracts

---
 nix/checked-candidate.nix | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/nix/checked-candidate.nix b/nix/checked-candidate.nix
index fe8b396..8c55161 100644
--- a/nix/checked-candidate.nix
+++ b/nix/checked-candidate.nix
@@ -63,6 +63,8 @@ let
   in { packageRevisionId = candidate.revision.revisionId; artifactPath = artifact; };
   checks = if contractOnly then [ ] else map checkPackage (builtins.filter (node: node.kind == "package") nodes);
   manifest = pkgs.writeText "qx-candidate-checks.json" (builtins.toJSON checks);
+  bindingOptions = pkgs.writeText "qx-typescript-options.json" (builtins.toJSON
+    ((builtins.fromJSON (builtins.readFile "${root.directory}/quixos.check.json")).options or { }));
 in pkgs.runCommand (if contractOnly then "qx-contract" else "qx-checked-candidate") { } ''
   mkdir -p "$out"
   cp ${contract}/candidate.json "$out/candidate.json"
@@ -72,6 +74,6 @@ in pkgs.runCommand (if contractOnly then "qx-contract" else "qx-checked-candidat
   ${pkgs.lib.optionalString (kind == "package") ''
     ${protocol}/bin/quixos-codegen-ts ${contract}/bindings.json \
       ${pkgs.lib.escapeShellArg (builtins.fromJSON (builtins.readFile "${contract}/candidate.json")).revision.revisionId} \
-      "$out/bindings.ts" ${pkgs.lib.optionalString (builtins.pathExists (root.directory + "/bindings.json")) (toString root.directory + "/bindings.json")}
+      "$out/bindings.ts" ${bindingOptions}
   ''}
 ''