Constraint walker and polarity analysis

- Polarity analysis walker on Constraint.t AST
- Cascade constraint re-checking on DELETE and INSERT
- Focused filtering to narrow re-checks to affected tuples only
- Universal variable substitution for targeted constraint re-evaluation
- Constant discovery for early bail-out (trigger_constants)
- Deferred constraint timing with commit boundary
- attach_constraint and commit API in Manipulation
- extend_tuple namespacing fix (variable.attr convention)
- History capping at 128 entries in Database.update_state
- Benchmark binary (bin/bench.ml)
- Design doc (docs/incremental_constraint_checking.org)

1 files changed, 2 insertions, 2 deletions

diff --git a/bin/server.ml b/bin/server.ml
index 80f392b..5a59e2e 100644
--- a/bin/server.ml
+++ b/bin/server.ml
@@ -154,11 +154,11 @@ let print_with_time str =
   let tm = Unix.localtime now in
   let orange = "\027[38;5;208m" in
   let reset = "\027[0m" in
-  let formatted_time = 
+  let formatted_time =
     Printf.sprintf "%04d-%02d-%02d %02d:%02d:%02d"
       (tm.Unix.tm_year + 1900) (tm.Unix.tm_mon + 1) tm.Unix.tm_mday
       tm.Unix.tm_hour tm.Unix.tm_min tm.Unix.tm_sec
-  in 
+  in
   print_endline @@ Printf.sprintf "%s[%s]%s %s" orange formatted_time reset str
 
 (* TODO: single-threaded accept loop — one slow or hung client blocks all