tawasuyu/brahman

Rust 476TOML 190Markdown 50JSON 176602 Definiciones

Clonar por HTTPS, con el git de siempre

⎇ ab56b35e9f946c3a5c80a10912e77f048ddc00de crates/modules/charka/SDD.md Markdown · 60 líneas · 2.9 KB Historia crudo

feat(charka): charka-lexer — tokenizador de COBOL ab56b35e9 · sergio · hace 5 meses

1# modules/charka/ — Transpilador COBOL → Rust
2
3**Propósito.** Modernizar sistemas COBOL legados transpilándolos a Rust
4con un runtime determinista y un validador en sombra (shadow validator)
5que compara la salida del original y la del transpilado. Es el módulo
6más grande del ecosistema — el parser COBOL completo (CICS, SQL
7embebido, dialectos IBM Enterprise) es un esfuerzo multi-mes.
8
9## Crates
10
11| crate          | tipo | rol                                                          |
12| -------------- | ---- | ------------------------------------------------------------ |
13| `charka-bcd`   | lib  | Aritmética decimal de punto fijo con semántica COBOL: `Picture`, `Decimal`, redondeo, `ON SIZE ERROR` |
14| `charka-lexer` | lib  | Tokenizador COBOL: formato fijo (tarjeta de 80 columnas) y libre |
15
16## charka-bcd
17
18COBOL no calcula en binario flotante: opera sobre campos decimales de
19precisión fija (`PIC S9(5)V99`). Reproducir un programa COBOL exige
20reproducir esa aritmética dígito a dígito.
21
22- `Picture` — parsea la cláusula PICTURE numérica (`9`, `V`, `S`, `9(n)`).
23- `Decimal` — punto fijo exacto (`mantissa: i128` + `scale`); suma, resta
24  y producto exactos; división con escala de resultado fija; redondeo
25  `Truncate`/`HalfUp`; `coerce` a un `Picture` con detección de
26  desbordamiento.
27- Determinista, sin dependencias de plataforma — mismo programa, mismos
28  dígitos, en cualquier máquina.
29
30## charka-lexer
31
32Primera etapa del pipeline: texto COBOL → secuencia de `Token`.
33
34- **Lexer tonto**: no conoce keywords ni la cláusula `PICTURE` — emite
35  `Word` para todo identificador; la clasificación es del parser.
36- Tokens: `Word` (con guiones internos, `WORKING-STORAGE`), `Number`
37  (sin signo), `String` (comillas dobladas colapsadas), `Period`,
38  `Symbol` (`( ) , ; :` y operadores `+ - * / ** = < > <= >= <>`).
39- Dos formatos: **fijo** (cols 1-6 secuencia, 7 indicadora, 8-72
40  código, 73-80 id) y **libre**. Comentarios por col 7 (`*`/`/`) o `*`
41  inicial en formato libre.
42- Cada token lleva línea/columna 1-based. `LexError` tipado.
43- Limitación v1: sin continuación de literales entre líneas
44  (indicador `-`).
45
46## Estado
47
48`charka-bcd` (22 tests) y `charka-lexer` (17 tests) implementados y
49verdes. **Pendiente** — el resto del transpilador (Fase D del plan
50macro):
51
52| crate pendiente   | rol                                                  |
53| ----------------- | ---------------------------------------------------- |
54| `charka-parser`   | parser COBOL'85 → AST (luego CICS + SQL embebido)    |
55| `charka-ir`       | representación intermedia                            |
56| `charka-codegen`  | emisión de Rust                                      |
57| `charka-shadow`   | validador en sombra (original vs transpilado)        |
58| `charka-runtime`  | runtime determinista (sobre `charka-bcd`)            |
59
60Hito intermedio sugerido: subconjunto COBOL'85 puro antes de CICS/SQL.

SDD.md

modules/charka/ — Transpilador COBOL → Rust

Propósito. Modernizar sistemas COBOL legados transpilándolos a Rust con un runtime determinista y un validador en sombra (shadow validator) que compara la salida del original y la del transpilado. Es el módulo más grande del ecosistema — el parser COBOL completo (CICS, SQL embebido, dialectos IBM Enterprise) es un esfuerzo multi-mes.

Crates

crate	tipo	rol
`charka-bcd`	lib	Aritmética decimal de punto fijo con semántica COBOL: `Picture`, `Decimal`, redondeo, `ON SIZE ERROR`
`charka-lexer`	lib	Tokenizador COBOL: formato fijo (tarjeta de 80 columnas) y libre

charka-bcd

COBOL no calcula en binario flotante: opera sobre campos decimales de precisión fija (PIC S9(5)V99). Reproducir un programa COBOL exige reproducir esa aritmética dígito a dígito.

Picture — parsea la cláusula PICTURE numérica (9, V, S, 9(n)).
Decimal — punto fijo exacto (mantissa: i128 + scale); suma, resta y producto exactos; división con escala de resultado fija; redondeo Truncate/HalfUp; coerce a un Picture con detección de desbordamiento.
Determinista, sin dependencias de plataforma — mismo programa, mismos dígitos, en cualquier máquina.

charka-lexer

Primera etapa del pipeline: texto COBOL → secuencia de Token.

Lexer tonto: no conoce keywords ni la cláusula PICTURE — emite Word para todo identificador; la clasificación es del parser.
Tokens: Word (con guiones internos, WORKING-STORAGE), Number (sin signo), String (comillas dobladas colapsadas), Period, Symbol (( ) , ; : y operadores + - * / ** = < > <= >= <>).
Dos formatos: fijo (cols 1-6 secuencia, 7 indicadora, 8-72 código, 73-80 id) y libre. Comentarios por col 7 (*//) o * inicial en formato libre.
Cada token lleva línea/columna 1-based. LexError tipado.
Limitación v1: sin continuación de literales entre líneas (indicador -).

Estado

charka-bcd (22 tests) y charka-lexer (17 tests) implementados y verdes. Pendiente — el resto del transpilador (Fase D del plan macro):

crate pendiente	rol
`charka-parser`	parser COBOL'85 → AST (luego CICS + SQL embebido)
`charka-ir`	representación intermedia
`charka-codegen`	emisión de Rust
`charka-shadow`	validador en sombra (original vs transpilado)
`charka-runtime`	runtime determinista (sobre `charka-bcd`)

Hito intermedio sugerido: subconjunto COBOL'85 puro antes de CICS/SQL.