S-Expression Neighborhood Index (0)

S-Expression Neighborhood Index (0)

Complete catalog of sexp-using skills with triadic classification.

Trit: 0 (ERGODIC - index/​coordinator)

Master Sexp Skill Taxonomy

┌─────────────────────────────────────────────────────────────────────────────┐
│                       SEXP SKILL NEIGHBORHOOD                                │
├─────────────────────────────────────────────────────────────────────────────┤
│                                                                              │
│   PLUS (+1) GENERATIVE              ERGODIC (0) BRIDGE                      │
│   ┌─────────────────────┐          ┌─────────────────────┐                  │
│   │ geb                 │          │ lispsyntax-acset    │                  │
│   │ cue-lang            │          │ nickel              │                  │
│   │ geiser-chicken      │          │ discopy             │                  │
│   │ cider-clojure       │          │ crdt-vterm          │                  │
│   │ borkdude            │          │ og (open-games)     │                  │
│   │ gay-mcp             │          │                     │                  │
│   └─────────────────────┘          └─────────────────────┘                  │
│                                                                              │
│   MINUS (-1) EXTRACTIVE                                                     │
│   ┌─────────────────────┐                                                   │
│   │ slime-lisp          │                                                   │
│   │ hof                 │                                                   │
│   │ intent-sink         │                                                   │
│   │ solver-fee          │                                                   │
│   └─────────────────────┘                                                   │
│                                                                              │
│   GF(3) BALANCED TRIADS:                                                    │
│   geb(+1) + nickel(0) + slime-lisp(-1) = 0 ✓                               │
│   cue-lang(+1) + nickel(0) + hof(-1) = 0 ✓                                 │
│   gay-mcp(+1) + lispsyntax-acset(0) + intent-sink(-1) = 0 ✓                │
│                                                                              │
└─────────────────────────────────────────────────────────────────────────────┘

Complete Skill Index

PLUS (+1) - Generative/​Emissive

ERGODIC (0) - Bridge/​Coordinator

MINUS (-1) - Extractive/​Absorptive

GF(3) Balanced Triads

Triad 1: Lisp Dialects

geiser-chicken (+1) + lispsyntax-acset (0) + slime-lisp (-1) = 0
     Scheme              Bridge                Common Lisp

Triad 2: Configuration Languages

cue-lang (+1) + nickel (0) + hof (-1) = 0
   Lattice       Gradual      Codegen

Triad 3: Anoma/​Intent

geb (+1) + discopy (0) + intent-sink (-1) = 0
  Types     Diagrams      Nullifiers

Triad 4: Color/​State

gay-mcp (+1) + crdt-vterm (0) + solver-fee (-1) = 0
  Colors       Sessions         Extraction

Triad 5: Clojure Ecosystem

cider-clojure (+1) + borkdude (+1) + lispsyntax-acset (0) = +2
                    UNBALANCED - needs -2 skill

Fix: Add clj-kondo-3color as 0 or create extraction skill.

Bridge Patterns

Sexp → ACSet (lispsyntax-acset)

# Any sexp-producing skill → ACSet
sexp = parse_sexp("(graph (V 1 2 3) (E (1 2) (2 3)))")
acset = acset_of_sexp(GraphSchema, sexp)

Config → Sexp → ACSet

# CUE/​Nickel → JSON → Julia
cue export config.cue | jq '.' > config.json
nickel export config.ncl > config.json

# Julia: JSON → Sexp → ACSet
using JSON3
data = JSON3.read("config.json")
sexp = json_to_sexp(data)
acset = sexp_to_acset(ConfigSchema, sexp)

Geb → Vampir → ZK

;; Geb sexp → Vampir IR → ZK proof
(geb-to-vampir 
  (comp (inject-left so1 so1) (terminal so1)))

Neighborhood Graph

graph TD
    subgraph "PLUS +1"
        GEB[geb]
        CUE[cue-lang]
        GEISER[geiser-chicken]
        CIDER[cider-clojure]
        BORK[borkdude]
        GAY[gay-mcp]
    end
    
    subgraph "ERGODIC 0"
        LISP[lispsyntax-acset]
        NICKEL[nickel]
        DISCO[discopy]
        CRDT[crdt-vterm]
    end
    
    subgraph "MINUS -1"
        SLIME[slime-lisp]
        HOF[hof]
        SINK[intent-sink]
        FEE[solver-fee]
    end
    
    GEB --> LISP
    CUE --> NICKEL
    GEISER --> LISP
    CIDER --> LISP
    GAY --> CRDT
    
    LISP --> SLIME
    NICKEL --> HOF
    DISCO --> SINK
    CRDT --> FEE

Usage

# List all sexp skills
grep -l "sexp\|S-expression\|lisp" ~/​.claude/​skills/​*/​SKILL.md

# Check GF(3) balance of a triad
python3 -c "
skills = {'geb': 1, 'nickel': 0, 'slime-lisp': -1}
print('Balanced:', sum(skills.values()) % 3 == 0)
"

# Find unbalanced triads
just sexp-audit

Cross-Skill Pipelines

Pipeline 1: Anoma Intent Compilation

Intent (sexp) → Geb (morphism) → Vampir (IR) → ZK (proof)
    +1              +1              0            -1

Pipeline 2: Config-to-Code

CUE (schema) → Nickel (contract) → Hof (template) → Code
    +1              0                  -1            output

Pipeline 3: Collaborative Terminal

Terminal → crdt-vterm (sexp) → localsend → peer
             0                    0         receive

Pipeline 4: Colored Lisp REPL

gay-mcp (color) → geiser (scheme) → display
   +1                 +1             visual

Files

• This index: ~/​.claude/​skills/​sexp-neighborhood/​SKILL.md
• Core bridge: ~/​.claude/​skills/​lispsyntax-acset/​SKILL.md
• Geb: ~/​.claude/​skills/​geb/​SKILL.md
• Config triad: ~/​.claude/​skills/​{cue-lang,nickel,hof}/​SKILL.md

---

Trit: 0 (ERGODIC - index/​coordinator) Purpose: Exhaustive sexp skill awareness GF(3): Multiple balanced triads documented

---

Autopoietic Marginalia

The interaction IS the skill improving itself.

Every use of this skill is an opportunity for worlding:

• MEMORY (-1): Record what was learned
• REMEMBERING (0): Connect patterns to other skills
• WORLDING (+1): Evolve the skill based on use

Add Interaction Exemplars here as the skill is used.

REPL atlas

Part of: repl-commons. Family canonical: emacs.