;;; 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")