Vivantro × Access International · méthode ATLAS v0.9

CardDemo — un mainframe carte de crédit, migré sur l'edge

Référence AWS Mainframe Modernization (COBOL · CICS · VSAM · batch JCL), re-migrée de bout en bout en TypeScript sur Cloudflare Workers + D1. Montants en centimes entiers — jamais en float. Fidélité prouvée par oracles exécutables.

6 programmes COBOL~7 650 lignes source30 tests verts0 discordance critique

Système en ligne — cliquez pour tester

Chaque bouton appelle le programme COBOL migré correspondant, sur les vraies données VSAM décodées.

COSGN00C · login

Authentification

User IDPassword

COACTVWC · vue compte

Consulter un compte

Chaîne xref → compte → client.

Account ID

COTRN00C · liste

Transactions

Pagination keyset (équiv. STARTBR/READNEXT VSAM).

CBTRN02C · batch

Posting quotidien

Poste les 300 transactions du jour. Oracle O-9, compte 7 : 900.21 / 1287.09 / −579.88.

Ce qui est prouvé

Précision financière — tous les montants en centimes entiers (zéro float). Le solde final du compte 7 tombe au centime sur l'oracle calculé à la main.
Fidélité niveau A — 30 tests exécutables vs 11 oracles + invariants sur 300 transactions (signe = sens crédit/débit, test limite ≥, dernier-motif-gagnant).
Traçabilité — chaque règle reliée à sa ligne COBOL ; bugs source reproduits sciemment et documentés.