Asi guile-goblins-hoot
Spritely Goblins distributed actor system with Hoot WebAssembly compiler. Secure capability-based programming in Guile Scheme.
git clone https://github.com/plurigrid/asi
T=$(mktemp -d) && git clone --depth=1 https://github.com/plurigrid/asi "$T" && mkdir -p ~/.claude/skills && cp -r "$T/plugins/asi/skills/guile-goblins-hoot" ~/.claude/skills/plurigrid-asi-guile-goblins-hoot && rm -rf "$T"
plugins/asi/skills/guile-goblins-hoot/SKILL.mdGuile Goblins Hoot Skill
Trit: +1 (PLUS - generative distributed computation) Foundation: Goblins + Hoot WASM + ocaps
bmorphism Contributions
"all is bidirectional" — @bmorphism, Play/Coplay gist
Portable Cognitive Agents: Hoot compiles Goblins actors to WebAssembly, enabling the same cognitive agent to run anywhere — browser, server, embedded, blockchain. This portability embodies the "next trillion minds" vision.
Bidirectional Actor Communication: The Goblins
<- operator implements bidirectional promise pipelining — the caller becomes a listener for the response. This aligns with bmorphism's Play/Coplay pattern where every action generates perception.
Active Inference Actors: Each Goblins actor implements Active Inference in String Diagrams at the micro level:
- bcom (become) → update internal model (belief)
- methods → available actions
- vat → Markov blanket (perceptual boundary)
Core Concept
Goblins provides:
- Capability-secure actors
- Distributed vat model
- Promise pipelining
- Hoot compiles Scheme to WASM
Goblins Basics
(use-modules (goblins) (goblins actor-lib)) ;; Define a counter actor (define (^counter bcom [count 0]) (define (inc) (bcom (^counter bcom (+ count 1)))) (define (get) count) (methods [inc inc] [get get])) ;; Spawn and use (define counter (spawn ^counter)) (<- counter 'inc) (<- counter 'get) ; => 1
Hoot WASM
;; Compile to WebAssembly (use-modules (hoot compile)) (compile-file "program.scm" #:output "program.wasm")
GF(3) Integration
(define (trit-from-capability cap) (cond [(verifier? cap) -1] ; MINUS: verification cap [(observer? cap) 0] ; ERGODIC: observation cap [(actor? cap) +1])) ; PLUS: action cap
Canonical Triads
geiser-chicken (-1) ⊗ sicp (0) ⊗ guile-goblins-hoot (+1) = 0 ✓ interaction-nets (-1) ⊗ chemical-abstract-machine (0) ⊗ guile-goblins-hoot (+1) = 0 ✓
Scientific Skill Interleaving
This skill connects to the K-Dense-AI/claude-scientific-skills ecosystem:
Graph Theory
- networkx [○] via bicomodule
- Universal graph hub
Bibliography References
: 734 citations in bib.duckdbgeneral
Cat# Integration
This skill maps to Cat# = Comod(P) as a bicomodule in the equipment structure:
Trit: 0 (ERGODIC) Home: Prof Poly Op: ⊗ Kan Role: Adj Color: #26D826
GF(3) Naturality
The skill participates in triads satisfying:
(-1) + (0) + (+1) ≡ 0 (mod 3)
This ensures compositional coherence in the Cat# equipment structure.