morphism-engine 3.1.0__tar.gz

morphism_engine-3.1.0/PKG-INFO

@@ -0,0 +1,261 @@
+Metadata-Version: 2.4
+Name: morphism-engine
+Version: 3.1.0
+Summary: A self-healing, formally verified Category Theory shell.
+License-Expression: MIT
+Keywords: category-theory,pipeline,z3,formal-verification,tui,ollama
+Classifier: Development Status :: 4 - Beta
+Classifier: Environment :: Console
+Classifier: Intended Audience :: Developers
+Classifier: Programming Language :: Python :: 3
+Classifier: Programming Language :: Python :: 3.11
+Classifier: Programming Language :: Python :: 3.12
+Classifier: Programming Language :: Python :: 3.13
+Classifier: Programming Language :: Python :: 3.14
+Classifier: Topic :: Software Development :: Libraries
+Requires-Python: >=3.11
+Description-Content-Type: text/markdown
+Requires-Dist: z3-solver>=4.12
+Requires-Dist: aiohttp>=3.9
+Requires-Dist: requests>=2.31
+Requires-Dist: textual>=0.50
+Provides-Extra: dev
+Requires-Dist: pytest>=7.4; extra == "dev"
+Requires-Dist: pytest-asyncio>=0.23; extra == "dev"
+Requires-Dist: textual[dev]>=0.50; extra == "dev"
+
+<p align="center">
+  <strong>Morphism Engine</strong><br>
+  <em>A self-healing, formally verified Category Theory shell.</em>
+</p>
+
+<p align="center">
+  <img src="https://img.shields.io/badge/tests-73%20passed-brightgreen" alt="Tests">
+  <img src="https://img.shields.io/badge/python-3.11%2B-blue" alt="Python 3.11+">
+  <img src="https://img.shields.io/badge/license-MIT-green" alt="MIT License">
+  <img src="https://img.shields.io/badge/prover-Z3%20SMT-purple" alt="Z3 SMT">
+  <img src="https://img.shields.io/badge/LLM-Ollama-orange" alt="Ollama">
+  <img src="https://img.shields.io/badge/TUI-Textual-cyan" alt="Textual">
+</p>
+
+---
+
+## The Problem
+
+POSIX pipes (`|`) are **untyped**. When you write:
+
+```bash
+cat users.json | tr ',' '\n' | wc -l
+```
+
+Nothing guarantees the output of `tr` is valid input for `wc -l` in any meaningful sense. One malformed byte and the entire pipeline fails silently — or worse, produces wrong results. There are no schemas, no contracts, and no safety nets.
+
+## The Solution
+
+**Morphism Engine** replaces "hope-based piping" with **mathematically guaranteed type safety**.
+
+Every node in a Morphism pipeline carries a **typed schema** (e.g., `Int_0_to_100`, `Float_Normalized`, `JSON_Object`). When two adjacent nodes disagree on types, the engine:
+
+1. **Detects** the mismatch at link-time.
+2. **Synthesises** a bridge functor using a local **Ollama** LLM.
+3. **Proves** the bridge is safe via the **Z3 SMT theorem prover** — if Z3 can't prove it, the bridge is rejected. No exceptions.
+4. **Caches** the proven functor in a zero-latency **SQLite store** so it's never re-synthesised.
+5. **Executes** the repaired pipeline end-to-end.
+
+The result: a shell where **every pipe connection is a formally verified morphism** in the category-theoretic sense.
+
+---
+
+## Features
+
+| Feature | Description |
+|---|---|
+| **Self-Healing Pipelines** | Schema mismatches are autonomously repaired by AI synthesis + Z3 proof. |
+| **Dynamic Schema Inference** | Native subprocesses (`echo`, `curl`, `python -c`) get their output schema inferred at runtime — JSON, CSV, or plaintext. |
+| **Zero-Latency Functor Cache** | SQLite WAL-mode cache with SHA-256 keying. A proven bridge is never synthesised twice. |
+| **DAG Branching (`\|+`)** | Fan-out a single node to multiple children with `emit_raw \|+ (render_float, to_sql)`. Parallel execution via `asyncio.gather`. |
+| **Reactive Textual TUI** | 3-column layout: searchable Tool Catalog, live DAG Topographer tree, node Inspector, and streaming Telemetry log. |
+| **Intelligent Autocomplete** | Pipe-aware command suggestions that reset after every `\|` token. |
+| **Non-Blocking Execution** | Pipeline runs inside a Textual `@work` worker — the UI never freezes, even during long Ollama calls. |
+
+---
+
+## Installation
+
+### 1. Clone & install
+
+```bash
+git clone https://github.com/your-org/morphism-engine.git
+cd morphism-engine
+pip install -e ".[dev]"
+```
+
+This installs three console commands:
+
+| Command | Interface |
+|---|---|
+| `morphism-engine` | Textual TUI (recommended) |
+| `morphism-tui` | Textual TUI (alias) |
+| `morphism` | Classic `cmd.Cmd` REPL |
+
+### 2. Pull the Ollama model
+
+The self-healing synthesiser requires a local LLM. Install [Ollama](https://ollama.com), then:
+
+```bash
+ollama pull qwen2.5-coder:1.5b
+```
+
+### 3. Verify
+
+```bash
+pytest tests/ -v
+```
+
+All **73 tests** should pass.
+
+---
+
+## Quick Start
+
+### Launch the TUI
+
+```bash
+morphism-engine
+```
+
+### Run a linear pipeline
+
+Type in the command bar:
+
+```
+emit_raw | render_float
+```
+
+`emit_raw` outputs an `Int_0_to_100` value. `render_float` expects `Float_Normalized`. The engine detects the mismatch, synthesises a bridge (`x / 100.0`), proves it with Z3, and executes the full chain.
+
+### Fan-out with DAG branching
+
+```
+emit_raw |+ (render_float, render_float)
+```
+
+The output of `emit_raw` fans out to two parallel `render_float` nodes, executed concurrently.
+
+### Run native subprocesses
+
+```
+echo {"name":"Ada"} | python -c "import sys,json; print(json.load(sys.stdin)['name'])"
+```
+
+Morphism infers `JSON_Object` for the first node and `Plaintext` for the second, auto-bridging as needed.
+
+---
+
+## Architecture
+
+```
+                        Morphism Engine — Under the Hood
+  ┌─────────────────────────────────────────────────────────────────────┐
+  │                                                                     │
+  │   User Input                                                        │
+  │       │                                                             │
+  │       ▼                                                             │
+  │   ┌─────────┐     ┌──────────────┐     ┌─────────────┐             │
+  │   │  Parse  │────▶│  Link Nodes  │────▶│  Schema     │             │
+  │   │  (| |+) │     │  (DAG build) │     │  Check      │             │
+  │   └─────────┘     └──────────────┘     └──────┬──────┘             │
+  │                                               │                     │
+  │                              ┌────────────────┼────────────────┐    │
+  │                              │  Match?        │  Mismatch?     │    │
+  │                              ▼                ▼                │    │
+  │                         ┌─────────┐    ┌─────────────┐        │    │
+  │                         │  Exec   │    │ Cache Check  │        │    │
+  │                         │  as-is  │    │ (SQLite)     │        │    │
+  │                         └─────────┘    └──────┬──────┘        │    │
+  │                                               │                │    │
+  │                                   ┌───────────┼──────────┐     │    │
+  │                                   │ HIT       │ MISS     │     │    │
+  │                                   ▼           ▼          │     │    │
+  │                             ┌──────────┐ ┌──────────┐    │     │    │
+  │                             │ Load     │ │ AI Synth │    │     │    │
+  │                             │ Cached   │ │ (Ollama) │    │     │    │
+  │                             │ Functor  │ └────┬─────┘    │     │    │
+  │                             └────┬─────┘      │          │     │    │
+  │                                  │            ▼          │     │    │
+  │                                  │      ┌──────────┐     │     │    │
+  │                                  │      │ Z3 Proof │     │     │    │
+  │                                  │      │ (SMT)    │     │     │    │
+  │                                  │      └────┬─────┘     │     │    │
+  │                                  │           │           │     │    │
+  │                                  │    ┌──────┴──────┐    │     │    │
+  │                                  │    │PASS?  FAIL? │    │     │    │
+  │                                  │    ▼       ▼     │    │     │    │
+  │                                  │  Cache   Retry/  │    │     │    │
+  │                                  │  Store   Reject  │    │     │    │
+  │                                  │    │             │    │     │    │
+  │                                  ▼    ▼             │    │     │    │
+  │                            ┌──────────────┐         │    │     │    │
+  │                            │  JIT Execute │         │    │     │    │
+  │                            │  (pipeline)  │         │    │     │    │
+  │                            └──────┬───────┘         │    │     │    │
+  │                                   │                 │    │     │    │
+  │                                   ▼                 │    │     │    │
+  │                              ┌──────────┐           │    │     │    │
+  │                              │  Output  │           │    │     │    │
+  │                              └──────────┘           │    │     │    │
+  │                                                     │    │     │    │
+  │                              ───────────────────────┘────┘─────┘    │
+  └─────────────────────────────────────────────────────────────────────┘
+```
+
+### Key modules
+
+| Module | Purpose |
+|---|---|
+| `morphism.core.pipeline` | Async DAG executor with `asyncio.gather` fan-out |
+| `morphism.core.node` | `FunctorNode` — DAG vertex with typed schemas |
+| `morphism.core.schemas` | `Schema` dataclass + built-in instances |
+| `morphism.core.cache` | `FunctorCache` — SQLite WAL + SHA-256 keying |
+| `morphism.core.native_node` | `NativeCommandNode` — OS subprocess wrapper |
+| `morphism.core.inference` | Runtime schema inference (JSON / CSV / Plaintext) |
+| `morphism.ai.synthesizer` | Ollama LLM client for bridge functor generation |
+| `morphism.math.z3_verifier` | Z3 SMT proof of generated functors |
+| `morphism.cli.tui` | Textual TUI (recommended interface) |
+| `morphism.cli.shell` | Classic `cmd.Cmd` REPL (fallback) |
+
+---
+
+## Testing
+
+```bash
+# Run the full suite
+pytest tests/ -v
+
+# Run only TUI tests
+pytest tests/test_phase11_tui.py -v
+
+# Run only cache + DAG tests
+pytest tests/test_phase9_10.py -v
+```
+
+**73 tests** across 8 test files covering schema verification, self-healing synthesis, native subprocess integration, SQLite cache lifecycle, DAG branching, and headless TUI pilot tests.
+
+---
+
+## Requirements
+
+| Dependency | Version | Purpose |
+|---|---|---|
+| Python | ≥ 3.11 | Runtime |
+| z3-solver | ≥ 4.12 | Formal verification of bridge functors |
+| aiohttp | ≥ 3.9 | Async HTTP client for Ollama |
+| requests | ≥ 2.31 | Sync HTTP fallback |
+| textual | ≥ 0.50 | Reactive terminal UI framework |
+| Ollama | latest | Local LLM inference server |
+
+---
+
+## License
+
+MIT

morphism_engine-3.1.0/README.md

@@ -0,0 +1,235 @@
+<p align="center">
+  <strong>Morphism Engine</strong><br>
+  <em>A self-healing, formally verified Category Theory shell.</em>
+</p>
+
+<p align="center">
+  <img src="https://img.shields.io/badge/tests-73%20passed-brightgreen" alt="Tests">
+  <img src="https://img.shields.io/badge/python-3.11%2B-blue" alt="Python 3.11+">
+  <img src="https://img.shields.io/badge/license-MIT-green" alt="MIT License">
+  <img src="https://img.shields.io/badge/prover-Z3%20SMT-purple" alt="Z3 SMT">
+  <img src="https://img.shields.io/badge/LLM-Ollama-orange" alt="Ollama">
+  <img src="https://img.shields.io/badge/TUI-Textual-cyan" alt="Textual">
+</p>
+
+---
+
+## The Problem
+
+POSIX pipes (`|`) are **untyped**. When you write:
+
+```bash
+cat users.json | tr ',' '\n' | wc -l
+```
+
+Nothing guarantees the output of `tr` is valid input for `wc -l` in any meaningful sense. One malformed byte and the entire pipeline fails silently — or worse, produces wrong results. There are no schemas, no contracts, and no safety nets.
+
+## The Solution
+
+**Morphism Engine** replaces "hope-based piping" with **mathematically guaranteed type safety**.
+
+Every node in a Morphism pipeline carries a **typed schema** (e.g., `Int_0_to_100`, `Float_Normalized`, `JSON_Object`). When two adjacent nodes disagree on types, the engine:
+
+1. **Detects** the mismatch at link-time.
+2. **Synthesises** a bridge functor using a local **Ollama** LLM.
+3. **Proves** the bridge is safe via the **Z3 SMT theorem prover** — if Z3 can't prove it, the bridge is rejected. No exceptions.
+4. **Caches** the proven functor in a zero-latency **SQLite store** so it's never re-synthesised.
+5. **Executes** the repaired pipeline end-to-end.
+
+The result: a shell where **every pipe connection is a formally verified morphism** in the category-theoretic sense.
+
+---
+
+## Features
+
+| Feature | Description |
+|---|---|
+| **Self-Healing Pipelines** | Schema mismatches are autonomously repaired by AI synthesis + Z3 proof. |
+| **Dynamic Schema Inference** | Native subprocesses (`echo`, `curl`, `python -c`) get their output schema inferred at runtime — JSON, CSV, or plaintext. |
+| **Zero-Latency Functor Cache** | SQLite WAL-mode cache with SHA-256 keying. A proven bridge is never synthesised twice. |
+| **DAG Branching (`\|+`)** | Fan-out a single node to multiple children with `emit_raw \|+ (render_float, to_sql)`. Parallel execution via `asyncio.gather`. |
+| **Reactive Textual TUI** | 3-column layout: searchable Tool Catalog, live DAG Topographer tree, node Inspector, and streaming Telemetry log. |
+| **Intelligent Autocomplete** | Pipe-aware command suggestions that reset after every `\|` token. |
+| **Non-Blocking Execution** | Pipeline runs inside a Textual `@work` worker — the UI never freezes, even during long Ollama calls. |
+
+---
+
+## Installation
+
+### 1. Clone & install
+
+```bash
+git clone https://github.com/your-org/morphism-engine.git
+cd morphism-engine
+pip install -e ".[dev]"
+```
+
+This installs three console commands:
+
+| Command | Interface |
+|---|---|
+| `morphism-engine` | Textual TUI (recommended) |
+| `morphism-tui` | Textual TUI (alias) |
+| `morphism` | Classic `cmd.Cmd` REPL |
+
+### 2. Pull the Ollama model
+
+The self-healing synthesiser requires a local LLM. Install [Ollama](https://ollama.com), then:
+
+```bash
+ollama pull qwen2.5-coder:1.5b
+```
+
+### 3. Verify
+
+```bash
+pytest tests/ -v
+```
+
+All **73 tests** should pass.
+
+---
+
+## Quick Start
+
+### Launch the TUI
+
+```bash
+morphism-engine
+```
+
+### Run a linear pipeline
+
+Type in the command bar:
+
+```
+emit_raw | render_float
+```
+
+`emit_raw` outputs an `Int_0_to_100` value. `render_float` expects `Float_Normalized`. The engine detects the mismatch, synthesises a bridge (`x / 100.0`), proves it with Z3, and executes the full chain.
+
+### Fan-out with DAG branching
+
+```
+emit_raw |+ (render_float, render_float)
+```
+
+The output of `emit_raw` fans out to two parallel `render_float` nodes, executed concurrently.
+
+### Run native subprocesses
+
+```
+echo {"name":"Ada"} | python -c "import sys,json; print(json.load(sys.stdin)['name'])"
+```
+
+Morphism infers `JSON_Object` for the first node and `Plaintext` for the second, auto-bridging as needed.
+
+---
+
+## Architecture
+
+```
+                        Morphism Engine — Under the Hood
+  ┌─────────────────────────────────────────────────────────────────────┐
+  │                                                                     │
+  │   User Input                                                        │
+  │       │                                                             │
+  │       ▼                                                             │
+  │   ┌─────────┐     ┌──────────────┐     ┌─────────────┐             │
+  │   │  Parse  │────▶│  Link Nodes  │────▶│  Schema     │             │
+  │   │  (| |+) │     │  (DAG build) │     │  Check      │             │
+  │   └─────────┘     └──────────────┘     └──────┬──────┘             │
+  │                                               │                     │
+  │                              ┌────────────────┼────────────────┐    │
+  │                              │  Match?        │  Mismatch?     │    │
+  │                              ▼                ▼                │    │
+  │                         ┌─────────┐    ┌─────────────┐        │    │
+  │                         │  Exec   │    │ Cache Check  │        │    │
+  │                         │  as-is  │    │ (SQLite)     │        │    │
+  │                         └─────────┘    └──────┬──────┘        │    │
+  │                                               │                │    │
+  │                                   ┌───────────┼──────────┐     │    │
+  │                                   │ HIT       │ MISS     │     │    │
+  │                                   ▼           ▼          │     │    │
+  │                             ┌──────────┐ ┌──────────┐    │     │    │
+  │                             │ Load     │ │ AI Synth │    │     │    │
+  │                             │ Cached   │ │ (Ollama) │    │     │    │
+  │                             │ Functor  │ └────┬─────┘    │     │    │
+  │                             └────┬─────┘      │          │     │    │
+  │                                  │            ▼          │     │    │
+  │                                  │      ┌──────────┐     │     │    │
+  │                                  │      │ Z3 Proof │     │     │    │
+  │                                  │      │ (SMT)    │     │     │    │
+  │                                  │      └────┬─────┘     │     │    │
+  │                                  │           │           │     │    │
+  │                                  │    ┌──────┴──────┐    │     │    │
+  │                                  │    │PASS?  FAIL? │    │     │    │
+  │                                  │    ▼       ▼     │    │     │    │
+  │                                  │  Cache   Retry/  │    │     │    │
+  │                                  │  Store   Reject  │    │     │    │
+  │                                  │    │             │    │     │    │
+  │                                  ▼    ▼             │    │     │    │
+  │                            ┌──────────────┐         │    │     │    │
+  │                            │  JIT Execute │         │    │     │    │
+  │                            │  (pipeline)  │         │    │     │    │
+  │                            └──────┬───────┘         │    │     │    │
+  │                                   │                 │    │     │    │
+  │                                   ▼                 │    │     │    │
+  │                              ┌──────────┐           │    │     │    │
+  │                              │  Output  │           │    │     │    │
+  │                              └──────────┘           │    │     │    │
+  │                                                     │    │     │    │
+  │                              ───────────────────────┘────┘─────┘    │
+  └─────────────────────────────────────────────────────────────────────┘
+```
+
+### Key modules
+
+| Module | Purpose |
+|---|---|
+| `morphism.core.pipeline` | Async DAG executor with `asyncio.gather` fan-out |
+| `morphism.core.node` | `FunctorNode` — DAG vertex with typed schemas |
+| `morphism.core.schemas` | `Schema` dataclass + built-in instances |
+| `morphism.core.cache` | `FunctorCache` — SQLite WAL + SHA-256 keying |
+| `morphism.core.native_node` | `NativeCommandNode` — OS subprocess wrapper |
+| `morphism.core.inference` | Runtime schema inference (JSON / CSV / Plaintext) |
+| `morphism.ai.synthesizer` | Ollama LLM client for bridge functor generation |
+| `morphism.math.z3_verifier` | Z3 SMT proof of generated functors |
+| `morphism.cli.tui` | Textual TUI (recommended interface) |
+| `morphism.cli.shell` | Classic `cmd.Cmd` REPL (fallback) |
+
+---
+
+## Testing
+
+```bash
+# Run the full suite
+pytest tests/ -v
+
+# Run only TUI tests
+pytest tests/test_phase11_tui.py -v
+
+# Run only cache + DAG tests
+pytest tests/test_phase9_10.py -v
+```
+
+**73 tests** across 8 test files covering schema verification, self-healing synthesis, native subprocess integration, SQLite cache lifecycle, DAG branching, and headless TUI pilot tests.
+
+---
+
+## Requirements
+
+| Dependency | Version | Purpose |
+|---|---|---|
+| Python | ≥ 3.11 | Runtime |
+| z3-solver | ≥ 4.12 | Formal verification of bridge functors |
+| aiohttp | ≥ 3.9 | Async HTTP client for Ollama |
+| requests | ≥ 2.31 | Sync HTTP fallback |
+| textual | ≥ 0.50 | Reactive terminal UI framework |
+| Ollama | latest | Local LLM inference server |
+
+---
+
+## License
+
+MIT

morphism_engine-3.1.0/pyproject.toml

@@ -0,0 +1,48 @@
+[build-system]
+requires = ["setuptools>=68.0", "wheel"]
+build-backend = "setuptools.build_meta"
+
+[project]
+name = "morphism-engine"
+version = "3.1.0"
+description = "A self-healing, formally verified Category Theory shell."
+requires-python = ">=3.11"
+license = "MIT"
+keywords = ["category-theory", "pipeline", "z3", "formal-verification", "tui", "ollama"]
+classifiers = [
+    "Development Status :: 4 - Beta",
+    "Environment :: Console",
+    "Intended Audience :: Developers",
+    "Programming Language :: Python :: 3",
+    "Programming Language :: Python :: 3.11",
+    "Programming Language :: Python :: 3.12",
+    "Programming Language :: Python :: 3.13",
+    "Programming Language :: Python :: 3.14",
+    "Topic :: Software Development :: Libraries",
+]
+readme = "README.md"
+dependencies = [
+    "z3-solver>=4.12",
+    "aiohttp>=3.9",
+    "requests>=2.31",
+    "textual>=0.50",
+]
+
+[project.optional-dependencies]
+dev = [
+    "pytest>=7.4",
+    "pytest-asyncio>=0.23",
+    "textual[dev]>=0.50",
+]
+
+[project.scripts]
+morphism = "morphism.cli.shell:main"
+morphism-tui = "morphism.cli.tui:main"
+morphism-engine = "morphism.cli.tui:main"
+
+[tool.setuptools.packages.find]
+where = ["src"]
+
+[tool.pytest.ini_options]
+asyncio_mode = "auto"
+testpaths = ["tests"]

morphism_engine-3.1.0/setup.cfg

@@ -0,0 +1,4 @@
+[egg_info]
+tag_build = 
+tag_date = 0
+

morphism_engine-3.1.0/src/morphism/__init__.py

@@ -0,0 +1,3 @@
+"""Morphism Engine – A self-healing, formally verified Category Theory shell."""
+
+__version__ = "3.1.0"