sync(bfmono): pin nix v (+19 more) (bfmono@9924f0252)

This PR is an automated gambitmono sync of bfmono Gambit packages.

- Source: `packages/gambit/`
- Core: `packages/gambit/packages/gambit-core/`
- bfmono rev: 9924f0252

Changes:
- 9924f0252 pin nix v
- 2f7f91c35 fix(gambit): run downstream CI parity checks in bfmono
- 9a2fff377 refactor(gambit-demo): reuse shared tab flows in full demo
- 30c59197f docs(gambit): add verify-tab migration docs and parity checklist
- 1bf42993d test(gambit): add verify demo and stabilize full demo flow
- 8452a0505 feat(gambit): add Isograph Verify tab UI and typed client artifacts
- 422f98b10 feat(gambit): add verify GraphQL schema and server operations
- fcbcb09d9 test(gambit-demo): exercise grade flag toggle and reason edit flow
- b8c0081bc refactor(simulator-ui): share legacy grade runner and center panels across legacy and isograph
- a11973125 refactor(simulator-ui): reuse legacy grade runs header across legacy and isograph
- 7cd05dfc2 chore(simulator-ui): remove unused grade tab view extension prop
- c74332e9c refactor(simulator-ui): share legacy grade tab shell between legacy and isograph
- a78766f62 refactor(simulator-ui): split isograph grade tab into container and presentational view
- ea0bc7ea5 fix(gambit-demo): add default grader to shared test fixture
- 75e03c861 fix(gambit-demo): seed grade tab demo with test fixture root deck
- 8ff20c880 chore(gambit-demo): keep non-mutation waits under 10s in grade tab demo
- 16b362a24 chore(gambit-ui): regenerate isograph artifacts for grade tab
- 852ee1763 feat(gambit-ui): wire isograph grade tab routes, page, and actions
- 4a34135ef feat(gambit): add grade GraphQL backend contract and operations
- 1c8d76719 chore(lint): unblock workspace by file-level gambit ignores

Do not edit this repo directly; make changes in bfmono and re-run the sync.

Author: bft-codebot

flake.lock

@@ -99,6 +99,42 @@ deno check --config deno.ci.json --lock=deno.lock --frozen --all mod.ts
 echo "Test"
 deno test --config deno.ci.json --lock=deno.lock --frozen -A --ignore=simulator-ui/__tests__/e2e
 
+CORE_DIR=""
+for candidate in "packages/gambit-core" "packages/gambit/packages/gambit-core"; do
+  if [[ -f "${candidate}/deno.json" ]]; then
+    CORE_DIR="${candidate}"
+    break
+  fi
+done
+if [[ -z "${CORE_DIR}" ]]; then
+  echo "Unable to find gambit-core directory." >&2
+  exit 1
+fi
+
+echo "Lint (gambit-core)"
+(
+  cd "${CORE_DIR}"
+  deno lint
+)
+
+echo "Format check (gambit-core)"
+(
+  cd "${CORE_DIR}"
+  deno fmt --check
+)
+
+echo "Type check (gambit-core)"
+(
+  cd "${CORE_DIR}"
+  deno check --all mod.ts
+)
+
+echo "Test (gambit-core)"
+(
+  cd "${CORE_DIR}"
+  deno test --allow-all --unstable-worker-options
+)
+
 echo "Install CLI deps (entrypoint only)"
 bash -euo pipefail -c '
   rm -f deno.entrypoint.lock