Fix readline buffer limit (10MB) and evaluator spec filename

- ocaml_bridge: 10MB readline buffer for large spec explorer responses
- nav-data: evaluator.sx filename (was eval.sx, actual spec file is evaluator.sx)

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

shared/static/scripts/sx-browser.js

@@ -14,7 +14,7 @@
   // =========================================================================
 
   var NIL = Object.freeze({ _nil: true, toString: function() { return "nil"; } });
-  var SX_VERSION = "2026-03-18T13:07:01Z";
+  var SX_VERSION = "2026-03-18T19:18:46Z";
 
   function isNil(x) { return x === NIL || x === null || x === undefined; }
   function isSxTruthy(x) { return x !== false && !isNil(x); }

shared/sx/ocaml_bridge.py

@@ -62,6 +62,7 @@ class OcamlBridge:
             stdin=asyncio.subprocess.PIPE,
             stdout=asyncio.subprocess.PIPE,
             stderr=asyncio.subprocess.PIPE,
+            limit=10 * 1024 * 1024,  # 10MB readline buffer for large spec data
         )
 
         # Wait for (ready)

sx/sx/nav-data.sx

@@ -300,8 +300,8 @@
   (dict :slug "parser"     :filename "parser.sx"     :title "Parser"
         :desc "Tokenization and parsing of SX source text into AST."
         :prose "The parser converts SX source text into an abstract syntax tree. It tokenizes the input into atoms, strings, numbers, keywords, and delimiters, then assembles them into nested list structures. The parser is intentionally minimal — s-expressions need very little syntax to parse. Special reader macros handle quasiquote (\\`), unquote (~), splice (~@), and the quote (') shorthand. The output is a tree of plain lists, symbols, keywords, strings, and numbers that the evaluator can walk directly.")
-  (dict :slug "evaluator"  :filename "eval.sx"       :title "Evaluator"
-        :desc "Tree-walking evaluation of SX expressions."
+  (dict :slug "evaluator"  :filename "evaluator.sx"   :title "Evaluator"
+        :desc "CEK machine evaluator."
         :prose "The evaluator walks the AST produced by the parser and reduces it to values. It implements lexical scoping with closures, special forms (define, let, if, cond, fn, defcomp, defmacro, quasiquote, set!, do), and function application. Macros are expanded at eval time. Component definitions (defcomp) create callable component objects that participate in the rendering pipeline. The evaluator delegates rendering expressions — HTML tags, components, fragments — to whichever adapter is active, making the same source renderable to DOM nodes, HTML strings, or SX wire format.")
   (dict :slug "primitives" :filename "primitives.sx"  :title "Primitives"
         :desc "All built-in pure functions and their signatures."