1# Corpus COBOL de charka
2
3Programas COBOL de prueba, de complejidad **graduada**, para ejercitar
4el pipeline completo del transpilador (lexer → parser → IR → codegen) y
5el validador en sombra `charka-shadow`.
6
7Cada programa `NN-nombre.cob` viene con su `NN-nombre.expected`: la
8salida correcta, una línea por `DISPLAY`.
9
10| programa | nivel | qué ejercita |
11| ------------------- | ----- | -------------------------------------------------- |
12| `01-hola` | 1 | el programa mínimo — un `DISPLAY` de literal |
13| `02-aritmetica` | 2 | datos, `ADD`/`SUBTRACT`/`MULTIPLY` con `GIVING` |
14| `03-condicional` | 3 | `IF` / `ELSE` / `END-IF` |
15| `04-bucle` | 4 | `PERFORM n TIMES`, un párrafo aparte, `ADD` in situ|
16| `05-factorial` | 4 | `PERFORM UNTIL` en línea, `MULTIPLY` in situ |
17| `06-nomina` | 5 | grupos, `COMPUTE` con paréntesis, `ROUNDED`, V99 |
18| `07-clasificar` | 5 | `IF` anidado, condiciones con `AND` |
19
20## Formato
21
22Los fuentes están en **formato libre** de COBOL (la línea entera es
23código; `*` al inicio es comentario). El comparador del validador
24**ignora los espacios finales** de cada línea — un campo `PIC X(n)` se
25muestra con su relleno de espacios, que aquí se omite por legibilidad.
26
27## La salida esperada
28
29Las `.expected` se derivaron a mano de la semántica de COBOL'85. Cuando
30GnuCOBOL esté disponible, `charka-shadow` podrá regenerarlas desde el
31compilador de referencia y diferenciar contra él — el modo «sombra»
32pleno (original vs transpilado).
README.md
Corpus COBOL de charka
Programas COBOL de prueba, de complejidad graduada, para ejercitar
el pipeline completo del transpilador (lexer → parser → IR → codegen) y
el validador en sombra charka-shadow.
Cada programa NN-nombre.cob viene con su NN-nombre.expected: la
salida correcta, una línea por DISPLAY.
| programa | nivel | qué ejercita |
01-hola | 1 | el programa mínimo — un DISPLAY de literal |
02-aritmetica | 2 | datos, ADD/SUBTRACT/MULTIPLY con GIVING |
03-condicional | 3 | IF / ELSE / END-IF |
04-bucle | 4 | PERFORM n TIMES, un párrafo aparte, ADD in situ |
05-factorial | 4 | PERFORM UNTIL en línea, MULTIPLY in situ |
06-nomina | 5 | grupos, COMPUTE con paréntesis, ROUNDED, V99 |
07-clasificar | 5 | IF anidado, condiciones con AND |
Formato
Los fuentes están en formato libre de COBOL (la línea entera es
código; * al inicio es comentario). El comparador del validador
ignora los espacios finales de cada línea — un campo PIC X(n) se
muestra con su relleno de espacios, que aquí se omite por legibilidad.
La salida esperada
Las .expected se derivaron a mano de la semántica de COBOL'85. Cuando
GnuCOBOL esté disponible, charka-shadow podrá regenerarlas desde el
compilador de referencia y diferenciar contra él — el modo «sombra»
pleno (original vs transpilado).