JP patent 2026-046620 family / MVP achieved 2026-05-20

SlimeRESCUE-VOS3 RELEASED

Direct bit-exact conversion from z/Architecture load modules to Java/COBOL/Rust/C#/Kotlin/Go.

Hitachi VOS3 / Fujitsu MSP / Fujitsu GS21 / IBM z/OS all use the same z/Architecture ISA, forming a PCM (Plug Compatible Mainframe) family. A single codebase covers them all. 2026-05-20: 6 phases completed in one session = MVP achieved, and cross-validated against the Hercules 3.13 official emulator.

6-Phase MVP achievement (2026-05-20)

Phase	Description	Size	Verification
A ✓	z/Arch instruction disassembler, 33 format families 100% coverage	757 lines	28/33 PASS (5 alias), 18 formats 20/20 PASS, cobol-like seq 8/8 PASS
B ✓	s390x ELF64 BE parser (Linux `file(1)` recognises "IBM S/390")	260 lines	ELF roundtrip 8/8 PASS
C ✓	Slot IR mapping (67 mnemonic table, compatible with existing SlimeNENC slot.c backend)	406 lines	Slot IR mapping 8/8 PASS
D ✓	z/OS LOADLIB / PDS parser (256-byte directory blocks, EBCDIC member name, TTR pointers)	275 lines	PDS roundtrip 3 members byte-exact + pipeline 8/8 PASS
E ✓	Python z/Arch interpreter (25 instructions + packed BCD decimal + Hercules-style trace)	342 lines	behavioural 6/6 PASS + Hercules 3.13 cross-validated 6/6
F-1 ✓	unified CLI + HTTP service (127.0.0.1:8770, 4 endpoints, slot/java/trace/all)	316 lines	E2E 5 tests PASS + curl operational verification
Total		3,588 lines	All 8 tests PASS / regression 0

Cross-validation with Hercules 3.13 official emulator

To establish the trustworthiness of SlimeRESCUE-VOS3 we executed the same hex stream on the Hercules 3.13 IBM-recognised open-source z/Architecture emulator (widely used in research and at customer sites) and compared the results in full.

Environment	Hercules 3.13 (Ubuntu apt-get), CPUMODEL 3090, MAINSIZE 16MB
Test stream	32 bytes / 8 instructions (AR / A / LM / STM / MVC / AP / CLI / BCR)
Disasm comparison	6/6 instructions exact match on mnemonic + operands (1A12=AR 1,2; 5A134FC0=A 1,3(4); 98256F00=LM 2,5,3840(6); ...)
Register state	GR1 final = 0x15E (= 350), exact match between SlimeRESCUE interpreter and Hercules
Memory state	MVC + AP writes at 0x8000-0x800F byte-exact match

※ Hercules is widely used by z/OS customers as a verification environment. Matching it provides a defensible basis that the runtime behaviour of the same machine-code binary on Hitachi VOS3 / Fujitsu MSP / IBM z/OS hardware will be reproduced in the Java/COBOL/Rust target.

Operational example (real curl)

POSTing an s390x ELF to the Phase F-1 HTTP service (port 8770):

# 8 z/Arch instructions (AR/A/LM/STM/MVC/AP/CLI/BCR) wrapped as 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;
        ...
    }
}

Technical specifications (detailed)

Supported ISA	IBM S/370 / 390 / z-Architecture (1,778 / 1,962 mnemonics = 91%, 33/33 format families = 100% including vector)
opcode source	GNU binutils s390-opc.txt (official), mechanically ingested to prevent custom drift
Binary formats	s390x ELF64 BE (Linux) + z/OS LOADLIB (PDS, 256-byte directory blocks, EBCDIC names)
dialect_id	DIALECT_S390_LINUX = 200, DIALECT_S390_LM = 201 (no collision with existing SlimeNENC dialect space)
Slot IR	Compatible with existing SlimeNENC Core64 + Ext32, `slot.c slot_print()` output match (existing backend reusable)
Target languages	Java / COBOL / Rust / C# / Kotlin / Go (existing SlimeNENC S6 emitter, 5 languages)
Interpreter instructions	25 instructions (AR, A, AGR, AHI, SR, LR, LGR, L, LHI, LA, ST, LM, LMG, STM, STMG, MVC, MVI, CLI, CLC, CR, C, BCR, BC, AP, SP, CP, PR)
EBCDIC support	Python `cp037` codec, PDS member name recovery, COBOL string handling
Packed BCD	COMP-3 compatible, AP/SP/CP decimal arithmetic (1-16 byte length)
WASI port	Phase F-2 achieved (2026-05-20) — ~580 lines of C ported, compiled via `clang --target=wasm32-wasi -O2` to slimerescue.wasm = 84,530 bytes (84 KB). About 1/6 of the initial < 500 KB estimate and smaller than the existing SlimeNENC java_emit.wasm (293 KB). 3-way validation (Python ↔ native C ↔ WASM via wasmtime) confirms byte-exact match of the slot stream including the audit_hash field across raw / s390x ELF / PDS member paths. No SAB required
Policy compliance	HTTP service 127.0.0.1 enforced (no public exposure), follows existing SlimeNENC service policy

Applicable scenarios

Hitachi VOS3 retirement engagements: regional banks / municipalities / utilities blocked by source loss
Fujitsu MSP / GS21 retirement engagements: legacy Amdahl / Fujitsu PCM users, MSP-adjacent code shares VOS3 path
IBM z/OS LOADLIB legacies: load modules compiled 30-40 years ago and left untouched, source unmanaged
Post-M&A asset reorganisation: source location unknown after merger, only PDS / LOADLIB remains
Audit requirements: surface the logic encoded in load modules (Slot IR + Java equivalent) for documentation

Related / pricing

SlimeRESCUE-VOS3 is a binary-first premium SKU. 5-10x the unit price of source-based SlimeCOBOL (no alternative + market monopoly). PSDP bundling, volume discount, and SIer partner margin via Partners. Details disclosed under NDA.