erisml-compiler 0.4.0__tar.gz

erisml_compiler-0.4.0/LICENSE

@@ -0,0 +1,21 @@
+MIT License
+
+Copyright (c) 2026 Andrew H. Bond
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.

erisml_compiler-0.4.0/PKG-INFO

@@ -0,0 +1,265 @@
+Metadata-Version: 2.4
+Name: erisml-compiler
+Version: 0.4.0
+Summary: Structure-preserving compiler from natural language to ErisML
+Author-email: "Andrew H. Bond" <andrew.bond@sjsu.edu>
+License: MIT
+Keywords: ethics,ai-safety,geometric-ethics,moral-reasoning,compiler,nlp
+Classifier: Development Status :: 3 - Alpha
+Classifier: Intended Audience :: Science/Research
+Classifier: License :: OSI Approved :: MIT License
+Classifier: Programming Language :: Python :: 3.10
+Classifier: Programming Language :: Python :: 3.11
+Classifier: Programming Language :: Python :: 3.12
+Classifier: Topic :: Scientific/Engineering :: Artificial Intelligence
+Requires-Python: >=3.10
+Description-Content-Type: text/markdown
+License-File: LICENSE
+Requires-Dist: pydantic>=2.5
+Requires-Dist: click>=8.1
+Requires-Dist: pyyaml>=6.0
+Requires-Dist: structlog>=24.1
+Provides-Extra: llm
+Requires-Dist: openai>=1.30; extra == "llm"
+Requires-Dist: httpx>=0.27; extra == "llm"
+Provides-Extra: ml
+Requires-Dist: sentence-transformers>=2.7; extra == "ml"
+Requires-Dist: numpy>=1.24; extra == "ml"
+Provides-Extra: calibration
+Requires-Dist: torch>=2.1; extra == "calibration"
+Requires-Dist: sentence-transformers>=2.7; extra == "calibration"
+Requires-Dist: numpy>=1.24; extra == "calibration"
+Requires-Dist: tqdm>=4.66; extra == "calibration"
+Provides-Extra: monitor
+Requires-Dist: torch>=2.1; extra == "monitor"
+Requires-Dist: transformers>=4.40; extra == "monitor"
+Requires-Dist: numpy>=1.24; extra == "monitor"
+Requires-Dist: paramiko>=3.4; extra == "monitor"
+Provides-Extra: test
+Requires-Dist: pytest>=8.0; extra == "test"
+Requires-Dist: pytest-cov>=5.0; extra == "test"
+Provides-Extra: dev
+Requires-Dist: black>=24.0; extra == "dev"
+Requires-Dist: ruff>=0.5; extra == "dev"
+Requires-Dist: mypy>=1.10; extra == "dev"
+Provides-Extra: notebook
+Requires-Dist: jupyter>=1.0; extra == "notebook"
+Requires-Dist: matplotlib>=3.8; extra == "notebook"
+Dynamic: license-file
+
+# ErisML Compiler
+
+[![CI](https://github.com/ahb-sjsu/erisml-compiler/actions/workflows/ci.yml/badge.svg)](https://github.com/ahb-sjsu/erisml-compiler/actions/workflows/ci.yml)
+[![License: MIT](https://img.shields.io/badge/License-MIT-yellow.svg)](https://opensource.org/licenses/MIT)
+[![Python](https://img.shields.io/badge/python-3.10%2B-blue.svg)](https://www.python.org/downloads/)
+[![Pydantic v2](https://img.shields.io/badge/pydantic-v2-green.svg)](https://docs.pydantic.dev/)
+[![Schema](https://img.shields.io/badge/IR%20schema-erisml__compiler__ir__v0.1-orange.svg)](SCOPE.md)
+[![Tests](https://img.shields.io/badge/tests-142%20passing-brightgreen.svg)](#status)
+[![Status: Alpha](https://img.shields.io/badge/status-alpha-red.svg)](SCOPE.md)
+[![PyPI](https://img.shields.io/pypi/v/erisml-compiler.svg)](https://pypi.org/project/erisml-compiler/)
+
+A structure-preserving compiler from natural-language moral material into a
+canonical **ErisML Intermediate Representation** (IR) that can be evaluated by
+DEME, exported for RLEF training, audited as a structured trace, and
+introspected by the I-EIP Monitor's three lenses.
+
+The compiler operationalises the thesis that **moral reasoning requires
+structure-preserving representation before decision contraction**. A scalar
+"good / bad / safe / unsafe" label discards the dimensions that justify or
+defeat a candidate action: who the stakeholders are, what commitments bind
+them, which authorities are legitimate, who bears imposed risk. The compiler
+preserves this tensorial structure as a first-class object, then closes the
+loop by inspecting whether the text output and the model's internal state
+actually agree about it.
+
+See `ErisML-Compiler.md` for the full design spec (31 sections) and `SCOPE.md`
+for what each phase actually delivers versus what is deferred. Current `main`
+covers Phases 1–4 (IR + DEME + calibration + silicon emitters + I-EIP
+Monitor); the production web app and silicon hardware verification are
+deferred.
+
+## Quick start
+
+```bash
+# Install from PyPI
+pip install erisml-compiler                        # core
+pip install 'erisml-compiler[llm,calibration,monitor]'  # full stack
+
+# Or, install from source (editable; choose extras as needed)
+pip install -e ".[test,calibration,monitor,notebook]"
+
+# Compile one of the bundled examples (text lens)
+eris-compile compile examples/nazi_attic.txt --out out/nazi_attic.ir.json
+
+# Validate the IR
+eris-compile validate out/nazi_attic.ir.json
+
+# Export as an RLEF training record
+eris-compile rlef out/nazi_attic.ir.json --out out/nazi_attic.rlef.json
+
+# Run the activation lens (mock source for offline use)
+eris-compile monitor "Soldiers at the door asking about hidden refugees." \
+    --source mock --hidden-dim 64 --n-layers 8 \
+    --out out/nazi_attic.trace.json
+
+# Compare the two lenses — fires requires_human_review when they disagree
+eris-compile delta out/nazi_attic.ir.json out/nazi_attic.trace.json \
+    --out out/nazi_attic.delta.json
+
+# Emit synthesizable Vitis HLS C++ for the silicon target
+eris-compile silicon-emit --out-dir out/silicon
+
+# Run the full test suite (142 tests, ~30s without LaBSE download)
+pytest
+
+# Quickstart notebook
+jupyter notebook notebooks/quickstart.ipynb
+```
+
+## Architecture
+
+The compiler implements the 12-pass pipeline from spec §12 with a tiered
+extractor stack, a silicon-castable evaluation kernel, and the I-EIP Monitor
+on top.
+
+```
+text  ──► ingest ──► segment ──► extract ──► canonicalize ──► tensorize
+                          │            │
+                          │            └── Mock | Rule | LLM (NRP / local vLLM)
+                          │                + Critic + ProbeExtractor
+                          │
+                          └──► EM-DAG (10 modules) ──► FSMs ──► DEME ──► audit
+                                                    │
+                                                    └──► silicon emit (Vitis HLS)
+
+                          (out-of-band, sampled audit)
+                          model ──► hooks ──► IEIPMonitor ──► Delta lens
+                                                                │
+                                                                └─► requires_human_review
+                                                                    + failure-mode report
+```
+
+Three extractor tiers cover the latency / faithfulness frontier:
+
+- **Mock / Rule** — deterministic, real-time, silicon-castable.
+- **LLM** — NRP OpenAI-compatible (`gpt-oss`, `qwen3`, etc.) or local vLLM,
+  with a critic pass that flags off-canon outputs for `requires_human_review`.
+- **Probe** — calibrated LaBSE-backed classifier head using
+  sqnd-probe v10.16.9 methods: spectral decoupling, VIB, multi-head GRL
+  adversarial, confusion loss.
+
+Three lenses cover the alignment frontier:
+
+- **Text lens** (Phases 1–3) — what the model *says*.
+- **Activation lens** (Phase 4) — what the model *internally exhibits*
+  at chosen transformer layers (forward hooks on Qwen2.5-7B-Instruct,
+  LLaMA, Mistral, GPT-2, or BERT-family models).
+- **Delta lens** (Phase 4) — where they disagree, structured by moral
+  dimension, with five named failure modes
+  (`text_internal_mismatch`, `layerwise_drift`, `group_symmetry_break`,
+  `probe_uncertainty_spike`, `audit_chain_break`). Any firing sets
+  `requires_human_review`; the Monitor never overrules DEME.
+
+See `docs/i_eip_monitor.md` for the threat model, trust-boundary
+diagram, and the precise semantics of each failure mode.
+
+### Layered architecture
+
+| Layer | Purpose |
+|---|---|
+| `ingestion/` | Load text from files or strings, attach metadata |
+| `segmentation/` | Split text into morally-coherent segments |
+| `annotation/` | Mock / Rule / LLM / Probe extractors + critic |
+| `canonicalizer/` | Registry (Jaccard) + LaBSE cosine canonical-form snap |
+| `ontology/` | YAML registries: dimensions, roles, commitments, canonical forms |
+| `ir/` | Pydantic v2 IR schemas and validators |
+| `em_dag/` | 10 ethical modules + topological DAG evaluator |
+| `fsm/` | Commitment / Legitimacy / Consent finite-state machines |
+| `evaluation/` | MoralVector / MoralTensor construction; conflict detection |
+| `calibration/` | Probe training: losses, adversarial heads, VIB, bond index |
+| `correction/` | IR diff + apply-corrections (RLEF feedback loop) |
+| `erisml_backend/` | ErisML codegen and DEME bridge |
+| `silicon/` | Fixed-point conversion + Vitis HLS C++ emitters (FSM + DAG) |
+| `audit/` | SHA-256 hash chain and per-pass provenance |
+| `export/` | JSON, ErisML source, RLEF training records |
+| `viz/` | HTML report + timeline plot |
+| `streaming/` | Real-time captioner of pipeline events |
+| `monitor/` | I-EIP Monitor activation lens: ActivationSource + ActivationProbe + IEIPMonitor |
+| `delta/` | Delta lens: compare_morals, BIP equivariance check, 5-mode failure detector |
+| `cli.py` | 12 subcommands: `bundle calibrate compile correct delta diff monitor report rlef silicon-emit validate version` |
+
+### What is NOT yet in `main`
+
+See `SCOPE.md` for the full list. Headline in-flight items:
+
+- **Production web app** (deferred from the Phase 4 redirect to the I-EIP Monitor)
+- **NRP runtime deployment** (orchestrator + pod templates)
+- **Silicon hardware verification** on the Xilinx U55C target — Vitis HLS C++
+  is emitted and builds; on-FPGA bring-up is gated by the NRP Coder bitstream
+  pipeline (see `project_epu_phase3_hw_blocked` in the user's notes).
+
+## Project layout
+
+```
+erisml-compiler/
+  ErisML-Compiler.docx        # Original design spec (31 sections)
+  ErisML-Compiler.md          # Same, converted to Markdown
+  SCOPE.md                    # What is built / stubbed / deferred
+  README.md                   # This file
+  LICENSE                     # MIT
+  pyproject.toml              # Extras: [llm] [calibration] [monitor] [test] [dev] [notebook]
+  src/erisml_compiler/
+    cli.py
+    ingestion/  segmentation/  annotation/  ontology/  ir/  evaluation/
+    em_dag/     fsm/           canonicalizer/          correction/
+    calibration/  monitor/  delta/  silicon/  erisml_backend/
+    audit/        export/   viz/    streaming/
+  examples/
+    nazi_attic.txt
+    medical_confidentiality.txt
+    whistleblower.txt
+  tests/                      # 142 tests
+  notebooks/quickstart.ipynb
+  docs/
+    architecture.md
+    silicon_target.md
+    nrp_coder_deployment.md
+    i_eip_monitor.md          # I-EIP Monitor threat model & trust boundaries
+  scripts/atlas/
+    probe_models.py           # Recon: enumerate HF + GGUF models on Atlas
+```
+
+## Status
+
+**Phases 1–4 on `main`** — alpha. **142 tests passing** across IR, EM-DAG,
+FSMs, canonicalizer, critic, correction, calibration, export, silicon emit,
+activation lens, delta lens, equivariance, and the failure-mode detectors.
+CI green on Ubuntu × Python 3.10/3.11/3.12.
+
+End-to-end verified:
+
+- NRP LLM integration on the bundled `nazi_attic` example (the LLM picks the
+  wrong canonical form, the canonicalizer corrects it, the critic pass
+  triggers `requires_human_review`).
+- I-EIP Monitor on the same example: divergence 0.70, 6 direction breaks,
+  two failure modes fire, `requires_human_review=True`.
+- Vitis HLS C++ emit for FSMs + EM-DAG (NRP Coder bitstream blocked
+  separately — see SCOPE.md).
+
+## Citing
+
+If you use this work academically, please cite the design spec:
+
+```bibtex
+@misc{bond2026erisml,
+  author = {Bond, Andrew H.},
+  title  = {ErisML Compiler: Structure-Preserving Compilation from
+            Natural Language to a Moral Intermediate Representation},
+  year   = {2026},
+  url    = {https://github.com/ahb-sjsu/erisml-compiler}
+}
+```
+
+## License
+
+MIT. See `LICENSE`.

erisml_compiler-0.4.0/README.md

@@ -0,0 +1,216 @@
+# ErisML Compiler
+
+[![CI](https://github.com/ahb-sjsu/erisml-compiler/actions/workflows/ci.yml/badge.svg)](https://github.com/ahb-sjsu/erisml-compiler/actions/workflows/ci.yml)
+[![License: MIT](https://img.shields.io/badge/License-MIT-yellow.svg)](https://opensource.org/licenses/MIT)
+[![Python](https://img.shields.io/badge/python-3.10%2B-blue.svg)](https://www.python.org/downloads/)
+[![Pydantic v2](https://img.shields.io/badge/pydantic-v2-green.svg)](https://docs.pydantic.dev/)
+[![Schema](https://img.shields.io/badge/IR%20schema-erisml__compiler__ir__v0.1-orange.svg)](SCOPE.md)
+[![Tests](https://img.shields.io/badge/tests-142%20passing-brightgreen.svg)](#status)
+[![Status: Alpha](https://img.shields.io/badge/status-alpha-red.svg)](SCOPE.md)
+[![PyPI](https://img.shields.io/pypi/v/erisml-compiler.svg)](https://pypi.org/project/erisml-compiler/)
+
+A structure-preserving compiler from natural-language moral material into a
+canonical **ErisML Intermediate Representation** (IR) that can be evaluated by
+DEME, exported for RLEF training, audited as a structured trace, and
+introspected by the I-EIP Monitor's three lenses.
+
+The compiler operationalises the thesis that **moral reasoning requires
+structure-preserving representation before decision contraction**. A scalar
+"good / bad / safe / unsafe" label discards the dimensions that justify or
+defeat a candidate action: who the stakeholders are, what commitments bind
+them, which authorities are legitimate, who bears imposed risk. The compiler
+preserves this tensorial structure as a first-class object, then closes the
+loop by inspecting whether the text output and the model's internal state
+actually agree about it.
+
+See `ErisML-Compiler.md` for the full design spec (31 sections) and `SCOPE.md`
+for what each phase actually delivers versus what is deferred. Current `main`
+covers Phases 1–4 (IR + DEME + calibration + silicon emitters + I-EIP
+Monitor); the production web app and silicon hardware verification are
+deferred.
+
+## Quick start
+
+```bash
+# Install from PyPI
+pip install erisml-compiler                        # core
+pip install 'erisml-compiler[llm,calibration,monitor]'  # full stack
+
+# Or, install from source (editable; choose extras as needed)
+pip install -e ".[test,calibration,monitor,notebook]"
+
+# Compile one of the bundled examples (text lens)
+eris-compile compile examples/nazi_attic.txt --out out/nazi_attic.ir.json
+
+# Validate the IR
+eris-compile validate out/nazi_attic.ir.json
+
+# Export as an RLEF training record
+eris-compile rlef out/nazi_attic.ir.json --out out/nazi_attic.rlef.json
+
+# Run the activation lens (mock source for offline use)
+eris-compile monitor "Soldiers at the door asking about hidden refugees." \
+    --source mock --hidden-dim 64 --n-layers 8 \
+    --out out/nazi_attic.trace.json
+
+# Compare the two lenses — fires requires_human_review when they disagree
+eris-compile delta out/nazi_attic.ir.json out/nazi_attic.trace.json \
+    --out out/nazi_attic.delta.json
+
+# Emit synthesizable Vitis HLS C++ for the silicon target
+eris-compile silicon-emit --out-dir out/silicon
+
+# Run the full test suite (142 tests, ~30s without LaBSE download)
+pytest
+
+# Quickstart notebook
+jupyter notebook notebooks/quickstart.ipynb
+```
+
+## Architecture
+
+The compiler implements the 12-pass pipeline from spec §12 with a tiered
+extractor stack, a silicon-castable evaluation kernel, and the I-EIP Monitor
+on top.
+
+```
+text  ──► ingest ──► segment ──► extract ──► canonicalize ──► tensorize
+                          │            │
+                          │            └── Mock | Rule | LLM (NRP / local vLLM)
+                          │                + Critic + ProbeExtractor
+                          │
+                          └──► EM-DAG (10 modules) ──► FSMs ──► DEME ──► audit
+                                                    │
+                                                    └──► silicon emit (Vitis HLS)
+
+                          (out-of-band, sampled audit)
+                          model ──► hooks ──► IEIPMonitor ──► Delta lens
+                                                                │
+                                                                └─► requires_human_review
+                                                                    + failure-mode report
+```
+
+Three extractor tiers cover the latency / faithfulness frontier:
+
+- **Mock / Rule** — deterministic, real-time, silicon-castable.
+- **LLM** — NRP OpenAI-compatible (`gpt-oss`, `qwen3`, etc.) or local vLLM,
+  with a critic pass that flags off-canon outputs for `requires_human_review`.
+- **Probe** — calibrated LaBSE-backed classifier head using
+  sqnd-probe v10.16.9 methods: spectral decoupling, VIB, multi-head GRL
+  adversarial, confusion loss.
+
+Three lenses cover the alignment frontier:
+
+- **Text lens** (Phases 1–3) — what the model *says*.
+- **Activation lens** (Phase 4) — what the model *internally exhibits*
+  at chosen transformer layers (forward hooks on Qwen2.5-7B-Instruct,
+  LLaMA, Mistral, GPT-2, or BERT-family models).
+- **Delta lens** (Phase 4) — where they disagree, structured by moral
+  dimension, with five named failure modes
+  (`text_internal_mismatch`, `layerwise_drift`, `group_symmetry_break`,
+  `probe_uncertainty_spike`, `audit_chain_break`). Any firing sets
+  `requires_human_review`; the Monitor never overrules DEME.
+
+See `docs/i_eip_monitor.md` for the threat model, trust-boundary
+diagram, and the precise semantics of each failure mode.
+
+### Layered architecture
+
+| Layer | Purpose |
+|---|---|
+| `ingestion/` | Load text from files or strings, attach metadata |
+| `segmentation/` | Split text into morally-coherent segments |
+| `annotation/` | Mock / Rule / LLM / Probe extractors + critic |
+| `canonicalizer/` | Registry (Jaccard) + LaBSE cosine canonical-form snap |
+| `ontology/` | YAML registries: dimensions, roles, commitments, canonical forms |
+| `ir/` | Pydantic v2 IR schemas and validators |
+| `em_dag/` | 10 ethical modules + topological DAG evaluator |
+| `fsm/` | Commitment / Legitimacy / Consent finite-state machines |
+| `evaluation/` | MoralVector / MoralTensor construction; conflict detection |
+| `calibration/` | Probe training: losses, adversarial heads, VIB, bond index |
+| `correction/` | IR diff + apply-corrections (RLEF feedback loop) |
+| `erisml_backend/` | ErisML codegen and DEME bridge |
+| `silicon/` | Fixed-point conversion + Vitis HLS C++ emitters (FSM + DAG) |
+| `audit/` | SHA-256 hash chain and per-pass provenance |
+| `export/` | JSON, ErisML source, RLEF training records |
+| `viz/` | HTML report + timeline plot |
+| `streaming/` | Real-time captioner of pipeline events |
+| `monitor/` | I-EIP Monitor activation lens: ActivationSource + ActivationProbe + IEIPMonitor |
+| `delta/` | Delta lens: compare_morals, BIP equivariance check, 5-mode failure detector |
+| `cli.py` | 12 subcommands: `bundle calibrate compile correct delta diff monitor report rlef silicon-emit validate version` |
+
+### What is NOT yet in `main`
+
+See `SCOPE.md` for the full list. Headline in-flight items:
+
+- **Production web app** (deferred from the Phase 4 redirect to the I-EIP Monitor)
+- **NRP runtime deployment** (orchestrator + pod templates)
+- **Silicon hardware verification** on the Xilinx U55C target — Vitis HLS C++
+  is emitted and builds; on-FPGA bring-up is gated by the NRP Coder bitstream
+  pipeline (see `project_epu_phase3_hw_blocked` in the user's notes).
+
+## Project layout
+
+```
+erisml-compiler/
+  ErisML-Compiler.docx        # Original design spec (31 sections)
+  ErisML-Compiler.md          # Same, converted to Markdown
+  SCOPE.md                    # What is built / stubbed / deferred
+  README.md                   # This file
+  LICENSE                     # MIT
+  pyproject.toml              # Extras: [llm] [calibration] [monitor] [test] [dev] [notebook]
+  src/erisml_compiler/
+    cli.py
+    ingestion/  segmentation/  annotation/  ontology/  ir/  evaluation/
+    em_dag/     fsm/           canonicalizer/          correction/
+    calibration/  monitor/  delta/  silicon/  erisml_backend/
+    audit/        export/   viz/    streaming/
+  examples/
+    nazi_attic.txt
+    medical_confidentiality.txt
+    whistleblower.txt
+  tests/                      # 142 tests
+  notebooks/quickstart.ipynb
+  docs/
+    architecture.md
+    silicon_target.md
+    nrp_coder_deployment.md
+    i_eip_monitor.md          # I-EIP Monitor threat model & trust boundaries
+  scripts/atlas/
+    probe_models.py           # Recon: enumerate HF + GGUF models on Atlas
+```
+
+## Status
+
+**Phases 1–4 on `main`** — alpha. **142 tests passing** across IR, EM-DAG,
+FSMs, canonicalizer, critic, correction, calibration, export, silicon emit,
+activation lens, delta lens, equivariance, and the failure-mode detectors.
+CI green on Ubuntu × Python 3.10/3.11/3.12.
+
+End-to-end verified:
+
+- NRP LLM integration on the bundled `nazi_attic` example (the LLM picks the
+  wrong canonical form, the canonicalizer corrects it, the critic pass
+  triggers `requires_human_review`).
+- I-EIP Monitor on the same example: divergence 0.70, 6 direction breaks,
+  two failure modes fire, `requires_human_review=True`.
+- Vitis HLS C++ emit for FSMs + EM-DAG (NRP Coder bitstream blocked
+  separately — see SCOPE.md).
+
+## Citing
+
+If you use this work academically, please cite the design spec:
+
+```bibtex
+@misc{bond2026erisml,
+  author = {Bond, Andrew H.},
+  title  = {ErisML Compiler: Structure-Preserving Compilation from
+            Natural Language to a Moral Intermediate Representation},
+  year   = {2026},
+  url    = {https://github.com/ahb-sjsu/erisml-compiler}
+}
+```
+
+## License
+
+MIT. See `LICENSE`.

erisml_compiler-0.4.0/pyproject.toml

@@ -0,0 +1,84 @@
+[build-system]
+requires = ["setuptools>=68", "wheel"]
+build-backend = "setuptools.build_meta"
+
+[project]
+name = "erisml-compiler"
+version = "0.4.0"
+description = "Structure-preserving compiler from natural language to ErisML"
+readme = "README.md"
+requires-python = ">=3.10"
+license = { text = "MIT" }
+authors = [{ name = "Andrew H. Bond", email = "andrew.bond@sjsu.edu" }]
+keywords = ["ethics", "ai-safety", "geometric-ethics", "moral-reasoning", "compiler", "nlp"]
+classifiers = [
+    "Development Status :: 3 - Alpha",
+    "Intended Audience :: Science/Research",
+    "License :: OSI Approved :: MIT License",
+    "Programming Language :: Python :: 3.10",
+    "Programming Language :: Python :: 3.11",
+    "Programming Language :: Python :: 3.12",
+    "Topic :: Scientific/Engineering :: Artificial Intelligence",
+]
+dependencies = [
+    "pydantic>=2.5",
+    "click>=8.1",
+    "pyyaml>=6.0",
+    "structlog>=24.1",
+]
+
+[project.optional-dependencies]
+llm = [
+    "openai>=1.30",
+    "httpx>=0.27",
+]
+ml = [
+    "sentence-transformers>=2.7",
+    "numpy>=1.24",
+]
+calibration = [
+    "torch>=2.1",
+    "sentence-transformers>=2.7",
+    "numpy>=1.24",
+    "tqdm>=4.66",
+]
+monitor = [
+    "torch>=2.1",
+    "transformers>=4.40",
+    "numpy>=1.24",
+    "paramiko>=3.4",
+]
+test = [
+    "pytest>=8.0",
+    "pytest-cov>=5.0",
+]
+dev = [
+    "black>=24.0",
+    "ruff>=0.5",
+    "mypy>=1.10",
+]
+notebook = [
+    "jupyter>=1.0",
+    "matplotlib>=3.8",
+]
+
+[project.scripts]
+eris-compile = "erisml_compiler.cli:cli"
+
+[tool.setuptools.packages.find]
+where = ["src"]
+
+[tool.setuptools.package-data]
+erisml_compiler = ["ontology/*.yaml", "annotation/prompts/*.txt"]
+
+[tool.pytest.ini_options]
+testpaths = ["tests"]
+addopts = "-ra --strict-markers"
+
+[tool.ruff]
+line-length = 100
+target-version = "py310"
+
+[tool.black]
+line-length = 100
+target-version = ["py310"]

erisml_compiler-0.4.0/setup.cfg

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

erisml_compiler-0.4.0/src/erisml_compiler/__init__.py

@@ -0,0 +1,8 @@
+"""ErisML Compiler — Structure-preserving compiler from natural language to ErisML.
+
+Phase 3 (v0.3.0). See SCOPE.md at the repo root for what is built, stubbed, and deferred.
+"""
+from __future__ import annotations
+
+__version__ = "0.4.0"
+__schema_version__ = "erisml_compiler_ir_v0.1"

erisml_compiler-0.4.0/src/erisml_compiler/annotation/__init__.py

@@ -0,0 +1,32 @@
+"""Annotation: extract stakeholders, commitments, events, ethical facts."""
+from erisml_compiler.annotation.base import (
+    Extractor,
+    ExtractorResult,
+    UnknownDocumentError,
+)
+from erisml_compiler.annotation.critic import CriticExtractor, CriticReport, critic_pass
+from erisml_compiler.annotation.llm_extractor import (
+    LLMExtractor,
+    LocalVLLMAdapter,
+    MockLLMAdapter,
+    ModelAdapter,
+    NRPOpenAIAdapter,
+)
+from erisml_compiler.annotation.mock_extractor import MockExtractor
+from erisml_compiler.annotation.rule_extractor import RuleExtractor
+
+__all__ = [
+    "CriticExtractor",
+    "CriticReport",
+    "Extractor",
+    "ExtractorResult",
+    "LLMExtractor",
+    "LocalVLLMAdapter",
+    "MockExtractor",
+    "MockLLMAdapter",
+    "ModelAdapter",
+    "NRPOpenAIAdapter",
+    "RuleExtractor",
+    "UnknownDocumentError",
+    "critic_pass",
+]