tengwar 0.3.1__py3-none-any.whl → 0.3.2__py3-none-any.whl

tengwar/__init__.py

@@ -5,7 +5,7 @@ Built from first principles for machine intelligence.
 Zero ambiguity. Maximum semantic density. Binary AST protocol.
 """
 
-__version__ = "0.3.1"
+__version__ = "0.3.2"
 __author__ = "TENGWAR Project"
 
 from .lexer import tokenize

tengwar/ast_nodes.py

@@ -215,8 +215,9 @@ class TypeAnn(ASTNode):
 
 @dataclass
 class Proof(ASTNode):
-    """(⊢ assertion) - proof obligation"""
+    """(⊢ assertion) or (⊢ assertion message) - proof obligation"""
     assertion: Any = None
+    message: Any = None
     def __post_init__(self):
         self.type = NodeType.PROOF
 

tengwar/interpreter.py

@@ -241,6 +241,8 @@ class Interpreter:
         # Vector/sequence ops
         env.set('vec', TengwarBuiltin('vec', lambda args: TengwarVector(list(args))))
         env.set('push', TengwarBuiltin('push', self._builtin_push))
+        env.set('cons', TengwarBuiltin('cons', self._builtin_cons))
+        env.set('prepend', TengwarBuiltin('prepend', self._builtin_cons))
         env.set('pop', TengwarBuiltin('pop', self._builtin_pop))
         env.set('get', TengwarBuiltin('get', self._builtin_get))
         env.set('set-at', TengwarBuiltin('set-at', self._builtin_set_at))
@@ -314,6 +316,7 @@ class Interpreter:
         env.set('&', TengwarBuiltin('&', lambda args: self._eval_binop('&', args[0], args[1])))
         env.set('|', TengwarBuiltin('|', lambda args: self._eval_binop('|', args[0], args[1])))
         env.set('!', TengwarBuiltin('!', lambda args: self._eval_unop('!', args[0])))
+        env.set('not', TengwarBuiltin('not', lambda args: self._eval_unop('!', args[0])))
 
         # === DICT / HASHMAP ===
         env.set('dict', TengwarBuiltin('dict', self._builtin_dict))
@@ -583,6 +586,13 @@ class Interpreter:
             raise RuntimeError_("push requires a vector")
         return TengwarVector(vec.elements + [args[1]])
 
+    def _builtin_cons(self, args):
+        """(cons element vector) — prepend element to front"""
+        elem, vec = args[0], args[1]
+        if not isinstance(vec, TengwarVector):
+            raise RuntimeError_("cons requires a vector as second argument")
+        return TengwarVector([elem] + vec.elements)
+
     def _builtin_pop(self, args):
         vec = args[0]
         if not isinstance(vec, TengwarVector):
@@ -695,13 +705,15 @@ class Interpreter:
         return TengwarVector(sorted(vec.elements, key=lambda e: e.value))
 
     def _builtin_flatten(self, args):
-        result = []
-        for e in args[0].elements:
-            if isinstance(e, TengwarVector):
-                result.extend(e.elements)
-            else:
-                result.append(e)
-        return TengwarVector(result)
+        def _deep_flatten(elements):
+            result = []
+            for e in elements:
+                if isinstance(e, TengwarVector):
+                    result.extend(_deep_flatten(e.elements))
+                else:
+                    result.append(e)
+            return result
+        return TengwarVector(_deep_flatten(args[0].elements))
 
     def _builtin_zip(self, args):
         vecs = [a.elements for a in args]
@@ -1092,9 +1104,21 @@ class Interpreter:
         return TengwarVector(result)
 
     def _builtin_juxt(self, args):
-        """(juxt f1 f2 ... val) — apply multiple fns to same value"""
-        fns, val = args[:-1], args[-1]
-        return TengwarVector([self._call_function(fn, [val]) for fn in fns])
+        """(juxt f1 f2 ...) → fn, or ((juxt f1 f2 ...) val) → vector of results"""
+        def _is_tengwar_callable(x):
+            return isinstance(x, (TengwarBuiltin, TengwarClosure))
+        # If last arg is not callable, treat it as the value to apply to
+        if len(args) >= 2 and not _is_tengwar_callable(args[-1]):
+            fns, val = args[:-1], args[-1]
+            return TengwarVector([self._call_function(fn, [val]) for fn in fns])
+        else:
+            # Return a closure that applies all functions to a value
+            fns = list(args)
+            interp = self
+            def juxt_fn(inner_args):
+                val = inner_args[0]
+                return TengwarVector([interp._call_function(fn, [val]) for fn in fns])
+            return TengwarBuiltin('juxt*', juxt_fn)
 
     def _builtin_min_by(self, args):
         fn, vec = args[0], args[1]
@@ -1678,6 +1702,9 @@ class Interpreter:
         if isinstance(node, Proof):
             result = self.eval(node.assertion, env)
             if not self._is_truthy(result):
+                if node.message:
+                    msg = self.eval(node.message, env)
+                    raise ProofError(f"Proof obligation failed: {msg}")
                 raise ProofError(f"Proof obligation failed: {repr(result)}")
             return result
 

tengwar/lexer.py

@@ -120,7 +120,7 @@ KEYWORDS = {
     'do': TokenType.SEQ,
     'par': TokenType.PARALLEL,
     'nil': TokenType.UNIT,
-    'mod': TokenType.MODULE,
+    'module': TokenType.MODULE,
     # Note: let, pipe, throw, catch, try are handled as symbols
     # by the parser since they need custom parse rules
 }
@@ -130,6 +130,8 @@ SINGLE_CHAR = {
     ')': TokenType.RPAREN,
     '{': TokenType.LBRACE,
     '}': TokenType.RBRACE,
+    '[': TokenType.LBRACKET,
+    ']': TokenType.RBRACKET,
     '?': TokenType.COND,
     '~': TokenType.MATCH,
     '+': TokenType.PLUS,

tengwar/parser.py

@@ -426,11 +426,14 @@ class Parser:
         return Recurse(name=name, body=body, line=line, col=col)
 
     def parse_proof(self, line: int, col: int) -> Proof:
-        """(⊢ assertion)"""
+        """(⊢ assertion) or (⊢ assertion message)"""
         self.advance()  # consume ⊢
         assertion = self.parse_expr()
+        message = None
+        if self.peek_type() != TokenType.RPAREN:
+            message = self.parse_expr()
         self.expect(TokenType.RPAREN)
-        return Proof(assertion=assertion, line=line, col=col)
+        return Proof(assertion=assertion, message=message, line=line, col=col)
 
     def parse_mutate(self, line: int, col: int) -> Mutate:
         """(μ name value)"""

{tengwar-0.3.1.dist-info → tengwar-0.3.2.dist-info}/METADATA

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: tengwar
-Version: 0.3.1
+Version: 0.3.2
 Summary: The AI-Native Programming Language
 Author: TENGWAR Project
 License: MIT

tengwar-0.3.2.dist-info/RECORD

@@ -0,0 +1,17 @@
+tengwar/__init__.py,sha256=VTzmTP2TkxHnpaK9J0Scu_4UiIyo0rpM6bBEcEuN27E,579
+tengwar/__main__.py,sha256=dF1qCzTBDRAf47QGJ6e2kqefPZztrEaE9WuM1n1NfLI,179
+tengwar/ast_nodes.py,sha256=ghhqQQBoqWT-oc9xdCGo2hXBLSqh1zz74hKDyIUtE_Y,7749
+tengwar/binary_ast.py,sha256=UVDGpk_OvHxPLcaToYkAuYA_cg9QQwj6yJXZ057dW0Q,20729
+tengwar/errors.py,sha256=tpZwlDorqUvqX-rtTjL2nhu51Kcdc2ozYBbnJBhR1Hk,773
+tengwar/interpreter.py,sha256=kqezVPs30DDE63Wb7LHu2SH2r6A5hMTaULKVK-ESAd8,80867
+tengwar/lexer.py,sha256=d8MphHWmS6aA7HhRdu-CzX1Ma_3oYZSqkhNNrqLa_Ak,17666
+tengwar/mcp_server.py,sha256=P23h-OiedeiowHlvknKsDU1cZ1eaT2ZbXfjCMUGvHus,17921
+tengwar/parser.py,sha256=J9Sc4x8Rs9Rmc5IkOegcfuEWOSIi54fXhjwviF0SjvY,25141
+tengwar/repl.py,sha256=FOvKth8MLOEVExgUvdod-qJqLydbVFDEA1DRhVGjZnQ,4880
+tengwar/vm.py,sha256=etTJTufLqn76GAnZpzG_DLQQ3rXLsyFvHPEU3aNphIY,15883
+tengwar-0.3.2.dist-info/licenses/LICENSE,sha256=qzDJpz75A1ntwYbNw63k1J-9Ov6v4z62Uj7uDcWxv1w,1072
+tengwar-0.3.2.dist-info/METADATA,sha256=ZZ2gjmAMC7XCqCna3PzSNUfu5M7eIcRyU_jCBehIY9A,6949
+tengwar-0.3.2.dist-info/WHEEL,sha256=wUyA8OaulRlbfwMtmQsvNngGrxQHAvkKcvRmdizlJi0,92
+tengwar-0.3.2.dist-info/entry_points.txt,sha256=W_Zolo2TLJBIDkgAkV7yWzQWKwicET_J9gs4crmrfI4,46
+tengwar-0.3.2.dist-info/top_level.txt,sha256=VyO8Esj_l1yx0c52WUt_KUheaLbXOv2O2kGPZ1eG38k,8
+tengwar-0.3.2.dist-info/RECORD,,

tengwar-0.3.1.dist-info/RECORD

@@ -1,17 +0,0 @@
-tengwar/__init__.py,sha256=vnHeFtc3HEiQl6tDYr9B7A9PmjvAulARvZY02OHd40k,579
-tengwar/__main__.py,sha256=dF1qCzTBDRAf47QGJ6e2kqefPZztrEaE9WuM1n1NfLI,179
-tengwar/ast_nodes.py,sha256=Q5rrMaAtKNPraVJ0nnwpGUiXJerVKAhKXLZjmaaGfyg,7698
-tengwar/binary_ast.py,sha256=UVDGpk_OvHxPLcaToYkAuYA_cg9QQwj6yJXZ057dW0Q,20729
-tengwar/errors.py,sha256=tpZwlDorqUvqX-rtTjL2nhu51Kcdc2ozYBbnJBhR1Hk,773
-tengwar/interpreter.py,sha256=8tNzLtSGp8CIAFkuPGikZobnQDeeg0nKlmONqa4NutA,79426
-tengwar/lexer.py,sha256=6PjWeuAWrYHPug_Mtfuk1kyB6Rbp5oTVLil9TKlKH6o,17605
-tengwar/mcp_server.py,sha256=P23h-OiedeiowHlvknKsDU1cZ1eaT2ZbXfjCMUGvHus,17921
-tengwar/parser.py,sha256=VY6zNHl8IsOHOLjSUJa9nUL-I9IogRKKCsU1XdBQutM,24985
-tengwar/repl.py,sha256=FOvKth8MLOEVExgUvdod-qJqLydbVFDEA1DRhVGjZnQ,4880
-tengwar/vm.py,sha256=etTJTufLqn76GAnZpzG_DLQQ3rXLsyFvHPEU3aNphIY,15883
-tengwar-0.3.1.dist-info/licenses/LICENSE,sha256=qzDJpz75A1ntwYbNw63k1J-9Ov6v4z62Uj7uDcWxv1w,1072
-tengwar-0.3.1.dist-info/METADATA,sha256=KoCww2GbQcklh1j_u87ta2zidbkSehE5ikWEbbXn2nE,6949
-tengwar-0.3.1.dist-info/WHEEL,sha256=wUyA8OaulRlbfwMtmQsvNngGrxQHAvkKcvRmdizlJi0,92
-tengwar-0.3.1.dist-info/entry_points.txt,sha256=W_Zolo2TLJBIDkgAkV7yWzQWKwicET_J9gs4crmrfI4,46
-tengwar-0.3.1.dist-info/top_level.txt,sha256=VyO8Esj_l1yx0c52WUt_KUheaLbXOv2O2kGPZ1eG38k,8
-tengwar-0.3.1.dist-info/RECORD,,