ghc-compiler-python 9.4.8__py3-none-any.whl

ghc_compiler_python-9.4.8.dist-info/METADATA

@@ -0,0 +1,208 @@
+Metadata-Version: 2.4
+Name: ghc-compiler-python
+Version: 9.4.8
+Summary: Native GHC 9.4.8 compiler and Cabal 3.10.3.0 tooling packaged as an isolated Python Wheel
+Project-URL: Homepage, https://github.com/Saimonokuma/GHC-COMPILER-PYTHON
+Project-URL: Source, https://github.com/Saimonokuma/GHC-COMPILER-PYTHON
+Project-URL: Issues, https://github.com/Saimonokuma/GHC-COMPILER-PYTHON/issues
+Project-URL: Contributing, https://github.com/Saimonokuma/GHC-COMPILER-PYTHON/blob/main/CONTRIBUTING.md
+Project-URL: Documentation, https://github.com/Saimonokuma/GHC-COMPILER-PYTHON/blob/main/ARCHITECTURE.md
+Project-URL: Releases, https://github.com/Saimonokuma/GHC-COMPILER-PYTHON/releases
+Project-URL: Funding, https://ko-fi.com/saimonokuma
+Author: ghc-compiler-python contributors
+License: MIT
+License-File: LICENSE
+Keywords: cabal,compiler,ghc,haskell,toolchain
+Classifier: Development Status :: 5 - Production/Stable
+Classifier: Intended Audience :: Developers
+Classifier: License :: OSI Approved :: MIT License
+Classifier: Operating System :: MacOS :: MacOS X
+Classifier: Operating System :: Microsoft :: Windows
+Classifier: Operating System :: POSIX :: Linux
+Classifier: Programming Language :: Haskell
+Classifier: Programming Language :: Python :: 3
+Classifier: Programming Language :: Python :: 3 :: Only
+Classifier: Programming Language :: Python :: 3.10
+Classifier: Programming Language :: Python :: 3.11
+Classifier: Programming Language :: Python :: 3.12
+Classifier: Programming Language :: Python :: 3.13
+Classifier: Topic :: Software Development :: Build Tools
+Classifier: Topic :: Software Development :: Compilers
+Requires-Python: >=3.10
+Description-Content-Type: text/markdown
+
+<div align="center">
+
+# ⚡ GHC Compiler Python
+
+**The bridge between Haskell and Python**
+
+*The first pip-installable Glasgow Haskell Compiler — one command, three platforms, the full toolchain*
+
+[![Ko-fi](https://img.shields.io/badge/Support-Ko--fi-FF5E5B?style=for-the-badge&logo=ko-fi&logoColor=white)](https://ko-fi.com/saimonokuma)
+[![PyPI](https://img.shields.io/badge/PyPI-ghc--compiler--python-3775A9?style=for-the-badge&logo=pypi&logoColor=white)](https://pypi.org/project/ghc-compiler-python/)
+[![Nova-Violet Role](https://img.shields.io/badge/Nova--Violet-Role-9b59b6?style=for-the-badge)](https://github.com/Nova-Violet-Role)
+[![License](https://img.shields.io/badge/License-MIT-764ba2?style=for-the-badge)](LICENSE)
+
+[![GHC](https://img.shields.io/badge/GHC-9.4.8-5e5086?style=flat-square&logo=haskell&logoColor=white)](https://www.haskell.org/ghc/)
+[![Cabal](https://img.shields.io/badge/Cabal-3.10.3.0-5e5086?style=flat-square)](https://www.haskell.org/cabal/)
+[![Python](https://img.shields.io/badge/Python-3.10%2B-3776AB?style=flat-square&logo=python&logoColor=white)](https://www.python.org/)
+[![Proved in Lean 4](https://img.shields.io/badge/Proved%20in-Lean%204-2C3E50?style=flat-square)](lean/)
+
+</div>
+
+---
+
+## 📜 About
+
+A Haskell toolchain is normally installed by its own ecosystem installer, which writes to `~/.ghc`, `~/.cabal` and the system PATH. That is awkward inside a Python project, hostile inside CI, and impossible where the global state is not yours to change.
+
+**GHC Compiler Python** delivers GHC through the packaging mechanism Python already has. The compiler lives inside the environment, the wrappers sterilize the environment before every call, and removing the environment removes the toolchain.
+
+- ✅ `pip install ghc-compiler-python`
+- ✅ Windows · macOS · Linux
+- ✅ Full GHC 9.4.8 compiler
+- ✅ Complete Cabal 3.10.3.0 support
+- ✅ Any AI with Python execution can now compile Haskell
+
+---
+
+## 🚀 Installation
+
+```bash
+pip install ghc-compiler-python
+```
+
+The PyPI package is **~17 KiB**. It fetches the toolchain for your platform on first use and verifies it against a SHA-256 digest embedded in the wheel — a tampered or truncated download cannot install.
+
+### 📦 Offline / air-gapped
+
+Self-contained wheels with the toolchain already bundled live on the [releases page](https://github.com/Saimonokuma/GHC-COMPILER-PYTHON/releases). These never contact the network:
+
+```bash
+pip install ghc_compiler_python-9.4.8-py3-none-manylinux_2_38_x86_64.manylinux_2_39_x86_64.whl   # Linux
+pip install ghc_compiler_python-9.4.8-py3-none-macosx_11_0_arm64.whl       # macOS
+pip install ghc_compiler_python-9.4.8-py3-none-win_amd64.whl               # Windows
+```
+
+> The Linux offline wheel carries the tags `manylinux_2_38` **and** `manylinux_2_39`, so it installs on glibc 2.38 or newer. That floor is not chosen — auditwheel derives it by inspecting the versioned symbols the binaries actually reference. A tag lower than the binaries support would install on systems where the toolchain then fails at runtime, so the build states what is true rather than what would be convenient. On older distributions use the thin wheel; its payload is a plain tarball and carries no such constraint.
+
+### 🔧 Requirements
+
+| | |
+|:--|:--|
+| 🐍 **Python** | `>= 3.10` |
+| 🔗 **C-Linker** | `gcc` or `clang` on the host |
+| 🐧 Linux | `sudo apt-get install gcc` |
+| 🍎 macOS | `xcode-select --install` |
+| 🪟 Windows | MinGW-w64 or MSYS2 |
+
+### ⚙️ Configuration
+
+| Variable | Effect |
+|:--|:--|
+| `GHC_COMPILER_PYTHON_HOME` | Where the toolchain is cached. Defaults to the platform cache directory. |
+| `GHC_COMPILER_PYTHON_OFFLINE` | Set to `1` to refuse network access entirely. |
+
+---
+
+## 💻 Usage
+
+```bash
+# Compile a Haskell file
+ghc-wrapper Main.hs
+
+# Launch GHCi
+ghci-wrapper
+
+# Build a Cabal project
+cabal-wrapper build
+```
+
+Wrappers sterilize the environment on every call, so a global `~/.ghc/` or `GHC_PACKAGE_PATH` cannot leak into your build.
+
+Resolution is **hermetic**: a GHC already on your PATH is deliberately *ignored*, so you always get the pinned 9.4.8 rather than whatever the host happens to have.
+
+---
+
+## 🖥️ Supported Platforms
+
+| OS | Architecture | Toolchain |
+|:--|:--|:--|
+| 🐧 **Linux** | x86_64 | GHC 9.4.8 · Cabal 3.10.3.0 |
+| 🍎 **macOS** | ARM64 (Apple Silicon) | GHC 9.4.8 · Cabal 3.10.3.0 |
+| 🪟 **Windows** | x86_64 | GHC 9.4.8 · Cabal 3.10.3.0 |
+
+Every release is proven on all three: each platform installs the wheel, compiles a Haskell program, **runs** it, and asserts its output — and checks the reported compiler is the pinned 9.4.8 — before anything is published. Builds ≠ installs ≠ compiles ≠ delivered.
+
+---
+
+## 📐 What is proved, not merely tested
+
+Some properties must hold for *every* input, not for the inputs a test happens to supply. Those are proved in **Lean 4** — machine-checked, zero `sorry`, verified in CI.
+
+```lean
+theorem payloadKey_injective (p q : Platform) : payloadKey p = payloadKey q → p = q
+theorem no_partial_state (s : CacheState) (steps : List Step) : ...
+theorem no_escape_without_dotdot : ∀ member base, ¬ member.contains ".." → isWithin base member
+```
+
+**Injective** — no two platforms share a payload identity, so one platform can never run another's binaries. **Atomic** — under any interleaving, the cache is observable only as absent or complete, never half-installed. **Contained** — an archive member without `..` cannot escape the destination, for any base and any depth.
+
+---
+
+## 📊 What is in the payload
+
+Measured from the real 9.4.8 distribution — 9,870 entries, 2,017 MB extracted:
+
+| Component | Size | Share | Kept |
+|:--|--:|--:|:--|
+| Profiling libraries | 602 MB | 29.9% | ❌ |
+| Documentation / haddock | 580 MB | 28.7% | ❌ |
+| Static archives | 331 MB | 16.4% | ✅ |
+| Shared objects | 174 MB | 8.6% | ✅ |
+| Executables | 165 MB | 8.2% | ✅ |
+| Interface files (static) | 82 MB | 4.1% | ✅ |
+| Interface files (dynamic) | 82 MB | 4.1% | ✅ |
+| Other | 1 MB | 0.1% | ✅ |
+| **Total** | **2,017 MB** | **100.0%** | |
+
+Removing the first two: **2,017 → 863 MB** extracted, **164 → 91 MB** compressed. Linking is static by default, GHCi and TemplateHaskell load the shared objects, and imports cannot resolve without interface files — so those stay. Restore the rest with `GHC_KEEP_PROFILING=1` or `GHC_KEEP_DOCS=1`.
+
+---
+
+## 🤝 Contributing
+
+| Area | How you can help |
+|:--|:--|
+| 💻 **Code** | Platform support, packaging, wrapper robustness |
+| 🧪 **Testing** | Try it on your distribution and report what breaks |
+| 📐 **Proofs** | Extend the Lean 4 formalization |
+| 📖 **Documentation** | Improve guides and examples |
+| 💡 **Ideas** | Tell us what a pip-installable compiler should do next |
+
+See [ARCHITECTURE.md](ARCHITECTURE.md) for how delivery works and why.
+
+---
+
+## 📄 License
+
+MIT License. See [LICENSE](LICENSE) for details.
+
+---
+
+<div align="center">
+
+### ⚡ GHC Compiler Python
+
+*One command. Three platforms. The full Haskell toolchain.*
+
+[![Support Our Journey](https://img.shields.io/badge/🔗_Support_Our_Journey-Ko--fi-FF5E5B?style=for-the-badge)](https://ko-fi.com/saimonokuma)
+
+[PyPI](https://pypi.org/project/ghc-compiler-python/) · [Releases](https://github.com/Saimonokuma/GHC-COMPILER-PYTHON/releases) · [Issues](https://github.com/Saimonokuma/GHC-COMPILER-PYTHON/issues)
+
+© 2026 Nova-Violet Role · Non-Profit Organization
+
+*Created with ❤️ for the advancement of human understanding*
+
+</div>

ghc_compiler_python-9.4.8.dist-info/RECORD

@@ -0,0 +1,10 @@
+ghc_compiler_python/__init__.py,sha256=N4kbpSKof782d2NNXc5JGUwbpJD7GDB-PpMT0PJbNuk,306
+ghc_compiler_python/bootstrap.py,sha256=kISTQ9uEFDvTccL__a0q94_stYDUCCfqBkYA1be2ySU,14985
+ghc_compiler_python/payload_hashes.json,sha256=r-HmvRveNzX92xGq-3K8JGcnTFdGp8KIXkub5CmDg_A,344
+ghc_compiler_python/py.typed,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
+ghc_compiler_python/wrapper.py,sha256=golkrZaFxSl0iXzy-0blkaW-ic0f3Q6FPRCAPVZOw4A,27705
+ghc_compiler_python-9.4.8.dist-info/METADATA,sha256=B4Kbst9XS3NafvbWI1CarYQakEDjfCDyF5SQIbQfi40,9247
+ghc_compiler_python-9.4.8.dist-info/WHEEL,sha256=lCkmxWfQsSc9CfIClYeavTdQeEX2toPqufh9gI35EQA,87
+ghc_compiler_python-9.4.8.dist-info/entry_points.txt,sha256=9QtlqeGuoonFb4bB4F-gLlBbY0koqkTJ2PknLFrvsvo,610
+ghc_compiler_python-9.4.8.dist-info/licenses/LICENSE,sha256=OOef9xbIXwIBos0C1icJ5Z_i44n_VO33KjqyeBTa-tk,1068
+ghc_compiler_python-9.4.8.dist-info/RECORD,,

ghc_compiler_python-9.4.8.dist-info/WHEEL

@@ -0,0 +1,4 @@
+Wheel-Version: 1.0
+Generator: hatchling 1.31.0
+Root-Is-Purelib: true
+Tag: py3-none-any

ghc_compiler_python-9.4.8.dist-info/entry_points.txt

@@ -0,0 +1,11 @@
+[console_scripts]
+cabal-wrapper = ghc_compiler_python.wrapper:execute_cabal
+ghc-pkg-wrapper = ghc_compiler_python.wrapper:execute_ghc_pkg
+ghc-wrapper = ghc_compiler_python.wrapper:execute_ghc
+ghci-wrapper = ghc_compiler_python.wrapper:execute_ghci
+haddock-wrapper = ghc_compiler_python.wrapper:execute_haddock
+hp2ps-wrapper = ghc_compiler_python.wrapper:execute_hp2ps
+hpc-wrapper = ghc_compiler_python.wrapper:execute_hpc
+hsc2hs-wrapper = ghc_compiler_python.wrapper:execute_hsc2hs
+runghc-wrapper = ghc_compiler_python.wrapper:execute_runghc
+runhaskell-wrapper = ghc_compiler_python.wrapper:execute_runhaskell

ghc_compiler_python-9.4.8.dist-info/licenses/LICENSE

@@ -0,0 +1,21 @@
+MIT License
+
+Copyright (c) 2026 Saimonokuma
+
+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.