Asi guile-goblins-hoot

Spritely Goblins distributed actor system with Hoot WebAssembly compiler. Secure capability-based programming in Guile Scheme.

install

source · Clone the upstream repo

git clone https://github.com/plurigrid/asi

Claude Code · Install into ~/.claude/skills/

T=$(mktemp -d) && git clone --depth=1 https://github.com/plurigrid/asi "$T" && mkdir -p ~/.claude/skills && cp -r "$T/skills/guile-goblins-hoot" ~/.claude/skills/plurigrid-asi-guile-goblins-hoot-16c1d0 && rm -rf "$T"

manifest: skills/guile-goblins-hoot/SKILL.md

source content

Guile Goblins Hoot Skill

Trit: +1 (PLUS - generative distributed computation)
Foundation: Goblins + Hoot WASM + ocaps

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 ✓