[1/8]
Plenty of COBOL modernization tools out there.
Micro Focus. Blu Age. AWS Mainframe Modernization. mLogica.
But the reason production migration stalls in finance, insurance,
tax — is one thing.
"Not bit-exact."
One yen off and the audit fails. "Close enough" does not ship. 🧵
[2/8]
The thorny case: COMP-3 dialect drift.
The same COBOL `COMPUTE WS-N = 2.5 ROUNDED` gives:
IBM z/OS → 3 (HALF_UP)
Unisys MCP (B5000 lineage) → 2 (HALF_EVEN, banker's rounding)
Migrations between the two families silently drift by a yen.
Most tools hard-code IBM semantics and walk away from Unisys jobs.
[3/8]
SlimeNENC's answer:
- Decompose COBOL into a language-agnostic IR (Slot IR).
- Encode dialect as 4-bit metadata on each slot.
- Each target language's emitter dispatches on one switch.
Flipping `SOURCE-COMPUTER` IBM-370 ↔ B-5500 in the source
produces **bit-level different output in all 5 target languages**,
every time, reproducibly.
[4/8]
18-case dialect bit-exact verify across:
COMPUTE, ADD TO, SUBTRACT FROM, MULTIPLY BY, DIVIDE INTO|BY,
GIVING, ON SIZE ERROR, multi-target.
5 languages × 2 dialects = **90 cells, all bit-exact**.
Java: BigDecimal.HALF_EVEN
Rust: MidpointNearestEven
Go: RoundBank
C#: MidpointRounding.ToEven
Kotlin: HALF_EVEN (JVM)
Five names, one mathematical behavior.
[5/8]
Scale:
- NIST CCVS85 Portfolio Management = 501 programs
- FULL (accept audit PSV): 501/501 (100.0000%)
- Hallucination detection (trigram): 95.01%
- Silent-pass audit (adversarial mutations): 98.90%
"99.9995% accuracy" = three-axis independent proof.
Each axis alone breaks? The other two still catch you.
[6/8]
Performance:
- 8-stage pipeline median 62ms / p95 145ms / program
- Peak RSS ≤ 7MB
- WASM/WASI build: 2× overhead (wasmtime 40.0)
- 12-core parallel: 500 programs in <10 seconds
Auditor-in-the-room speed. Works for batch and interactive.
[7/8]
Language-agnostic, empirically:
- Java → Rust S6 emitter port: 2.5 hours
- Rust → Go: 30 minutes
- Go → C#: 30 minutes
- C# → Kotlin: 20 minutes
S1-S5/S7-S8 (the IR core): not one byte changed.
IR language-independence, 5× reproduced.
Hard to argue against in peer review.
[8/8]
Patent: JP 2026-046620 (SlimeNENC)
Financial COMP-3 claim: 14(b)(c)(d)
Licensing: charge the WASM converter, not the output.
(Customer's transpiled code is theirs, not Javatel-locked.)
Solves the (customer dialect × target language) cost explosion
through one unified Slot IR.
#COBOL #LegacyModernization #FinTech #Patent