fix(ci): orphan .opam in faces/, Hypatia HOME env var

Two follow-up fixes after the first round of CI corrective work landed
two of five but left build/lint/Hypatia still failing.

1. build / lint — `opam install . --deps-only` walks the whole tree for
   `*.opam` files, finds both `./affinescript.opam` and
   `./faces/rattlescript/affinescript/affinescript.opam`, and errors with
   "Public library affinescript is defined twice". The faces/.opam was
   generated by the deleted faces/dune-project (`generate_opam_files
   true`) and was orphaned when that file was removed in this branch.
   The `(dirs :standard \ faces .build)` directive in the root `dune`
   file excludes faces/ from dune's BUILD scan, but does not affect
   opam's discovery of `*.opam` files. Removed the orphaned .opam.

2. Hypatia Neurosymbolic Analysis — `working-directory: ${{ env.HOME }}/hypatia`
   evaluates to `/hypatia` (HOME is not in `env` unless explicitly set as
   a workflow/job-level env var), and the build step errors with "No
   such file or directory". Added a job-level `HYPATIA_DIR: /home/runner/hypatia`
   env var that's visible both to shell (`$HYPATIA_DIR`) and to Actions
   expressions (`${{ env.HYPATIA_DIR }}`); replaced both call sites.

Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>

Author: hyperpolymath

.github/workflows/hypatia-scan.yml

@@ -17,6 +17,13 @@ jobs:
   scan:
     name: Hypatia Neurosymbolic Analysis
     runs-on: ubuntu-latest
+    env:
+      # ${{ env.HOME }} is empty in working-directory context (HOME is not in
+      # env unless explicitly set), which makes the directory resolve to "/hypatia"
+      # and the build step fails with "No such file or directory". A job-level env
+      # var is visible to both shell ($HYPATIA_DIR) and Actions expressions
+      # (${{ env.HYPATIA_DIR }}).
+      HYPATIA_DIR: /home/runner/hypatia
 
     steps:
       - name: Checkout repository
@@ -32,12 +39,12 @@ jobs:
 
       - name: Clone Hypatia
         run: |
-          if [ ! -d "$HOME/hypatia" ]; then
-            git clone https://github.com/hyperpolymath/hypatia.git "$HOME/hypatia"
+          if [ ! -d "$HYPATIA_DIR" ]; then
+            git clone https://github.com/hyperpolymath/hypatia.git "$HYPATIA_DIR"
           fi
 
       - name: Build Hypatia scanner (if needed)
-        working-directory: ${{ env.HOME }}/hypatia
+        working-directory: ${{ env.HYPATIA_DIR }}
         run: |
           if [ ! -f hypatia-v2 ]; then
             echo "Building hypatia-v2 scanner..."
@@ -52,7 +59,7 @@ jobs:
           echo "Scanning repository: ${{ github.repository }}"
 
           # Run scanner
-          HYPATIA_FORMAT=json "$HOME/hypatia/hypatia-cli.sh" scan . > hypatia-findings.json
+          HYPATIA_FORMAT=json "$HYPATIA_DIR/hypatia-cli.sh" scan . > hypatia-findings.json
 
           # Count findings
           FINDING_COUNT=$(jq '. | length' hypatia-findings.json 2>/dev/null || echo 0)