russell@unturf.com
f7352b51b0
Historical internal name "uncommonlisp" retired in favor of the
public name "lumbda" ahead of lumbda.com going live. Scope of
this commit:
Source files renamed:
uncommonlisp.py -> lumbda.py
asm/uncommonlisp.s -> asm/lumbda.s
c/uncommonlisp.h -> c/lumbda.h
whitepaper/uncommonlisp-whitepaper -> whitepaper/lumbda-whitepaper (.rst + .pdf)
Binaries renamed (tracked ones; c/ was always gitignored):
asm/uncommonlisp, asm/uncommonlisp-gc, asm/uncommonlisp.o,
asm/uncommonlisp-gc.o -> asm/lumbda(-gc)(.o)
c/.gitignore -> ignores lumbda
Internal string updates (sed pass ordered longest-first):
asm/uncommonlisp -> asm/lumbda
c/uncommonlisp -> c/lumbda
uncommonlisp.py -> lumbda.py
UNCOMMONLISP_BIN -> LUMBDA_BIN (asm/test.sh env var)
"uncommonlisp> " -> "lumbda> " (asm REPL prompt baked into binary)
UNCOMMONLISP -> LUMBDA (macros, comments)
uncommonlisp -> lumbda (prose)
Binary portal magic updated:
"ULPORTAL" -> "LUMBDAB1" # "Lumbda Binary v1"
Old portal files are not backward-compatible — this is a deliberate
break since it's the rename moment. S-expression portals already
carry their own ";; lumbda-portal v1" header and remain cleanly
versioned.
WHITEPAPER.pdf / WHITEPAPER.rst symlinks repointed to the renamed
files. Makefile's whitepaper target targets lumbda-whitepaper.pdf.
Not changed (intentional, separate phases):
- Filesystem directory /home/fox/git/uncommonlisp itself
(fox renames locally and the gitlab repo URL in a follow-up)
- tests.py hardcoded cwd=/home/fox/git/uncommonlisp
(matches the current on-disk location; will flip when the
directory rename ships)
- Git history (immutable; old commits still say uncommonlisp,
which is correct — that's what they were)
Verified:
137 asm no-GC + 137 asm GC + 571 Python + 83 C + 189 shared
functional tests all pass under the new names.
bench-gc-http (2000 req): all 4 cells behave as expected
(cells 1/2 flat, 3 leaks, 4 bounded at 1 chunk).
Python REPL, C REPL, asm REPL all start cleanly.
26 lines
1.1 KiB
Text
26 lines
1.1 KiB
Text
;;; proof-netspace-server.lsp — default-config wrapper for the netspace server.
|
|
;;;
|
|
;;; Serves a content-addressed proof cache over TCP. Three verbs:
|
|
;;;
|
|
;;; (<lhs> <rhs>) — verify a theorem, reply PROVEN/UNKNOWN/ERROR
|
|
;;; (envelope) — reply with whole DB as (envelope (h1 h2 ...))
|
|
;;; (merge (h1 h2 ...)) — fold hashes into local DB, reply (merged <n>)
|
|
;;;
|
|
;;; Three cache layers: in-memory hash-set → per-proof file → portal snapshot.
|
|
;;; Two peers can teleport whole solution spaces by chaining envelope + merge
|
|
;;; in either direction. Both become supersets of what either knew.
|
|
;;;
|
|
;;; Portable across Python, C, and asm. Example:
|
|
;;;
|
|
;;; python3 lumbda.py --fast examples/proof-netspace-server.lsp
|
|
;;; ./c/lumbda --fast examples/proof-netspace-server.lsp
|
|
;;; ./asm/lumbda < examples/proof-netspace-server.lsp
|
|
;;;
|
|
;;; For multi-node demos see proof-netspace-node-{a,b}.lsp.
|
|
|
|
(define *port* 9086)
|
|
(define *max-requests* 10000)
|
|
(define *snapshot-path* "/tmp/lumbda-proof-db.sexp")
|
|
(define *proofs-dir* "/tmp/lumbda-proofs/")
|
|
|
|
(load "examples/proof-netspace-server-lib.lsp")
|