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 — for the scope of that verification see the primary materials.
A SlimeNENC-family tool that moves legacy code into a modern language without changing its meaning. A hand rewrite quietly drifts and causes incidents; SlimeNENC doesn't interpret meaning — it copies only the "skeleton" (structure), so the computed results stay identical to the original. It proves the behaviour first, so migration anxiety disappears. It copies only what it can, honestly, and isolates what it can't.
Hand rewrites drift on subtle numeric/exception differences (boundary conditions), and verifying that (old-vs-new testing) costs enormous labour. SlimeNENC faithfully mirrors language-specific traps, proves "zero divergence" via differential testing, backed by an independent reference implementation. The deliverable is a machine-checkable "certificate of behavioural invariance," not human UAT. No overstating; what it can't do isn't hidden.
Source is projected onto a Slot IR (language-independent structural intermediate form) and transcribed structure-preserving into the target. The statically-determined core is made bit-exact; dynamic, state-dependent parts are honestly isolated (isolate, don't confabulate). Backed by differential fuzzing plus formal methods where applicable, with deterministic verification a third party can reproduce locally.
Projection (π) of source as unique structure, not semantics. Primitives are modelled rigorously in bit-vector theory and formally verified over all inputs; composition/loops are covered by Csmith-style differential fuzzing — a two-tier guarantee. Non-reproducible computation (float/parallel/AI) goes to tier-③: meaning-equivalence + convergence + residual. "Where there is form, prove it in bytes; where there is none, in meaning. Lie on neither face."
📋 "Ask your AI at this level" copies this page's explanation with an instruction matched to the level you picked. Paste it into your own AI (Claude · GPT · Gemini · Grok) to dig deeper at that resolution.
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 (all 1,778 distinct opcode keys in the table reach a decoder = 100.0%, format families 33 / 33 incl. vector; the figures are generated in the primary materials) |
|---|---|
| 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) |
| 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) |
| 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.
Related: SlimeRESCUE family · SlimeCOBOL (source-first) · SlimeASM-rev (x86_64 ELF/PE binary, current) · PSDP (in-language parallelisation)
