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.
12 lines
467 B
Text
12 lines
467 B
Text
;;; proof-netspace-node-a.lsp — node A of the 2-node spiral demo.
|
|
;;;
|
|
;;; Port 9086, cache paths under /tmp/lumbda-A-*. Run in parallel with
|
|
;;; proof-netspace-node-b.lsp (port 9087) and drive both via the
|
|
;;; spiral-client.lsp to watch independent caches converge.
|
|
|
|
(define *port* 9086)
|
|
(define *max-requests* 10000)
|
|
(define *snapshot-path* "/tmp/lumbda-A-db.sexp")
|
|
(define *proofs-dir* "/tmp/lumbda-A-proofs/")
|
|
|
|
(load "examples/proof-netspace-server-lib.lsp")
|