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