SlimeNENC ファミリー · 構造的トランスレーション · Phase 1–4 PoC

SlimePython — Hybrid Bit-Exact Isolate Model

レガシーの COBOL / JCL / MUMPS / PL/I / RPG を Java・Rust へ変換してきた同じ構造的トランスレーション・エンジンが、モダン言語にも対応します。Python ソースが Rust ソースになり、同じ入力に対して両者が SHA-256 完全一致の出力を生成します。「ほぼ等価」ではありません。1 ビットまで一致です。

LANGUAGE · SlimeNENC

レガシーだけにあらず。モダン言語も。

Python の「意味を理解して」書き直すのではありません。意味は人間の感覚に依存し、そこに数学的厳密性はない。ソースは構造です。SlimePython はその構造を Slot IR へ射影 (π) し、構造を保存したまま Rust へ転写します。確率的なコード生成も、経路上の LLM もなし — 決定論的・bit-exact・第三者再現可能。

レガシー版: SlimeCOBOL → PoC を依頼 →

🎛 AI GATE このページの解説を、あなたの解像度で。

Python を手で Rust に書き直すと挙動がズレますが、出力が SHA-256 で 1 ビット一致する Rust を生成。動的部分は CPython Isolate に委譲(固定ランタイムで 95-99%)、真の非決定性は明示 reject。PoC 40/40 bit-exact 実証済。

📋 「このレベルで AI に質問」= 選んだ解像度に合った指示つきで、このページの解説をコピーします。お手元の AI(Claude · GPT · Gemini · Grok 等)に貼れば、その目線でさらに深掘りできます。

誠実な約束。 SlimePython は「完璧な bit-exact」をすべてのコードで約束するものではありません。静的領域は bit-exact を強く保証しますが、動的領域は Deterministic Isolate に隔離し、実運用で十分に使えるレベルを目指します。「理論上 100%」より「実際に使って生産性が上がる」ことを重視しています。

Python 3.12+→ Rust 1.75+SHA-256 bit-exactWASI 再現可能Slot IR経路に LLM なし§13 Phase 1 動的 lift 受入75/75 PASS§14 Hybrid Bit-Exact Isolate§14 PoC 0–10 実証Isolate 40/40 bit-exact

何をするか

SlimePython は 静的解析可能・型ヒント付きの Python サブセットを入力に取り、完全な Rust (Cargo) プロジェクトを出力します。契約は厳密です — 同じ入力に対し、元の Python と生成された Rust は SHA-256 で検証された 1 バイト一致の出力を生成します。各変換には比較ハーネスと WASI 再現スクリプトが付属し、誰でも証明を再実行できます。

入力Python 3.12+、from __future__ import annotations、mypy --strict を通る静的サブセット。
出力Rust 1.75+ ソース、完全な Cargo プロジェクト、SHA-256 検証スクリプト一式。
保証Phase 1–2: bit-exact（SHA-256 完全一致）。Phase 3–4: 数値 / LLM 推論で token-exact。
経路構造 → Slot IR → Rust。LLM も確率的生成も一切なし。第三者が WASI で再現可能。

「理解」しない。だから bit-exact。

肝は「意味を理解する」工程をあえて捨てることです。「意味」は人間の感覚に依存し揺れる — だから「理解して書き直す」移行はその揺れを持ち込みます。SlimePython はソースを構造（曖昧さなく一意）として扱い、Slot IR へ射影し、構造を保存したまま Rust へ転写します。意味の層を通らないので結果は数学的に厳密 — 何度実行しても 1 ビット一致です。

絶対ルール。「ほぼ等価」出力は決して出しません。静的サブセット外の構文は Step 0 で reject し、該当行と修正提案を返します — 推測はしません。

矛盾は解消しない、保存する。 Python の動的型付け・実行時束縛・属性解決・再束縛といった「矛盾的構造」を矯正しません。CPython が実際に到達した束縛・分岐・例外・副作用の列を正本とし、決定論的隔離環境内に保存・再現します。reject するのは矛盾ではなく非決定性。
Correctness is observational, not normative — 正しさは規範ではなく、観測事実。

全 Python 対応 — Hybrid Bit-Exact Isolate

動的 Python を Rust で再発明しない。動的 Python は、Python のまま(CPython)で実行する。任意の Python を 3 領域に自動分割し、領域ごとに最も強い正直な保証を貼ります:

領域	変換先	bit-exact 保証
静的領域	→ Slot IR 経由で純 Rust	100%（構造的に）
動的隔離領域（`Any`/動的 getattr/monkey patch/`eval` 等）	→ Python のまま決定論 CPython Isolate へ委譲	固定ランタイム前提 95-99%
真の非決定性（seed無 random/実時刻/I/O/真の並行/C 拡張/`id()`）	→ reject	bit-exact 対象外（明示）

哲学的決定打。「意味を理解しない、構造を転写する」を動的領域に拡張 ── 静的部分は構造を転写、動的部分は CPython 自身に意味を生成させる(自分で意味を作らない)。理解しないことによって bit-exact を守る構造です。LLM が確率的に意味を構築する世界への、構造主義からの反論。

保証文言(誠実バージョン)。「Hybrid 全体で常に 100% bit-exact」とは主張しません。静的領域は 100% 構造的に保証、動的 Isolate は 固定ランタイム前提で 95-99%(残り 1-5% は cross-version drift・libm 差分を CI で潰す運用範囲)。SlimeNENC の AI 罠 17(empirical claim 捏造)回避ポリシーと整合します。

実証 — すべて第三者が手元で再現可能

§14 モデルを 11 本の PoC で実機検証しました(WSL2 / CPython 3.12.3 / RustPython 0.5.0 / wasmtime、固定 CPython・同一マシン実測):

Dynamic Isolate実コード動的 20 + §13 reject 15 + Any 5 = 40/40 bit-exact(Python = CPython Isolate で stdout SHA-256 一致。eval/exec・動的 getattr/setattr・monkey patch・metaclass・dataclass・generator 等)。
Full tier 速度python3 同等以上(短命 0.60× / hot 0.99×)。初期の遅延は共有 .so の PIC が原因 → 静的ビルドで解消。
Light tierRustPython で 19/20(差は例外文面のみ、意味論一致)、wasm32-wasip1 へクロスコンパイルし WASM 20/20。
自動振り分けFull ↔ Light を静的解析 + 実行時プロファイルで選択、誤ルート 0/20。

実ソース・変換コード・実測・再現一式(ダウンロード可)、§13 静的 lift 仕様、構文別の現在の扱いは PoC 0–11 deep-dive(一次資料) に集約しています。 専門用語ぬきの入口はやさしい入門へ。

製品 Tier

Tier	内容	bit-exact	binary
Free / Open	静的サブセット + 既知 lift	100%	~3-5 MB WASM
Hybrid Light	RustPython 同梱、動的も受理	best effort	~10-15 MB WASM
Hybrid Pro	CPython 同梱、cross-version は CI 維持	95-99%	~30-50 MB native

効くところ

AI 推論Python の ML / LLM 推論を Rust（と WASM）へ — 3-way token-exact、Qwen2.5 クラスで検証。重みは変えません。
numpy → ndarray数値 Python を Rust ndarray へ、同じ結果で。「だいたい合う」再実装ではありません。
試作 → 本番試作は Python のまま。出荷は 決定論的・単一バイナリ・メモリ安全な Rust — 挙動同一を証明。
監査 / 規制「ハッシュで証明された同一出力」が成果物 — 人手の UAT が不要。

ステータス

SlimePython は Phase 1–4 PoC(Phase 1–2 bit-exact / Phase 3–4 token-exact)で論文ドラフト準備済みです。SlimeNENC 構造的トランスレーション・ファミリーのモダン言語メンバー ── レガシー側は COBOL / JCL / MUMPS / PL/I / RPG・アセンブラを変換します。全検証データは PoC deep-dive、入門はやさしい入門へ。価格・契約はお問い合わせください。

お問い合わせ / PoC 依頼 PoC 0–11 deep-dive(一次資料) やさしい入門 SlimeCOBOL（レガシー）他の製品