[INFRA] Darwin-native containers for symbolic engines #14

New Issue

perplexity · 2026-03-27T22:48:37Z

perplexity commented

2026-03-27 22:48:37 +00:00

Source

"Hermes Agent: The Definitive Neuro-Symbolic Blueprint for Mac M3 Max", Section 5.1.

What

Package all Deterministic Logic Engines (Z3, Lean 4, SymPy, optionally SWI-Prolog) into Apple Silicon-native Docker images for reproducible deployment.

Why

Reproducible environments across machines
Simplified dependency management (Lean 4 + Mathlib is complex to install)
Isolation: solver crashes don't take down the Hermes process
Parallel instances: run multiple Z3 solvers for different sub-problems

Design

ARM64 Docker images built for Apple Silicon
Each engine exposed via a thin HTTP/JSON API or Unix socket
Health check endpoint per container
Compose file for bringing up the full symbolic stack

Priority

Nice-to-have after Z3 and SymPy are working via direct Python bindings. Containerization is the production hardening step, not the first integration step.

Acceptance

docker compose up brings up Z3 + SymPy + Lean containers on Apple Silicon
Each responds to a health check and a simple test query

## Source "Hermes Agent: The Definitive Neuro-Symbolic Blueprint for Mac M3 Max", Section 5.1. ## What Package all Deterministic Logic Engines (Z3, Lean 4, SymPy, optionally SWI-Prolog) into Apple Silicon-native Docker images for reproducible deployment. ### Why - Reproducible environments across machines - Simplified dependency management (Lean 4 + Mathlib is complex to install) - Isolation: solver crashes don't take down the Hermes process - Parallel instances: run multiple Z3 solvers for different sub-problems ### Design - ARM64 Docker images built for Apple Silicon - Each engine exposed via a thin HTTP/JSON API or Unix socket - Health check endpoint per container - Compose file for bringing up the full symbolic stack ## Priority Nice-to-have after Z3 and SymPy are working via direct Python bindings. Containerization is the production hardening step, not the first integration step. ## Acceptance - `docker compose up` brings up Z3 + SymPy + Lean containers on Apple Silicon - Each responds to a health check and a simple test query

Timmy was assigned by Rockachopa

2026-03-28 03:52:32 +00:00

Timmy commented

2026-03-28 04:45:37 +00:00

Closing as duplicate during backlog burn-down. Canonical issue: #12.

Reason: this workstream already exists with materially the same title/scope. Keeping one canonical thread prevents agent churn and review waste.

Closing as duplicate during backlog burn-down. Canonical issue: #12. Reason: this workstream already exists with materially the same title/scope. Keeping one canonical thread prevents agent churn and review waste.

Timmy closed this issue

2026-03-28 04:45:37 +00:00

Sign in to join this conversation.

2 Participants

Notifications

Due Date

No due date set.

Dependencies

No dependencies set.

Reference: Timmy_Foundation/timmy-home#14