Contents

High-level structure of this site. For a detailed keyword index, see the Index.

Company

  • Home — 4K, at one-quarter the size. The eye cannot tell.
  • About Javatel — 29 years of video infrastructure since 1997.
  • Why Javatel — four axes: domestic supply / formal guarantees / quantum resistance / 20-year support.
  • News — latest research, releases, announcements.
  • Blog — deep-dive engineering posts (see Blog section below).
  • Contact — direct line to engineering.
  • Partners — reseller / SIer programme.

Products

  • Products overview — 7-domain overview, math-backed patent portfolio.
  • ★ LANGUAGE — legacy → modern, bit-exact transpilers.
    • SlimeNENC family (10 products) — multi-language → Java / others, bit-exact hub.
      • SlimeCOBOL — COBOL → 5 languages, CCVS85 + Portfolio Mgmt 501/501 pass.
      • SlimeCOBOL-ESQL — COBOL embedded SQL (EXEC SQL) → Java (JDBC) / Rust (sqlx). 47 cases verified vs ocesql, in development (service).
      • SlimeInformix — bit-exact verification for migrating Informix (I4GL/ESQL/C/ESQL/COBOL) → PostgreSQL/Java. 12 hidden dialect traps pinned on real Informix 15.0.1 (integer division=float, CAST=truncate, over-length INSERT silently truncated), verification stage (converter in development).
      • SlimeJCL — JCL → Spring Batch, 4 dialects (z/OS / Fujitsu / Hitachi / NEC).
      • SlimeMUMPS — MUMPS → Java + Clojure, healthcare EHR.
      • SlimePL/I — PL/I → Java, insurance / banking / aviation.
      • SlimeRPG — RPG IV → Java, AS/400 family.
      • SlimeFORTRAN — F77 → modern Fortran + 8 languages, HPC.
      • SlimeNatural — Natural / ADABAS → Java + PostgreSQL.
      • SlimeASM — HLASM / x64 MASM → Java.
      • SlimeASM-rev — binary-first assembler → language recovery.
      • SlimeELF-rev — Linux ELF → C source recovery.
      • SlimePE-rev — Windows PE → C source recovery.
      • SlimePython — Python → Rust, bit-exact.
      • SlimeJava — Java → Rust, bit-exact; ~57k fuzz cases 0 divergence; real OpenJDK 603 cases match.
      • PoC (Japanese) — domestic concept-validation package.
    • SlimeRESCUE family — binary-first rescue for mainframes whose source is lost.
    • SlimeCL — AS/400 CL → Rust / bash, byte-exact on live IBM i.
    • SlimeGENBA-LUI — Legacy UI (terminal-compat) + Modern UI two layers, 100% keyboard.
    • PSDP — same-language parallelization. Parallelizes only the regions that can be proven, bit-exact against sequential execution. Measured 3.26–5.81× on nightly batch (real PostgreSQL). Independent product line.
  • ★ VIDEO — norm-coded video and delivery.
  • ★ AI — byte-exact inference runtime for AI models.
    • SlimePython — Python → Rust bit-exact (shared with the LANGUAGE domain).
  • ★ DEVICE — hardware and I/O; Slime storage family (SlimeTree-VSAM / RLM).
    • SlimeTree-RLM — 272 KB WASM LLM safety net + audit chain; equalizes Tier A 8B-class LLMs to an 81% ceiling.
    • SlimeTree-VSAM — simple recorder of the same family, 480× PostgreSQL.
  • ★ QUANTUM — quantum resistance and quantum-computing research.
  • ★ BIOCHEM — biochemical and analytical applications.
  • ★ AUTONOMOUS — self-judging / self-recovery / continuity products.

Industries

  • Industries served — public sector, finance, surveillance, broadcast, VOD, operational systems.

Services

Resources

  • Resources overview — research papers, patent disclosures, technical notes.
  • SlimeTree-RLM — measurement procedure and primary sources — 3 external benches × 3 seeds = 6,870 trials, -20.4 ± 0.3 pt architectural constant, 4-LLM cross-validation, paper v10, patent claims 1-44.
  • AS/400 modernization joint validation — recruiting a partner site for a free PoC.
  • PSDP — verification record and withdrawal ledger — the ledger of claims that did not survive pre-release testing and independent audit, how previously published figures are handled, the record of defects we built into our own checker, the evaluation design (2×3 table), and an explicit statement of what has not been verified.
  • SlimeJava — measurement procedure & primary data — full Java→Rust bit-exact verification data: ~60k differential-fuzz cases 0 divergence + 603 real OpenJDK, SMT proof over all inputs (20 / 0 counterexamples), full-Java Hybrid acceptance 98.7–100%, performance (startup ~41× / RSS ~22×), 1,053 exception-boundary crossings, seed-injection rescue. Third-party reproducible.

Partner portal

Blog

Demonstrations

Operational tools & consoles

Site navigation

  • Contents (this page) — high-level overview.
  • Index — alphabetical keyword index for detailed lookup.
  • XML sitemap — for search engines.