Merge pull request #60 from hyperpolymath/fix/ci-corrective

fix(ci): eject rattlescript subtree, document TS exemptions (round 3)

Author: hyperpolymath

.claude/CLAUDE.md

@@ -68,6 +68,21 @@ Both are FOSS with independent governance (no Big Tech).
 5. **Python only for SaltStack** - All other Python must be rewritten
 6. **No Kotlin/Swift for mobile** - Use Tauri 2.0+ or Dioxus
 
+### TypeScript Exemptions (Approved)
+
+The "no new TypeScript" rule has nine approved exemptions in this repo. These paths are *not* policy violations — they are documented carve-outs because the file format or downstream consumer requires TypeScript:
+
+| Path | Files | Rationale | Unblock condition |
+|---|---|---|---|
+| `packages/affine-js/types.d.ts` | 1 | TypeScript declaration file — the public API contract by which JS callers consume AffineScript-compiled artefacts. `.d.ts` is TS by definition. | Generate from canonical compiler output (issue: see ROADMAP). |
+| `packages/affine-ts/types.d.ts` | 1 | Same, for TS callers. | Same as above. |
+| `editors/vscode/src/extension.ts` | 1 | VS Code extension entry point. Path pinned by `package.json`'s `main` field. | AffineScript issue #35 (Node-target codegen). |
+| `affinescript-deno-test/*.ts` | 6 | Deno-based test harness for AffineScript itself: `cli.ts`, `mod.ts`, `lib/{compile,discover,runner}.ts`, `example/smoke_driver.ts`. Deno test runner is TS-native. | AffineScript stdlib + Deno bindings (no scheduled issue). |
+
+Adding to this list requires explicit user approval and an unblock condition. New TypeScript files outside this list are still banned per the policy table above.
+
+The 5 external references to `affinescript-deno-test/` (CI workflow, status docs, history docs) and the 3 references to `packages/affine-{js,ts}/` (status docs, Deno config) are why physical relocation into a `vendor/` subtree was rejected — the relocation cost exceeded the visibility benefit when the directories are already named clearly.
+
 ### Package Management
 
 - **Primary**: Guix (guix.scm)

.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)

README.adoc

@@ -78,12 +78,14 @@ A face is not a separate language. It is a different presentation layer over the
 
 The established faces are:
 
-- *AffineScript* — the canonical face
-- *JaffaScript* — a JavaScript / TypeScript-like face
-- *RattleScript* — a Python-like face (also positioned as "Python for the web" via typed-wasm)
-- *PseudoScript* — a pseudocode-oriented face for CS pedagogy
-- *LucidScript* — a PureScript / Haskell-like face
-- *CafeScripto* — a CoffeeScript-like face
+- *AffineScript* — the canonical face (this repo)
+- link:https://github.com/hyperpolymath/jaffascript[*JaffaScript*] — a JavaScript / TypeScript-like face
+- link:https://github.com/hyperpolymath/rattlescript[*RattleScript*] — a Python-like face (also positioned as "Python for the web" via typed-wasm)
+- link:https://github.com/hyperpolymath/pseudoscript[*PseudoScript*] — a pseudocode-oriented face for CS pedagogy
+- link:https://github.com/hyperpolymath/lucidscript[*LucidScript*] — a PureScript / Haskell-like face
+- link:https://github.com/hyperpolymath/cafescripto[*CafeScripto*] — a CoffeeScript-like face
+
+The five non-canonical face repos are *brand surfaces only* — examples, docs, and a thin shim that defaults `--face`. The compiler, type checker, borrow checker, and codegen all live here in `affinescript`.
 
 Every face shares the canonical `.affine` file extension; the active face is selected by an optional `face:` pragma on the first comment line of the file (e.g. `# face: rattlescript`, `// face: jaffascript`, `-- face: lucidscript`), or by `--face NAME` on the CLI.