docs(faces): mark CafeScripto + LucidScript established; add brand-repo + same-cube grounding

faces.adoc was stale: the Active Faces table listed only Canonical/Python/JS/
Pseudocode, and CoffeeScript sat under Roadmap — but CafeScripto (CoffeeScript)
and LucidScript (PureScript/Haskell) now ship as established faces (see
examples/faces/README.adoc and the brand repos). Add both to Active Faces;
retitle the CoffeeScript roadmap section as shipped (only ActionScript remains
roadmap); add a brand-surface-repo table and a Same-cube grounding section
recording the invariant-path verifier + the grounded transformer-consistency
finding (trailing-statement lowering splits the faces into two wasm classes).

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01KPG9mEQXFyA3k7NWAzMNMr

Author: hyperpolymath

docs/specs/faces.adoc

@@ -71,15 +71,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