For decision-makers · audit-first

Lower cloud spend without changing Java.

Audit next-month savings on your own workload.

With zero source-code changes, existing Java apps measured 2.97–4.23× faster. We verify whether EC2 / GKE capacity can compress to 1/3–1/4 on your workload, with bit-identical output and a full regression pass.

378 / 378
Java conversion bit-exact
90 / 90
rollback verified
5,270 / 5,270
COBOL transfer, measured
git diff = empty
source untouched
  Conventional PSDP
Source changesthousands+0 lines
Build changesrequirednone
Output diffre-verifybit-exact
Rollbackhard90/90 verified
Adoption costlicense + laborfree upfront + 2%/yr

Estimate with your workload →

Product / Mechanism

PSDP — deterministic same-language parallelization

Add deterministic parallel execution to existing apps without rewriting source.

PSDP (Phase-Synchronous Deterministic Parallelism) adds parallelism to existing Java / C# / Rust / Go / Kotlin and 16 more via runtime injection, delivering 2.97–4.23× speedup without changing a single bit of the result.

Slime-Boy Slime-Boy: why untouched speedup works ▾
  • OrderBatch.java stays byte-for-byte identical (git diff is empty)
  • At build time, PSDP reads bytecode and adds a parallel version (Java agent / .NET profiler / Rust proc-macro)
  • Every run, sha256 of sequential vs parallel is compared; mismatch → instant rollback (90/90 verified)

How it works →

Same deterministic engine ― structure projection (Slot IR), no semantic guessing, bit-exact

SlimeNENC — legacy & language conversion
Java 8→17 / 17→21 (378/378), COBOL→Java (NIST 501/501; 5,270/5,270 across external corpora), plus C#, Rust, Go, Kotlin, … — all byte-exact, third-party reproducible in a sandbox.

PSDP — Phase-Synchronous Deterministic Parallelism
Runtime-injects parallelism at build time for 2.97–4.23×. No source changes, output bit-identical, 90/90 verified.

✨ Try it now, in your browser No install · zero upload

Slime Gateway BYOK ― bring your own key, try AI right here

A browser-side gateway to external AIs with your own API key. Your key and chat history stay inside the browser — nothing is sent to or kept on our server. No install, no account — just open it.

Open the demo → 日本語 →
Flagship service SlimeTree-RLM Semantic-driven routing cuts LLM cost 60–80%. Meta / X / Google, 18 routes, in-browser, zero upload, deterministic. See the full picture ↓

JAVATEL — IP house across 7 domains

From video, language & AI to device, quantum, biochem & autonomous.

Founded 1997. Patent-anchored, math-backed foundation tech across 7 domains. Video and language are our two main pillars, with AI inference control, device integration, quantum resistance, biochem and autonomous-systems control expanding from the same theoretical base.

A thesis, with working proof ― AI

Sovereignty Without Ownership

A device that seals the atypical judgments born in conversation into deterministic executables, on the spot.

AI sovereignty is not owning the giant model. Borrow the teacher. But as long as you hold the clamp that validates the output — canonicalization, deterministic routing, bit-exact judgment, audit — sovereignty never leaves your hands. And the clamp is light (tiny, WASM), so holding it takes no vast capital.

The case wall
Roles surface differently per language → RoleSlot folds it (Gemma4 attribute injection)
The Lisp wall
Most can't write S-expressions → Gemma4 turns natural language into S-expressions (verified by deterministic gates)
The I/O wall
What goes in, what comes out? → make it a spreadsheet (a form everyone knows; pick a template)
① Just say it → the tool makes the Lisp (you don't)
You: "Overseas travel up to 300000 with director approval"
↓ auto-converts
(and (= category travel-intl) (= approver director) (<= amount 300000))
② Put it in the table → verdict appears (spreadsheet feel)
reqamountapproververdict
#002250000manager❌ rejected
#003250000director✅ valid
verdict "formula" = the rules above (S-expr)

Routine (standard/repeated, e.g. an expense cap) up front; atypical (sudden/person-dependent, e.g. a year-end exception) added on the spot in plain language. Both are clamped bit-exact and recorded.

The hard parts (bit-exact, lisp-jit) aren't hidden; the surface is a form everyone knows. Put values in the table, say the rule in natural language, and the clamped result comes out with an audit trail. All in-browser, zero upload.

The thesis & full picture →Clamp demo (spreadsheet / templates) →Fold demo →

AS/400 · IBM i — device → language

Lift your AS/400 — by the unit.

CL, RPG and COBOL — the whole box, modernized as portable code. 1,700+ real-world RPG programs already ingested and processed by the pipeline (internal RPG corpus, pass count). Continuity, not rewrite.

Explore →

LANGUAGE · Highlight

Conventional wisdom

“The condition for successful COBOL modernization is not merely ‘replacing an old language with new technology (a technical problem),’ but an organizational approach — ‘management decisions’ and ‘team design.’ Thorough as-is analysis, choosing the optimal migration method, and building a structure that brings the field on board are the keys.”

No. BLACKBOX — bring it on.

COBOL migration does not need a “semantic understanding” step. Treat the source as the spec, deterministically transcribe it bit-exact. That’s all.

Slime-Boy Slime-Boy: Why don’t you need to understand the meaning?! 💢

“Meaning” depends on human perception — there is no mathematical rigor in it. The same code reads differently to different people, so an “understand-it-then-rewrite” migration injects that wobble.

The target is bit-code written as 0101… — that is structure. Structure is unambiguous and uniquely determined.

SlimeNENC projects (π) the structure of the original COBOL onto Slot IR and transcribes it structure-preserving into the target (Java, etc.). No “understand the meaning” step — so it can guarantee mathematical rigor (bit-exact).

① SKIP SEMANTIC EXTRACTION

Avoid the CBA / IRS / TSB Bank multi-hundred-million-dollar failures. Transport it byte-for-byte, no rewrite.

② BROOKS REBUTTAL

Does not contradict “no silver bullet”: the right lineage is preserve-and-transport, not rewrite.

③ ALGEBRA, NOT PROBABILITY

LLM-based migration drifts run-to-run. Our output is byte-identical every time.

④ SOURCE-LOST COVERED

SlimeRESCUE family rebuilds C / Java from binaries — covering an estimated 12-24 billion lines of unaddressable market (~80B COBOL lines × 15-30% source loss).

Measured (2026-05-20): US Federal COBOL Validation (FIPS 21-3) + 11 corpora + Medicare 7 lineages — 5,270 / 5,270 bit-exact identical (100.000%). Anyone can third-party reproduce in a sandbox.

Not only legacy — modern languages too. The same structural translation, now Python → Rust, bit-exact (SHA-256 identical): SlimePython →

LANGUAGE category → LANGUAGE services → Latest news →

★ LANGUAGE impact ★ DEVICE I/O cross-listed

Once the migration is done, the next problem is storage.

Even after a BLACKBOX bit-exact transcription succeeds, if the destination is a general-purpose DB like PostgreSQL, financial-core overnight batches often crush their window. SlimeTree-VSAM provides VSAM-compatible (KSDS / ESDS / RRDS) native storage as a single Rust binary — 480× faster than PostgreSQL in same-host bench, with a SHA-256 audit chain built in so tamper detection works even in air-gap environments. A simple-record-system variant, member of the Slime storage family.

Sequential cursor
480×
Same-host bench vs PostgreSQL 16
1B-record nightly batch
19.5h → 4.4 min
Direct fix for overnight-window collapse
Audit / tamper detection
SHA-256 audit chain
Built into backend, air-gap operable

SlimeTree-VSAM details → Primary materials / white paper → LANGUAGE category →

VIDEO · Highlight

4K, at 1.79 Mbps.

Even to the eye, you can’t tell the difference. Concentrate bits only where the human eye looks (commutator-norm), dropped into existing H.264 / AV1 with no decoder change.

NORMH.264 · Universal compat
4K H.264 → 1/4 size
-74.3% vs source · VMAF mean 83.25 · plays on every H.264 device
NORMAV1 · Leading efficiency
4K @ 1.79 Mbps
VMAF 84.36 · 4K over a single LTE 4G line

Browser decode: 544 KB WASM at 41.79 fps; smooth 4K playback on a 2-core CPU alone. Confirmed 4K @ 30 fps on iPhone / Intel laptop / AMD desktop.

VIDEO category → Live A/B demo → 30-day trial →

Patents pending: JP 2026-046898 / 046609 · Paper: IEEE TCSVT v8 submission

Latest news

All news →
Business pipeline: closed in the box - RLM deterministic core + local LM (Gemma4 teacher) + LoRA training (student), self-contained; external AI is a gated exception (BYOK). Enterprises self-host for org knowledge and sovereignty, up to ~8.8x less inference compute.

An AI pipeline that closes in-house ― RLM + local LM + LoRA training, self-contained; external AI is a gated exception. The full RLM picture →

★ DEVICE I/O Highlight ★ AI application

SlimeTree-RLM — a semantic-driven record system, a single 272 KB Rust binary.

Layered orthogonally over an existing system (LLM / decision engine / business rule) to apply semantic-driven constraints and records. A single Rust binary, deterministic, server-less on browser / mobile / embedded. Usable from both AI and non-AI. Recently extended to word-order-invariant on-device routing (in-browser training, zero upload, tamper-evident audit).

Single Rust binary
272 KB
WASM single binary, server-less
vs Python
24×
Rust port, stable under 10K stress (zero data loss)
AI application
66% → 22%
LLM hallucination suppression (σ=4%, 100Q × 3 trials)
Routing application
Zero upload
Trains in-browser → word-order-invariant routing (tens of KB, no GPU)

SlimeTree-RLM details → Primary materials / white paper → RoleSlot live demo → DEVICE category →

What SlimeTree-RLM does ― the full picture

Semantic-driven routing (D / µ / R)
Mechanically sorts each prompt into D (direct) / µ (damp) / R (residual) to minimize external-LLM calls. 60–80% LLM cost cut, SHA-256 audit chain.
Word-order-invariant routing (RoleSlot)
Case → role-slot preprocessing gives order-independent routing. Trains in-browser, zero upload, tens of KB, no GPU.
Multilingual (case-marking ≡ injection)
Japanese / Korean / Turkish get it natively via case markers; case-less languages like English reach the same order-invariant structure by attribute injection.
Slime-BoySlime-BoySo who puts the case markers in? 💬 tap for the answer

Japanese / Korean / Turkish ship the case markers by birth (like ga / o) ― the speaker adds them for free.

Case-less languages like English? ― your local Gemma4 (the on-box teacher) synthesizes the “case particles” after the fact and injects them. Zero upload, all inside the box.

Either way a tiny student memorizes the role slots ― then it runs teacher-free, deterministic.

Deterministic + tamper-evident audit
Same input → byte-identical result. Every step is hash-chained; tampering is detected instantly and runs are replayable.
Hallucination suppression
Without changing any LLM weight, hallucination 66% → 22% (σ=4%, 100Q × 3 trials).
Platform integrations
Wrap RLM over the Meta / X / Google APIs: try a cheap LLM first → RLM re-checks → only the gaps go to a premium LLM. Skips needless expensive calls, cutting LLM cost a further 50–70% (18 public routes).
Clamp (routine & atypical, bit-exact)
Clamp an LLM fluctuation with routine & atypical S-expr rules, bit-exact. Atypical rules are added on the spot in plain language, deploy-free, version-pinned audit.
Conversation → S-expr (Lisp in words)
Say the rule in natural language and the tool translates it to an S-expr (Gemma4). You never write Lisp. Deterministic gates check it (back-translation, number, boundary).
Spreadsheet + templates
I/O anyone can picture. row = request, verdict column = rules. Customize from a template (.slimepkg); golden tests verify before you publish a version.
Integrated platforms ― 18 public routes, cost-tier B complete, R-ratio 28% measured
Clamp (spreadsheet / templates)6-pattern showcaseAdd-on saving figuresRoleSlot demo (EN)RoleSlot demo (JA)WASM bit-exact demoIntegrated build (S1–S9)Platform-integration hubMeasured dashboardPrimary materials / white paper

Research: the order-invariant role structure (case → role-slot) improves small-model sample efficiency on real Universal Dependencies data. The gain is specific to order-sensitive small models and vanishes on large LLMs that already internalize it (honest scope). The method is open; the deterministic core is by subscription.

Small, fast, deterministic. Just layer it orthogonally over what you already run.

Sovereignty without ownership ― the thesis & two live demos →

JAVATEL Inc. has delivered surveillance camera systems, video management, and media streaming across Japan since 1997. Headquartered in Nishinomiya, Hyōgo. The Video Intelligence in our company logo is not a recent trend — it is the direction we have walked for more than 29 years.
Partners: Genetec (longest-tenured authorized partner in Japan) / XEOMA AI NVR / Planet Networks (Taiwan) · Why Javatel · Partners · Contact