checkpoint

Author: CarterPerez-dev

PROJECTS/Aenebris/.gitignore

@@ -1,9 +1,24 @@
-.stack-work
+# Haskell build artifacts
+.stack-work/
+dist/
+dist-newstyle/
+cabal.project.local
+cabal.project.local~
+.HTF/
+.ghc.environment.*
+
+# Editor files
 *.swp
 *.swo
 *~
 .DS_Store
 
+# Test certificates (self-signed, regenerate with script)
+examples/certs/
+
+# Logs
+*.log
+
 # Private progress tracking
 PROGRESS.md
 decisions.md

PROJECTS/Aenebris/.style.yapf

@@ -0,0 +1,46 @@
+[style]
+based_on_style = pep8
+column_limit = 74
+indent_width = 4
+continuation_indent_width = 4
+indent_closing_brackets = false
+dedent_closing_brackets = true
+indent_blank_lines = false
+spaces_before_comment = 2
+spaces_around_power_operator = false
+spaces_around_default_or_named_assign = true
+space_between_ending_comma_and_closing_bracket = false
+space_inside_brackets = false
+spaces_around_subscript_colon = true
+blank_line_before_nested_class_or_def = false
+blank_line_before_class_docstring = false
+blank_lines_around_top_level_definition = 2
+blank_lines_between_top_level_imports_and_variables = 2
+blank_line_before_module_docstring = false
+split_before_logical_operator = true
+split_before_first_argument = true
+split_before_named_assigns = true
+split_complex_comprehension = true
+split_before_expression_after_opening_paren = false
+split_before_closing_bracket = true
+split_all_comma_separated_values = true
+split_all_top_level_comma_separated_values = false
+coalesce_brackets = false
+each_dict_entry_on_separate_line = true
+allow_multiline_lambdas = false
+allow_multiline_dictionary_keys = false
+split_penalty_import_names = 0
+join_multiple_lines = false
+align_closing_bracket_with_visual_indent = true
+arithmetic_precedence_indication = false
+split_penalty_for_added_line_split = 275
+use_tabs = false
+split_before_dot = false
+split_arguments_when_comma_terminated = true
+i18n_function_call = ['_', 'N_', 'gettext', 'ngettext']
+i18n_comment = ['# Translators:', '# i18n:']
+split_penalty_comprehension = 80
+split_penalty_after_opening_bracket = 280
+split_penalty_before_if_expr = 0
+split_penalty_bitwise_operator = 290
+split_penalty_logical_operator = 0

PROJECTS/Aenebris/Makefile

@@ -0,0 +1,63 @@
+# Ᾰenebris Makefile - Common development commands
+
+.PHONY: help build run logs stop restart clean test backend kill-all
+
+help:
+	@echo "Ᾰenebris Development Commands:"
+	@echo ""
+	@echo "  make build       - Build the project"
+	@echo "  make run         - Start Ᾰenebris proxy"
+	@echo "  make logs        - Watch logs in real-time"
+	@echo "  make stop        - Stop the proxy"
+	@echo "  make restart     - Restart the proxy"
+	@echo "  make clean       - Clean build artifacts"
+	@echo ""
+	@echo "  make backend     - Start test backend (port 8000)"
+	@echo "  make test        - Run tests (when implemented)"
+	@echo "  make kill-all    - Kill proxy + backend"
+	@echo ""
+
+build:
+	@echo "Building Ᾰenebris..."
+	@stack build
+
+run:
+	@echo "Starting Ᾰenebris on port 8081..."
+	@nohup stack run examples/config.yaml > aenebris.log 2>&1 &
+	@sleep 2
+	@echo "Proxy started! PID: $$(pgrep -f 'aenebris examples' | head -1)"
+	@echo "Run 'make logs' to watch output"
+
+logs:
+	@echo "Watching Ᾰenebris logs (Ctrl+C to exit)..."
+	@tail -f aenebris.log
+
+stop:
+	@echo "Stopping Ᾰenebris..."
+	@pkill -f 'aenebris examples' || echo "Proxy not running"
+
+restart: stop
+	@sleep 1
+	@make run
+
+clean:
+	@echo "Cleaning build artifacts..."
+	@stack clean
+	@rm -f aenebris.log nohup.out
+
+backend:
+	@echo "Starting test backend on port 8000..."
+	@python3 examples/test_backend.py > backend.log 2>&1 &
+	@sleep 1
+	@echo "Backend started! PID: $$(pgrep -f test_backend | head -1)"
+
+# Run tests (placeholder for now)
+test:
+	@echo "Running tests..."
+	@stack test
+
+kill-all:
+	@echo "Killing all processes..."
+	@pkill -f 'aenebris examples' || echo "Proxy not running"
+	@pkill -f test_backend || echo "Backend not running"
+	@echo "All processes stopped"

PROJECTS/Aenebris/aenebris.cabal

@@ -19,9 +19,16 @@ library
   hs-source-dirs:      src
   exposed-modules:     Aenebris.Proxy
                      , Aenebris.Config
+                     , Aenebris.Backend
+                     , Aenebris.LoadBalancer
+                     , Aenebris.HealthCheck
+                     , Aenebris.TLS
+                     , Aenebris.Middleware.Security
+                     , Aenebris.Middleware.Redirect
   default-language:    Haskell2010
   build-depends:       base >= 4.7 && < 5
                      , warp >= 3.3
+                     , warp-tls >= 3.4
                      , wai >= 3.2
                      , http-types >= 0.12
                      , http-conduit >= 2.3
@@ -30,6 +37,18 @@ library
                      , text >= 2.0
                      , yaml >= 0.11
                      , aeson >= 2.0
+                     , async >= 2.2
+                     , stm >= 2.5
+                     , time >= 1.9
+                     , containers >= 0.6
+                     , vector >= 0.12
+                     , tls >= 2.1
+                     , x509 >= 1.7
+                     , x509-store >= 1.6
+                     , x509-validation >= 1.6
+                     , case-insensitive >= 1.2
+                     , directory >= 1.3
+                     , data-default-class >= 0.1
   ghc-options:         -Wall
                        -Wcompat
                        -Widentities

PROJECTS/Aenebris/app/Main.hs

@@ -20,7 +20,6 @@ main = do
 
   putStrLn $ "Loading configuration from: " ++ configPath
 
-  -- Load configuration
   result <- loadConfig configPath
   case result of
     Left err -> do
@@ -29,18 +28,20 @@ main = do
       exitFailure
 
     Right config -> do
-      -- Validate configuration
       case validateConfig config of
         Left err -> do
           hPutStrLn stderr $ "ERROR: Invalid configuration"
           hPutStrLn stderr err
           exitFailure
 
         Right () -> do
-          putStrLn "✓ Configuration loaded and validated successfully"
+          putStrLn "Configuration loaded and validated successfully"
 
-          -- Create HTTP client manager
+          -- Create HTTP client manager with connection pooling
           manager <- newManager defaultManagerSettings
 
+          -- Initialize proxy state (load balancers + health checkers)
+          proxyState <- initProxyState config manager
+
           -- Start the proxy
-          startProxy config manager
+          startProxy proxyState