docs(faces): record established faces and same-cube grounding

## What

Docs-only. Fixes staleness in `docs/specs/faces.adoc` surfaced while
grounding the faces work, and records the grounded same-cube finding.

## Changes

- **Active Faces table** now includes **LucidScript**
(PureScript/Haskell) and **CafeScripto** (CoffeeScript) — both ship as
established faces (`lib/lucid_face.ml`, `lib/cafe_face.ml`; see
`examples/faces/README.adoc` and the brand repos), but the table
previously listed only Canonical/Python/JS/Pseudocode.
- **CoffeeScript-face** retitled from "Roadmap (strategic priority)" to
**SHIPPED as CafeScripto** (design notes kept as history); only
**ActionScript-face** remains on the roadmap.
- New **Brand-surface repos** table (face → brand repo → transformer).
- New **Same-cube grounding** section recording `invariant-path`'s
`verify-same-cube.sh` + the grounded result.

## The grounded finding (worth a transformer-consistency issue)

Built the compiler and ran the verifier (457-test suite green, per-face
snapshot net 6/6 green). On the `greet` corpus the six faces compile to
**two** wasm modules — `{canonical, jaffa, cafe}` vs `{rattle, pseudo,
lucid}` — because the transformers disagree on **trailing-statement
lowering** (statement `{ println(x); }` vs tail-expression `{ println(x)
}`). Observationally identical, **not byte-identical wasm**. Making the
transformers agree would give byte-level same-cube.

(Informational: the verifier upgrade lives in
`hyperpolymath/invariant-path#33`.)

🤖 Generated with [Claude Code](https://claude.com/claude-code)

https://claude.ai/code/session_01KPG9mEQXFyA3k7NWAzMNMr

---
_Generated by [Claude
Code](https://claude.ai/code/session_01KPG9mEQXFyA3k7NWAzMNMr)_

Author: hyperpolymath

docs/specs/faces.adoc

@@ -1,6 +1,7 @@
 // SPDX-License-Identifier: MPL-2.0
 // SPDX-FileCopyrightText: 2024-2026 Jonathan D.A. Jewell (hyperpolymath)
 = AffineScript Faces — Design & Implementation Reference
+Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 :toc: macro
 :toclevels: 2
 :source-highlighter: rouge
@@ -71,15 +72,64 @@ The compiler is face-agnostic throughout. The two face-aware layers are:
 | `--face pseudocode` or `--face pseudo`
 | `.pseudoaff`
 | Beta (2026-04-11)
+
+| Lucid (PureScript / Haskell)
+| `--face lucid`
+| `.lucidaff`
+| Beta (2026-06)
+
+| Cafe (CoffeeScript)
+| `--face cafe` or `--face coffee`
+| `.cafeaff`
+| Beta (2026-06)
+|===
+
+=== Brand-surface repos
+
+Each non-canonical face has a brand-surface repo — examples, community docs,
+migration guides, and a `bin/<face>` shim that injects `--face`. The compiler,
+type checker, borrow checker, and codegen live only here in affinescript; the
+brand repos carry no compiler.
+
+[cols="1,2,2", options="header"]
 |===
+| Face | Brand repo | Transformer
+
+| RattleScript (Python)      | `hyperpolymath/rattlescript` | `lib/python_face.ml`
+| JaffaScript (JS / TS)      | `hyperpolymath/jaffascript`  | `lib/js_face.ml`
+| PseudoScript (pseudocode)  | `hyperpolymath/pseudoscript` | `lib/pseudocode_face.ml`
+| LucidScript (PureScript)   | `hyperpolymath/lucidscript`  | `lib/lucid_face.ml`
+| CafeScripto (CoffeeScript) | `hyperpolymath/cafescripto`  | `lib/cafe_face.ml`
+|===
+
+=== Same-cube grounding
+
+The "different faces, same cube" claim is grounded by
+`hyperpolymath/invariant-path` (the `faces` profile + `scripts/verify-same-cube.sh`),
+which compiles one program written in every face to typed-wasm and compares the
+modules. Per-face snapshot stability is covered separately by
+`tools/run_face_transformer_tests.sh` (currently 6/6 green).
+
+*Known transformer-consistency item (grounded 2026-06-18):* on the `greet`
+corpus the six faces compile to *two* wasm modules — `{canonical, jaffa, cafe}`
+vs `{rattle, pseudo, lucid}` — because the transformers disagree on
+trailing-statement lowering (statement `{ println(x); }` vs tail-expression
+`{ println(x) }`). The programs are observationally identical (same output,
+same unit return) but the wasm is not byte-identical. Making the transformers
+agree on trailing-statement lowering would yield byte-level same-cube.
 
 == Roadmap Faces
 
-These faces are on the roadmap but have not been designed in detail. The
-face architecture makes implementation cheap once the surface mapping is
-settled; the bottleneck is design, not code.
+ActionScript-face remains on the roadmap (CoffeeScript has since shipped as
+CafeScripto — see Active Faces above). The face architecture makes
+implementation cheap once the surface mapping is settled; the bottleneck is
+design, not code.
+
+=== CoffeeScript-face — SHIPPED as CafeScripto
 
-=== CoffeeScript-face (strategic priority)
+NOTE: This face is now *established* (`lib/cafe_face.ml`, `--face cafe`; see the
+Active Faces table and `hyperpolymath/cafescripto`). The design notes below are
+retained as historical reference; only ActionScript-face remains on the roadmap.
 
 *Rationale:* CoffeeScript has a loyal displaced community that never loved
 JavaScript and were forced away when the ecosystem moved on. Their syntax