Modularize Aura, APPL, and AAL languages

aura.py

@@ -1,8 +1,8 @@
 import sys
-from aura_lang.lexer import Lexer
-from aura_lang.parser import Parser
-from aura_lang.interpreter import evaluate, Environment, BUILTINS, Function as AuraFunction
-from aura_lang import ast
+from languages.aura.lexer import Lexer
+from languages.aura.parser import Parser
+from languages.aura.interpreter import evaluate, Environment, BUILTINS, Function as AuraFunction
+from languages.aura import ast
 
 def main():
     if len(sys.argv) < 2:

knowledge_core/symbols.json

@@ -3,7 +3,7 @@
     {
       "_type": "tag",
       "name": "TestTypeChecker",
-      "path": "./test_type_checker.py",
+      "path": "./languages/appl/test_type_checker.py",
       "language": "Python",
       "line": 29,
       "kind": "class",
@@ -174,7 +174,7 @@
     {
       "_type": "tag",
       "name": "InterpError",
-      "path": "./interpreter.py",
+      "path": "./languages/appl/interpreter.py",
       "language": "Python",
       "line": 32,
       "kind": "class",
@@ -291,7 +291,7 @@
     {
       "_type": "tag",
       "name": "TInt",
-      "path": "./appl_ast.py",
+      "path": "./languages/appl/ast.py",
       "language": "Python",
       "line": 3,
       "kind": "class",
@@ -1335,7 +1335,7 @@
     {
       "_type": "tag",
       "name": "TestParser",
-      "path": "./test_parser.py",
+      "path": "./languages/appl/test_parser.py",
       "language": "Python",
       "line": 25,
       "kind": "class",
@@ -1479,7 +1479,7 @@
     {
       "_type": "tag",
       "name": "Action",
-      "path": "./planning.py",
+      "path": "./languages/appl/planning.py",
       "language": "Python",
       "line": 1,
       "kind": "class",
@@ -1614,7 +1614,7 @@
     {
       "_type": "tag",
       "name": "Parser",
-      "path": "./parser.py",
+      "path": "./languages/appl/parser.py",
       "language": "Python",
       "line": 4,
       "kind": "class",
@@ -1704,7 +1704,7 @@
     {
       "_type": "tag",
       "name": "TestInterpreter",
-      "path": "./test_interpreter.py",
+      "path": "./languages/appl/test_interpreter.py",
       "language": "Python",
       "line": 26,
       "kind": "class",
@@ -1848,7 +1848,7 @@
     {
       "_type": "tag",
       "name": "TypeCheckError",
-      "path": "./type_checker.py",
+      "path": "./languages/appl/type_checker.py",
       "language": "Python",
       "line": 8,
       "kind": "class",
@@ -7275,7 +7275,7 @@
     {
       "_type": "tag",
       "name": "Object",
-      "path": "./aura_lang/interpreter.py",
+      "path": "./languages/aura/interpreter.py",
       "language": "Python",
       "line": 7,
       "kind": "class",
@@ -7527,7 +7527,7 @@
     {
       "_type": "tag",
       "name": "Token",
-      "path": "./aura_lang/lexer.py",
+      "path": "./languages/aura/lexer.py",
       "language": "Python",
       "line": 3,
       "kind": "class",
@@ -7653,7 +7653,7 @@
     {
       "_type": "tag",
       "name": "AST",
-      "path": "./aura_lang/ast.py",
+      "path": "./languages/aura/ast.py",
       "language": "Python",
       "line": 3,
       "kind": "class",
@@ -7986,7 +7986,7 @@
     {
       "_type": "tag",
       "name": "Parser",
-      "path": "./aura_lang/parser.py",
+      "path": "./languages/aura/parser.py",
       "language": "Python",
       "line": 26,
       "kind": "class",

languages/aal/interpreter.py

@@ -0,0 +1,10 @@
+def interpret(aal_data):
+    """
+    Interprets a parsed AAL data structure.
+    """
+    for doc in aal_data:
+        if "protocol_id" not in doc:
+            raise ValueError("Missing 'protocol_id' in AAL data.")
+        if "rules" not in doc:
+            raise ValueError("Missing 'rules' in AAL data.")
+    return True

languages/aal/parser.py

@@ -0,0 +1,8 @@
+import yaml
+
+def parse(aal_file):
+    """
+    Parses an AAL file and returns a list of Python dictionaries.
+    """
+    with open(aal_file, 'r') as f:
+        return list(yaml.safe_load_all(f))

languages/aal/test.py

@@ -0,0 +1,15 @@
+import unittest
+from . import parser
+from . import interpreter
+
+class TestAAL(unittest.TestCase):
+
+    def test_parse_and_interpret(self):
+        """
+        Tests that the AAL parser and interpreter can successfully parse and interpret an AAL file.
+        """
+        aal_data = parser.parse("languages/aal/logging-verification.aal")
+        self.assertTrue(interpreter.interpret(aal_data))
+
+if __name__ == '__main__':
+    unittest.main()

interpreter.py → languages/appl/interpreter.py

@@ -1,4 +1,4 @@
-from appl_ast import (
+from .ast import (
     Term,
     Var,
     Int,
@@ -19,14 +19,14 @@
     Cons,
     AST,
 )
-from planning import (
+from .planning import (
     create_action,
     create_goal,
     create_state,
     apply_action,
     is_goal,
 )
-from parser import parse
+from .parser import parse
 
 
 class InterpError(Exception):

parser.py → languages/appl/parser.py

@@ -1,5 +1,5 @@
 import re
-from appl_ast import *
+from .ast import *
 
 class Parser:
     def __init__(self, tokens):

test.appl.py → languages/appl/test.py

@@ -1,4 +1,4 @@
-from appl_ast import *
+from .ast import *
 
 # A simple APPL program: let !x = !5 in x * x
 # This will be translated to LFI ILL.

test_interpreter.py → languages/appl/test_interpreter.py

@@ -1,5 +1,5 @@
 import unittest
-from appl_ast import (
+from .ast import (
     Int,
     String,
     Bool,
@@ -19,8 +19,8 @@
     TInt,
     TString,
 )
-from interpreter import interpret, InterpError, Closure
-from planning import Action
+from .interpreter import interpret, InterpError, Closure
+from .planning import Action
 
 
 class TestInterpreter(unittest.TestCase):

test_parser.py → languages/appl/test_parser.py

@@ -1,5 +1,5 @@
 import unittest
-from appl_ast import (
+from .ast import (
     Int,
     String,
     Bool,
@@ -19,7 +19,7 @@
     TInt,
     TString,
 )
-from parser import parse
+from .parser import parse
 
 
 class TestParser(unittest.TestCase):

test_type_checker.py → languages/appl/test_type_checker.py

@@ -1,5 +1,5 @@
 import unittest
-from appl_ast import (
+from .ast import (
     Int,
     String,
     Bool,
@@ -23,7 +23,7 @@
     TProd,
     TSum,
 )
-from type_checker import type_check, TypeCheckError
+from .type_checker import type_check, TypeCheckError
 
 
 class TestTypeChecker(unittest.TestCase):

tooling/appl_to_lfi_ill.py → languages/appl/transpiler.py

@@ -8,11 +8,8 @@
 import sys
 import os
 import importlib.util
-import appl_ast
-import lfi_ill
-
-# Add the root directory to the Python path
-sys.path.insert(0, os.path.abspath(os.path.join(os.path.dirname(__file__), '..')))
+from . import ast as appl_ast
+from lfi_ill import ast as lfi_ill
 
 class ApplToLfiIllCompiler:
     def __init__(self):
@@ -94,37 +91,3 @@ def compile_type(self, type_):
         Translates APPL types to LFI ILL types.
         """
         return str(type_)
-
-def main():
-    parser = argparse.ArgumentParser(description="Compile APPL code to LFI ILL.")
-    parser.add_argument("file", help="The APPL file to compile (as a Python file).")
-    args = parser.parse_args()
-
-    try:
-        module_name = os.path.splitext(os.path.basename(args.file))[0]
-        spec = importlib.util.spec_from_file_location(module_name, args.file)
-        appl_module = importlib.util.module_from_spec(spec)
-        spec.loader.exec_module(appl_module)
-        appl_ast_node = appl_module.APPL_AST
-    except FileNotFoundError:
-        print(f"Error: File not found at {args.file}")
-        return
-    except Exception as e:
-        print(f"Error loading APPL module from file: {e}")
-        return
-
-    compiler = ApplToLfiIllCompiler()
-    lfi_ill_ast = compiler.compile(appl_ast_node.term)
-
-    print("--- COMPILED LFI ILL AST ---")
-    print(repr(lfi_ill_ast))
-
-    output_filename = args.file.replace(".py", ".lfi_ill")
-    with open(output_filename, 'w') as f:
-        f.write(repr(lfi_ill_ast))
-
-    print(f"\nSuccessfully compiled to {output_filename}")
-
-
-if __name__ == "__main__":
-    main()

type_checker.py → languages/appl/type_checker.py

@@ -1,4 +1,4 @@
-from appl_ast import (
+from .ast import (
     AST, App, Bool, Case, Cons, Fun, Inl, Inr, Int, Let, LetBang, LetPair, Nil,
     Pair, Promote, String, TAction, TBool, TExponential, TFun, TGoal, TInt,
     TList, TProd, TState, TString, TSum, TTerm, TUnit, Term, Type, Unit, Var

aura_lang/interpreter.py → languages/aura/interpreter.py

@@ -1,4 +1,4 @@
-from aura_lang import ast
+from . import ast
 import re
 import json
 
@@ -32,25 +32,6 @@ def set(self, name, val):
         self.store[name] = val
         return val
 
-# --- Agent Tooling Bridge ---
-
-# --- Agent Tooling Bridge ---
-
-def _placeholder_agent_call_tool(tool_name, *args):
-    """
-    Placeholder for calling the agent's real tools.
-    This will be replaced by a real implementation provided by the executor.
-    """
-    print(f"[Aura Interpreter]: Tool call to '{tool_name}' with args {args} is not yet implemented.")
-    if tool_name == "hdl_prover.prove_sequent":
-        # Return a mock value for now
-        return True
-    return None
-
-# This can be overwritten by the executor.
-# By default, it's a placeholder. The aura_executor.py script
-# will replace this with a real implementation.
-agent_call_tool = _placeholder_agent_call_tool
 
 # --- Interpreter ---
 
@@ -183,11 +164,6 @@ def apply_function(fn, args):
         # The arguments are already Aura Objects, so we can pass them directly.
         return fn.fn(*args)
 
-class Agent(Object):
-    def __init__(self):
-        self.value = self
-        self.call_tool = Builtin(agent_call_tool)
-
 def len_builtin(*args):
     if len(args) != 1:
         return None
@@ -199,6 +175,5 @@ def len_builtin(*args):
     return None
 
 BUILTINS = {
-    "agent": Agent(),
     "len": Builtin(len_builtin),
 }

aura_lang/parser.py → languages/aura/parser.py

@@ -1,5 +1,5 @@
-from aura_lang.lexer import Lexer, Token
-from aura_lang.ast import (
+from .lexer import Lexer, Token
+from .ast import (
     Program, Statement, Expression, LetStatement, ReturnStatement,
     ExpressionStatement, Identifier, IntegerLiteral, StringLiteral,
     InfixExpression, CallExpression, FunctionDefinition, BlockStatement,

tests/test.aura

@@ -0,0 +1,2 @@
+// tests/test.aura
+print("hello from aura");