LAZARUS-3270 Kiroween 2026 MCP + PBT

1978 IBM 3270 + COBOL, resurrected with proof.

For banking teams who fear COMP-3 rewrites. CRT <-> MCP <-> Crew <-> PBT engine. 10000/10000 parity.

Early access
One email. No spam. Backend connects on deploy.

COREBANK 3270 READY
> SEND $1005.13
AWAITING ENTER_

modern: balance $10,000.00
MCP verify_ledger_parity: OK

Why Lazarus

Parity proof
5 invariants, 10000 runs, shrink example principal=10005.13. No float drift.

Live 60s demo
1978 vs 2026 vs vibe-float side-by-side in browser.

Kiro-native
specs EARS + hooks + steering cobol-decimal-safety + MCP cobol-oracle.

1. Boot CRT
3270 terminal in browser

2. MCP bridge
inspect_ebcdic_memory → modern API

3. PBT verify
fast-check equivalence harness

Does it replace COBOL?
No. It proves parity so you can migrate safely.

Setup time?
MVP: open index.html. Full: npm install && npm run dev.

COMP-3 rounding?
Banned float. Steering enforces decimal safety.

Private repo?
Yes. This marketing repo is private; demo is public on Pages when you connect.

Banking on 3270? Get the parity report. Notify me