特願 2026-046620 系 / 2026-05-20 MVP 達成

SlimeRESCUE-VOS3 RELEASED

z/Architecture ロードモジュールから直接 Java/COBOL/Rust/C#/Kotlin/Go へ bit-exact 変換。

Hitachi VOS3 / Fujitsu MSP / Fujitsu GS21 / IBM z/OS は全て 同一の z/Architecture ISAを使用する PCM (Plug Compatible Mainframe) 互換群。 SlimeRESCUE-VOS3 は単一 codebase で全ベンダーをカバーします。 2026-05-20、1 セッションで 6 Phase 完成 = MVP 達成、 Hercules 3.13 official emulator と cross-validation 実施 (検証範囲は一次資料参照)。

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

手で書き直すと、数値計算や例外の細かな違い(境界条件)で挙動がズレ、その確認(新旧比較テスト)に膨大な人件費がかかります。言語特有のトラップまで忠実に写し、差分テストで「ズレゼロ」を実証、独立した参照実装で裏付け。成果物は人手の UAT でなく機械検証可能な「振る舞い不変の証明書」。誇張せず、対応できない部分は隠しません。

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

実装・検証の一次資料 — 実装フェーズと規模、Hercules 3.13 との cross-validation とその訂正、命令インベントリ、WASM ビルド、および現在の検証範囲は SlimeRESCUE-VOS3 — 実装・検証の一次資料にまとめています。

動作例 (実 curl)

Phase F-1 HTTP service (port 8770) に s390x ELF を POST した結果:

# 8 命令の z/Arch サンプル (AR/A/LM/STM/MVC/AP/CLI/BCR) を s390x ELF 化
$ curl -s http://127.0.0.1:8770/health
ok

$ curl -s -X POST --data-binary @sample.elf \
    http://127.0.0.1:8770/slimerescue/slot
# format: elf
# dialect: s390x-linux
# instructions: 8
# slots: 8
SLOT  op=STMT_COMPUTE    ck=STMT  tt=BIN     ext=0x000000c8 ; "ar R1=1 R2=2"
SLOT  op=STMT_COMPUTE    ck=STMT  tt=BIN     ; "a R1=1 X2=3 B2=4 D2=4032"
SLOT  op=STMT_MOVE       ck=STMT  tt=BIN     ; "lm R1=2 R3=5 B2=6 D2=3840"
... (8 slots total)

$ curl -s -X POST --data-binary @sample.elf \
    "http://127.0.0.1:8770/slimerescue/java?class=DemoCobol"
public final class DemoCobol {
    public static void main(String[] args) {
        long[] R = new long[16];
        byte[] M = new byte[1<<20];
        /* ar R1=1 R2=2 — COMPUTE */
        R[1] = (R[1] + R[2]) & 0xFFFFFFFFL;
        ...
    }
}

技術仕様 (詳細)

対応 ISA	IBM S/370 / 390 / z-Architecture (opcode 表の distinct opcode key 1,778 件すべてに decoder が対応 = 100.0%、format families 33 / 33 含 vector。数値は一次資料で生成)
対応 binary 形式	s390x ELF64 BE (Linux) + z/OS LOADLIB (PDS、256-byte directory blocks、EBCDIC name)
dialect_id	DIALECT_S390_LINUX = 200、DIALECT_S390_LM = 201 (既存 SlimeNENC dialect 空間と非衝突)
Slot IR	SlimeNENC 既存 Core64 + Ext32 互換、`slot.c slot_print()` 出力一致 (既存 backend 流用可)
出力先言語	Java / COBOL / Rust / C# / Kotlin / Go (SlimeNENC S6 emitter 5 言語、既存資産)
EBCDIC 対応	Python `cp037` codec、PDS member name 復元、COBOL 文字列対応
Packed BCD	COMP-3 互換、AP/SP/CP 命令の decimal 演算 (1-16 byte 長)
政策遵守	HTTP service 127.0.0.1 enforced (no public exposure)、既存 SlimeNENC service policy 順守

適用シナリオ

Hitachi VOS3 廃止案件: 地方銀行 / 自治体 / 電力会社の VOS3 メインフレーム廃止、ソース消失で頓挫している案件
Fujitsu MSP / GS21 廃止案件: 旧 Amdahl / 富士通 PCM ユーザー、MSP 周辺は VOS3 と同型対応
IBM z/OS LOADLIB レガシー: 30-40 年前にコンパイルしたまま使い続けているロードモジュール、ソース管理外
M&A 後の情報資産整理: 統合後にソース所在が不明、PDS / LOADLIB しか残っていない
監査要件対応: ロードモジュールが実装している処理を可視化 (Slot IR + Java 等価) してドキュメント化

SlimeRESCUE-VOS3 RELEASED

動作例 (実 curl)

技術仕様 (詳細)

適用シナリオ

関連 / 価格