File size: 10,778 Bytes
119e586 | 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 | #!/usr/bin/env bash
# SnapKitty Sovereign Lisp Stack β Cold Boot
# One command. Every layer. Full sovereign Lisp runtime.
#
# curl -fsSL https://raw.githubusercontent.com/SNAPKITTYWEST/snapkitty-clojure-lisp-bridge/main/boot.sh | bash
#
# Or clone and run:
# git clone https://github.com/SNAPKITTYWEST/snapkitty-clojure-lisp-bridge
# cd snapkitty-clojure-lisp-bridge && bash boot.sh
set -euo pipefail
GRN='\033[0;32m'; YLW='\033[0;33m'; CYN='\033[0;36m'
MAG='\033[0;35m'; RED='\033[0;31m'; DIM='\033[2m'
BLD='\033[1m'; NC='\033[0m'
clear
echo -e "${MAG}"
cat << 'BANNER'
ββββββ βββ ββ βββββ ββββββ ββ ββ ββ ββββββββ ββββββββ ββ ββ
ββ ββββ ββ ββ ββ ββ ββ ββ ββ ββ ββ ββ ββ ββ
βββββββ ββ ββ ββ βββββββ ββββββ βββββ ββ ββ ββ ββββ
ββ ββ ββ ββ ββ ββ ββ ββ ββ ββ ββ ββ ββ
βββββββ ββ ββββ ββ ββ ββ ββ ββ ββ ββ ββ ββ
ββββββ ββββββ ββ ββ βββββββ ββββββ βββββββ ββ ββββββ βββ ββ
ββ ββ ββ ββ ββ ββ ββ ββ ββ ββ ββ ββββ ββ
βββββββ ββ ββ ββ ββ βββββ ββββββ βββββ ββ ββ βββ ββ ββ ββ
ββ ββ ββ ββ ββ ββ ββ ββ ββ ββ ββ ββ ββ ββ ββ
βββββββ ββββββ ββββ βββββββ ββ ββ βββββββ ββ ββββββ ββ ββββ
ββ ββ βββββββ ββββββ βββββββ ββββββββ βββββ ββββββ ββ ββ
ββ ββ ββ ββ ββ ββ ββ ββ ββ ββ ββ ββ
ββ ββ βββββββ ββββββ βββββββ ββ βββββββ ββ βββββ
ββ ββ ββ ββ ββ ββ ββ ββ ββ ββ ββ
βββββββ ββ βββββββ ββ βββββββ ββ ββ ββ ββββββ ββ ββ
BANNER
echo -e "${NC}"
echo -e "${CYN} McCarthy LISP Β· Rust REPL Β· miniKanren Β· EmojiScript Β· Funtan DSL${NC}"
echo -e "${CYN} DSSSL Β· Coq Β· ClojureScript Β· WORM Β· Bifrost Β· Sovereign${NC}"
echo ""
echo -e "${DIM} Bel Esprit D'Accord Irrevocable Trust Β· EIN 42-697643${NC}"
echo -e "${DIM} Ahmad Ali Parr Β· BOW-Ξ©-Ο-β-2026${NC}"
echo ""
OS="unknown"
[[ "$OSTYPE" == "darwin"* ]] && OS="mac"
[[ "$OSTYPE" == "linux-gnu"* ]] && OS="linux"
[[ "$OSTYPE" == msys* || "$OSTYPE" == cygwin* ]] && OS="windows"
echo -e "${DIM} Platform: $OS${NC}"
echo ""
check() { command -v "$1" &>/dev/null; }
ok() { echo -e " ${GRN}β${NC} $1"; }
warn() { echo -e " ${YLW}?${NC} $1 ${DIM}(optional)${NC}"; }
miss() { echo -e " ${RED}β${NC} $1"; }
# ββ [1/6] Node.js ββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ
echo -e "${YLW} [1/6] Node.js${NC}"
if check node; then
ok "Node.js $(node --version)"
npm install --silent 2>/dev/null && ok "npm packages installed"
else
miss "Node.js not found"
[[ "$OS" == "mac" ]] && echo -e " ${DIM} brew install node${NC}"
[[ "$OS" == "linux" ]] && echo -e " ${DIM} sudo apt install nodejs npm${NC}"
fi
# ββ [2/6] Rust ββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ
echo -e "${YLW} [2/6] Rust (Lisp REPL + Bifrost)${NC}"
if check cargo; then
ok "Rust $(rustc --version | cut -d' ' -f2)"
echo -e " ${DIM} Building lisp-rs...${NC}"
cargo build --manifest-path backend/lisp-rs/Cargo.toml --quiet 2>/dev/null \
&& ok "lisp-repl built" || warn "lisp-rs build failed (check Cargo.toml deps)"
else
miss "Rust not found"
echo -e " ${DIM} curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs | sh${NC}"
fi
# ββ [3/6] SWI-Prolog βββββββββββββββββββββββββββββββββββββββββββββββββββββββββ
echo -e "${YLW} [3/6] SWI-Prolog (LTMS + Funtan + Governance)${NC}"
if check swipl; then
ok "SWI-Prolog $(swipl --version 2>&1 | head -1 | grep -oP '\d+\.\d+\.\d+')"
else
warn "swipl not found"
[[ "$OS" == "mac" ]] && echo -e " ${DIM} brew install swi-prolog${NC}"
[[ "$OS" == "linux" ]] && echo -e " ${DIM} sudo apt install swi-prolog${NC}"
fi
# ββ [4/6] Lean 4 βββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ
echo -e "${YLW} [4/6] Lean 4 (QEC proofs)${NC}"
if check lean || check lake; then
ok "Lean 4 found"
echo -e " ${DIM} Run: cd lean-formalization/skclisp && lake build${NC}"
else
warn "Lean 4 not found"
echo -e " ${DIM} curl https://raw.githubusercontent.com/leanprover/elan/master/elan-init.sh -sSf | sh${NC}"
fi
# ββ [5/6] Coq ββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ
echo -e "${YLW} [5/6] Coq (SKC-LISP-WORLD proofs)${NC}"
if check coqc; then
ok "Coq $(coqc --version | head -1 | grep -oP '\d+\.\d+\.\d+')"
echo -e " ${DIM} Run: cd coq && coq_makefile -f _CoqProject -o Makefile && make${NC}"
else
warn "Coq not found"
echo -e " ${DIM} opam install coq coq-mathcomp-ssreflect${NC}"
fi
# ββ [6/6] GHC ββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ
echo -e "${YLW} [6/6] GHC (Funtan validator + deed_validator.hs)${NC}"
if check ghc; then
ok "GHC $(ghc --version | grep -oP '\d+\.\d+\.\d+')"
else
warn "GHC not found"
echo -e " ${DIM} ghcup install ghc (https://www.haskell.org/ghcup/)${NC}"
fi
echo ""
echo -e "${GRN} βββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ${NC}"
echo -e "${GRN} SOVEREIGN LISP STACK β BOOT COMPLETE${NC}"
echo -e "${GRN} βββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ${NC}"
echo ""
# ββ What you can run right now βββββββββββββββββββββββββββββββββββββββββββββββ
echo -e "${BLD} WHAT YOU CAN RUN RIGHT NOW:${NC}"
echo ""
if check node; then
cat << 'CMDS'
ββ ClojureScript Lisp Machine ββββββββββββββββββββββββββββββββββββββ
npm run watch open http://localhost:9000 (dev, hot reload)
npm run build production build
npm run compile:clojure Lisp -> EmojiScript bytecode
npm test 30 tests (Lisp, EmojiScript, JIT, LTMS)
ββ Relational Engine ββββββββββββββββββββββββββββββββββββββββββββββββ
npm run pipeline miniKanren tag validation pipeline
node backend/relational-engine/examples/tree-invert.mjs
tree inversion synthesis (2-pass Z3 oracle)
ββ DSSSL Synthesis ββββββββββββββββββββββββββββββββββββββββββββββββββ
node dsssl-synthesis/dsssl-kernel.mjs dsssl-synthesis/dsssl-input.sgml
(?x + 4) * 4 = 20 => ?x = 1
node dsssl-synthesis/test-dsssl.mjs
ββ Funtan DSL βββββββββββββββββββββββββββββββββββββββββββββββββββββββ
node funtan/deed_validator_bridge.mjs
parse deed-rules.lisp + validate trust deed
ββ Quantum QEC Pipeline βββββββββββββββββββββββββββββββββββββββββββββ
node bob-reasoning-engine/wire-quantum.mjs
Lean -> APL -> Rust -> WORM (7 stages)
ββ Servers ββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ
npm run serve:bob BOB sovereign agent (EVIDENCE / SILENCE)
npm run serve:snap-os SNAP OS JIT bridge (port 8001)
CMDS
fi
if check cargo; then
cat << 'CMDS'
ββ Rust Lisp REPL βββββββββββββββββββββββββββββββββββββββββββββββββββ
cargo run --bin lisp-repl --manifest-path backend/lisp-rs/Cargo.toml
# lambda> (+ 1618 618) => 2236
# lambda> (seal!) => WORM checkpoint
CMDS
fi
if check swipl; then
cat << 'CMDS'
ββ Prolog βββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ
swipl -g run_tests -t halt src/snapkitty/ltms/ltms.pl
swipl -g run_tests -t halt logic/bio_ops.pl
CMDS
fi
echo ""
echo -e "${CYN} Live at: https://snapkittywest.github.io/snapkitty-clojure-lisp-bridge/${NC}"
echo ""
echo -e "${MAG} Ο = 1.6180339887... Ξ© = TRUST β§ CODE${NC}"
echo ""
|