russell@unturf.com
5ea687a888
Extracts the 300-line server body into proof-netspace-server-lib.lsp
so multi-node demos can share it without duplication. The existing
proof-netspace-server.lsp entry point stays stable — now a 25-line
config wrapper that sets defaults and loads the lib.
New 2-node scaffolding:
proof-netspace-node-a.lsp — port 9086, cache /tmp/lumbda-A-*
proof-netspace-node-b.lsp — port 9087, cache /tmp/lumbda-B-*
spiral-client.lsp — drives both nodes, seeds them with
partially-overlapping theorem sets,
runs one A→B and one B→A envelope
round-trip, reports sizes
spiral-demo.sh — orchestrator: starts both nodes,
runs client, tears down cleanly.
Accepts python|c|asm — all three
converge identically (A=3 B=3 → A=5 B=5).
Proves the envelope primitive at use-case scale: N independent caches
mesh-converge in O(N) spiral passes. Foundation for the "looping and
spiraling across time and space of manifolds" runtime topology.
10 lines
345 B
Text
10 lines
345 B
Text
;;; proof-netspace-node-b.lsp — node B of the 2-node spiral demo.
|
|
;;;
|
|
;;; Port 9087, cache paths under /tmp/lumbda-B-*. See node-a for context.
|
|
|
|
(define *port* 9087)
|
|
(define *max-requests* 10000)
|
|
(define *snapshot-path* "/tmp/lumbda-B-db.sexp")
|
|
(define *proofs-dir* "/tmp/lumbda-B-proofs/")
|
|
|
|
(load "examples/proof-netspace-server-lib.lsp")
|