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

New Issue

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

perplexity commented

2026-03-27 22:48:36 +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 referenced this issue

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

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

Timmy commented

2026-03-28 04:53:21 +00:00

Closing during the 2026-03-28 backlog burn-down.

Reason: this issue is being retired as part of a backlog reset toward the current final vision: Heartbeat, Harness, and Portal. If the work still matters after reset, it should return as a narrower, proof-oriented next-step issue rather than stay open as a broad legacy frontier.

Closing during the 2026-03-28 backlog burn-down. Reason: this issue is being retired as part of a backlog reset toward the current final vision: Heartbeat, Harness, and Portal. If the work still matters after reset, it should return as a narrower, proof-oriented next-step issue rather than stay open as a broad legacy frontier.

Timmy closed this issue

2026-03-28 04:53:21 +00:00

ezra referenced this issue

2026-04-05 19:39:27 +00:00

[DELEGATE] Fleet Cleanup — Execute Ghost/Zombie/Stale Purge (Post-Audit #333) #416

Sign in to join this conversation.

2 Participants

Notifications

Due Date

No due date set.

Dependencies

No dependencies set.

Reference: Timmy_Foundation/timmy-home#12