@aleph-ai/tinyaleph 1.0.2 → 1.1.0

package/docs/README.md

@@ -14,6 +14,10 @@ Deep exploration of the theoretical foundations:
 - **Entropy Minimization** - Reasoning as entropy reduction
 - **Non-Commutativity** - Why word order matters
 - **Two-Layer Meaning** - Prime substrate vs. surface vocabulary
+- **Formal Type System** - Typed term calculus with N(p)/A(p)/S types
+- **Reduction Semantics** - Strong normalization and confluence
+- **Lambda Translation** - Model-theoretic semantics via λ-calculus
+- **Enochian Language** - The 21-letter angelic alphabet
 
 ### [Part II: Guide](./guide/README.md)
 Practical application of Aleph:
@@ -74,6 +78,10 @@ So too can concepts be:
 | **Entropy Minimization** | Reasoning as entropy reduction |
 | **Multiple Backends** | Semantic, Cryptographic, Scientific |
 | **LLM Integration** | Couple with language models |
+| **Formal Type System** | N(p)/A(p)/S types with ordering constraints |
+| **Reduction Semantics** | Strong normalization with ⊕ operators |
+| **Lambda Translation** | τ: Terms → λ-expressions |
+| **Enochian Vocabulary** | 21-letter alphabet, prime basis, sedenions |
 
 ---
 
@@ -143,6 +151,19 @@ console.log({
                               │
                               ▼
 ┌─────────────────────────────────────────────────────────────┐
+│                    FORMAL SEMANTICS LAYER                    │
+│                                                              │
+│   ┌─────────────┐  ┌─────────────┐  ┌─────────────────────┐ │
+│   │ Type System │  │  Reduction  │  │ Lambda Translation  │ │
+│   │             │  │             │  │                     │ │
+│   │ N(p), A(p)  │  │  →-steps    │  │ τ: Terms → λ-expr   │ │
+│   │ FUSE(p,q,r) │  │  ⊕ operators│  │ β-reduction         │ │
+│   │ ◦, ⇒        │  │  Normal form│  │ Model semantics     │ │
+│   └─────────────┘  └─────────────┘  └─────────────────────┘ │
+└─────────────────────────────────────────────────────────────┘
+                              │
+                              ▼
+┌─────────────────────────────────────────────────────────────┐
 │                         OUTPUT                               │
 │     { result, primes, entropy, coherence, collapsed }        │
 └─────────────────────────────────────────────────────────────┘
@@ -150,6 +171,69 @@ console.log({
 
 ---
 
+## Formal Semantics
+
+The library implements a rigorous formal semantics layer based on model-theoretic foundations:
+
+### Type System
+
+Three primitive types with prime indexing:
+
+| Type | Notation | Semantics |
+|------|----------|-----------|
+| **Noun** | N(p) | Denotes prime p directly: ⟦N(p)⟧ = p |
+| **Adjective** | A(p) | Partial function: f_p : D ⇀ D where dom(f_p) ⊆ {q : p < q} |
+| **Sentence** | S | Discourse state: sequence in D* |
+
+### Key Constructs
+
+```javascript
+const { N, A, FUSE, CHAIN, SENTENCE, SEQ, IMPL, TypeChecker } = require('@aleph-ai/tinyaleph');
+
+// Typed terms with prime indexing
+const n7 = N(7);          // Noun term
+const a3 = A(3);          // Adjective term
+
+// Application with ordering constraint (p < q)
+const chain = a3.apply(n7);  // A(3)N(7) valid since 3 < 7
+
+// Triadic fusion where sum is prime
+const fused = FUSE(3, 5, 11);  // 3+5+11=19 ✓
+
+// Sentence composition
+const s1 = SENTENCE(7);
+const s2 = SENTENCE(11);
+const compound = SEQ(s1, s2);     // s₁ ◦ s₂
+const implies = IMPL(s1, s2);     // s₁ ⇒ s₂
+```
+
+### Reduction Semantics
+
+Strong normalization guaranteed by strictly decreasing size measure:
+
+```javascript
+const { ReductionSystem, NextPrimeOperator, demonstrateStrongNormalization } = require('@aleph-ai/tinyaleph');
+
+const system = new ReductionSystem();
+system.addOperator(new NextPrimeOperator());
+
+const proof = demonstrateStrongNormalization([3, 5, 7], system);
+console.log(proof.terminates);  // Always true!
+```
+
+### Enochian Language
+
+The 21-letter angelic alphabet with prime basis:
+
+```javascript
+const { EnochianEngine, CORE_VOCABULARY } = require('@aleph-ai/tinyaleph/apps/sentient/lib/enochian-vocabulary');
+
+const engine = new EnochianEngine();
+const parsed = engine.parseWord('MADRIAX');  // "O ye heavens"
+```
+
+---
+
 ## License
 
 MIT License

package/docs/design/ALEPH_CHAT_ARCHITECTURE.md

@@ -122,7 +122,7 @@ class LMStudioClient {
         this.baseUrl = options.baseUrl || 'http://localhost:1234/v1';
         this.model = options.model || 'local-model';
         this.temperature = options.temperature || 0.7;
-        this.maxTokens = options.maxTokens || 2048;
+        this.maxTokens = options.maxTokens || 32768;
     }
 
     async chat(messages, options) { /* ... */ }