Merge remote-tracking branch 'origin/main' into claude/practical-newton-9eFe2

Author: claude

README.adoc

@@ -83,6 +83,7 @@ Across these systems:
 * Invariants are used for indexing and identity
 * Provenance and transformation history are explicitly stored
 * Query systems operate over equivalence classes
+* Minimal typed calculi can provide small, inspectable test cases for identity, provenance, derivation history, and equivalence-aware indexing
 
 == Relationship to Languages
 
@@ -96,6 +97,8 @@ The broader goal is a unified ecosystem where:
 * languages define construction and transformation
 * databases define identity and retrieval
 
+TypeFix Zero is a calibration calculus — TF0 exists to make the minimal typed/Turing-complete boundary explicit. It is intentionally smaller than TypeLL and should not inherit TypeLL’s open-ended production obligations. Its one non-total primitive, fix, is the designated source of Turing completeness.
+
 == Status
 
 This repository represents ongoing research work.

verisimdb/playground/package.json

@@ -18,6 +18,6 @@
   },
   "devDependencies": {
     "concurrently": "^9.0.0",
-    "esbuild": "^0.27.3"
+    "esbuild": "^0.28.1"
   }
 }